git.iko.soy/rowtype-yoga/psfp
on 191a78d help sign in
rowtype-yoga/psfp/playground/src/Batteries.purs
1060 lines 18 kB history raw
1module Batteries
2 ( module Batteries
3 , module Control.Alt
4 , module Control.Alternative
5 , module Control.Apply
6 , module Control.Bind
7 , module Control.Lazy
8 , module Effect.Aff
9 , module Effect
10 , module Effect.Class
11 , module Effect.Console
12 , module Control.Monad.Cont.Class
13 , module Control.Monad.Cont.Trans
14 , module Control.Monad.Error.Class
15 , module Control.Monad.Except
16 , module Control.Monad.Except.Trans
17 , module Control.Monad.List.Trans
18 , module Control.Monad.Maybe.Trans
19 , module Control.Monad.RWS
20 , module Control.Monad.RWS.Trans
21 , module Control.Monad.Reader
22 , module Control.Monad.Reader.Class
23 , module Control.Monad.Reader.Trans
24 , module Control.Monad.Rec.Class
25 , module Control.Monad.State
26 , module Control.Monad.State.Class
27 , module Control.Monad.State.Trans
28 , module Control.Monad.Trans.Class
29 , module Control.Monad.Writer
30 , module Control.Monad.Writer.Class
31 , module Control.Monad.Writer.Trans
32 , module Control.MonadPlus
33 , module Control.Semigroupoid
34 , module Data.Bifoldable
35 , module Data.Bifunctor
36 , module Data.Bifunctor.Clown
37 , module Data.Bifunctor.Flip
38 , module Data.Bifunctor.Join
39 , module Data.Bifunctor.Joker
40 , module Data.Bifunctor.Product
41 , module Data.Bifunctor.Wrap
42 , module Data.Bitraversable
43 , module Data.Char
44 , module Data.Distributive
45 , module Data.Either
46 , module Data.Either.Nested
47 , module Data.Enum
48 , module Data.Foldable
49 , module Data.Function
50 , module Data.Function.Uncurried
51 , module Data.Functor
52 , module Data.Functor.Invariant
53 , module Data.HeytingAlgebra
54 , module Data.Identity
55 , module Data.Int
56 , module Data.Int.Bits
57 , module Data.List
58 , module Data.List.Lazy
59 , module Data.List.ZipList
60 , module Data.Map
61 , module Data.Maybe
62 , module Data.Maybe.First
63 , module Data.Maybe.Last
64 , module Data.Monoid
65 , module Data.Monoid.Additive
66 , module Data.Monoid.Conj
67 , module Data.Monoid.Disj
68 , module Data.Monoid.Dual
69 , module Data.Monoid.Endo
70 , module Data.Monoid.Multiplicative
71 , module Data.NaturalTransformation
72 , module Data.Nullable
73 , module Data.Ord
74 , module Data.Ord.Down
75 , module Data.Ord.Max
76 , module Data.Ord.Min
77 , module Data.Ord.Unsafe
78 , module Data.Ordering
79 , module Data.Set
80 , module Data.String.Regex
81 , module Data.String.Unsafe
82 , module Data.Tuple
83 , module Data.Tuple.Nested
84 , module Debug.Trace
85 , module Global
86 , module Global.Unsafe
87 , module Math
88 , module Prelude
89 , module Type.Proxy
90 , module Unsafe.Coerce
91 ) where
93import Effect.Console (log, logShow)
94import Control.Alt
95 ( class Alt
96 , alt
97 , (<|>)
98 )
99import Control.Alternative
100 ( class Alternative
101 )
102import Control.Apply
103 ( applyFirst
104 , applySecond
105 , lift2
106 , lift3
107 , lift4
108 , lift5
109 )
110import Control.Bind
111 ( bindFlipped
112 , composeKleisli
113 , composeKleisliFlipped
114 , ifM
115 , join
116 )
117import Control.Lazy
118 ( class Lazy
119 , defer
120 , fix
121 )
122import Effect
123 ( Effect
124 , untilE
125 , whileE
126 , forE
127 , foreachE
128 )
129import Effect.Class
130 ( liftEffect
131 )
132import Effect.Aff
133 ( Aff
134 , Canceler(Canceler)
135 , apathize
136 , attempt
137 , cancelWith
138 , finally
139 , forkAff
140 , delay
141 , launchAff
142 , makeAff
143 , nonCanceler
144 , runAff
145 )
146import Control.Monad.Cont.Class
147 ( class MonadCont
148 , callCC
149 )
150import Control.Monad.Cont.Trans
151 ( ContT(ContT)
152 , mapContT
153 , runContT
154 , withContT
155 )
156import Control.Monad.Error.Class
157 ( class MonadError
158 , catchError
159 , catchJust
160 , throwError
161 )
162import Control.Monad.Except
163 ( Except
164 , except
165 , mapExcept
166 , runExcept
167 , withExcept
168 )
169import Control.Monad.Except.Trans
170 ( ExceptT(ExceptT)
171 , mapExceptT
172 , runExceptT
173 , withExceptT
174 )
175import Control.Monad.List.Trans
176 ( ListT
177 -- , catMaybes -- TODO
178 -- , cons -- TODO
179 -- , drop -- TODO
180 -- , dropWhile -- TODO
181 -- , filter -- TODO
182 -- , foldl -- NOTE: Data.Foldable
183 -- , foldl' -- NOTE: Data.Foldable
184 , fromEffect
185 -- , head -- TODO
186 -- , iterate -- TODO
187 -- , mapMaybe -- TODO
188 -- , nil -- TODO
189 , prepend
190 , prepend'
191 -- , repeat -- TODO
192 -- , scanl -- NOTE: Data.Traversable
193 -- , singleton -- NOTE: Data.Unfoldable
194 -- , tail -- TODO
195 -- , take -- TODO
196 -- , takeWhile -- TODO
197 -- , uncons -- TODO
198 , unfold
199 , wrapEffect
200 , wrapLazy
201 -- , zipWith -- TODO
202 , zipWith'
203 )
204import Control.Monad.Maybe.Trans
205 ( MaybeT(MaybeT)
206 , mapMaybeT
207 , runMaybeT
208 )
209import Control.Monad.RWS
210 ( RWS
211 , evalRWS
212 , execRWS
213 , mapRWS
214 , runRWS
215 , rws
216 , withRWS
217 )
218import Control.Monad.RWS.Trans
219 ( RWSResult(RWSResult)
220 , RWST(RWST)
221 , evalRWST
222 , execRWST
223 , mapRWST
224 , runRWST
225 , withRWST
226 )
227import Control.Monad.Reader
228 ( Reader
229 , mapReader
230 , runReader
231 , withReader
232 )
233import Control.Monad.Reader.Class
234 ( class MonadReader
235 , class MonadAsk
236 , ask
237 , asks
238 , local
239 )
240import Control.Monad.Reader.Trans
241 ( ReaderT(ReaderT)
242 , mapReaderT
243 , runReaderT
244 , withReaderT
245 )
246import Control.Monad.Rec.Class
247 ( class MonadRec
248 , forever
249 , tailRec
250 , tailRecM
251 , tailRecM2
252 , tailRecM3
253 )
254import Control.Monad.State
255 ( State
256 , evalState
257 , execState
258 , mapState
259 , runState
260 , withState
261 )
262import Control.Monad.State.Class
263 ( class MonadState
264 , get
265 , gets
266 , modify
267 , put
268 , state
269 )
270import Control.Monad.State.Trans
271 ( StateT(StateT)
272 , evalStateT
273 , execStateT
274 , mapStateT
275 , runStateT
276 , withStateT
277 )
278import Control.Monad.Trans.Class
279 ( class MonadTrans
280 , lift
281 )
282import Control.Monad.Writer
283 ( Writer
284 , execWriter
285 , mapWriter
286 , runWriter
287 )
288import Control.Monad.Writer.Class
289 ( class MonadWriter
290 , class MonadTell
291 , tell
292 , censor
293 , listen
294 , pass
295 , listens
296 )
297import Control.Monad.Writer.Trans
298 ( WriterT(WriterT)
299 , execWriterT
300 , mapWriterT
301 , runWriterT
302 )
303import Control.MonadPlus
304 ( class MonadPlus
305 , guard
306 )
307import Control.Semigroupoid
308 ( composeFlipped
309 )
310-- import Data.Array -- TODO
311-- import Data.Array.Unsafe -- TODO
312import Data.Bifoldable
313 ( class Bifoldable
314 , biall
315 , biany
316 , bifold
317 , bifoldl
318 , bifoldMap
319 , bifoldr
320 , bifor_
321 , bisequence_
322 , bitraverse_
323 )
324import Data.Bifunctor
325 ( class Bifunctor
326 , lmap
327 , rmap
328 )
329import Data.Bifunctor.Clown
330 ( Clown(Clown)
331 )
332import Data.Bifunctor.Flip
333 ( Flip(Flip)
334 )
335import Data.Bifunctor.Join
336 ( Join(Join)
337 )
338import Data.Bifunctor.Joker
339 ( Joker(Joker)
340 )
341import Data.Bifunctor.Product
342 ( Product(Product)
343 )
344import Data.Bifunctor.Wrap
345 ( Wrap(Wrap)
346 )
347import Data.Bitraversable
348 ( class Bitraversable
349 , bifor
350 , bisequence
351 , bitraverse
352 )
353import Data.Char
354 ( fromCharCode
355 , toCharCode
356 -- , toLower -- NOTE: Data.String
357 -- , toUpper -- NOTE: Data.String
358 )
359import Data.Distributive
360 ( class Distributive
361 , collect
362 , cotraverse
363 , distribute
364 )
365import Data.Either
366 ( Either(Left, Right)
367 , either
368 , isLeft
369 , isRight
370 )
371import Data.Either.Nested
372 ( in1
373 , in2
374 , in3
375 , in4
376 , in5
377 , in6
378 , in7
379 , in8
380 , in9
381 , in10
382 , at1
383 , at2
384 , at3
385 , at4
386 , at5
387 , at6
388 , at7
389 , at8
390 , at9
391 , at10
392 , Either1
393 , Either2
394 , Either3
395 , Either4
396 , Either5
397 , Either6
398 , Either7
399 , Either8
400 , Either9
401 , Either10
402 , either1
403 , either2
404 , either3
405 , either4
406 , either5
407 , either6
408 , either7
409 , either8
410 , either9
411 , either10
412 )
413import Data.Enum
414 ( class Enum
415 , succ
416 , pred
417 , defaultSucc
418 , defaultPred
419 , enumFromTo
420 , enumFromThenTo
421 , upFrom
422 , downFrom
423 , Cardinality(..)
424 , class BoundedEnum
425 , cardinality
426 , toEnum
427 , fromEnum
428 , toEnumWithDefaults
429 , defaultCardinality
430 , defaultToEnum
431 , defaultFromEnum
432 )
433-- import Data.FingerTree -- FIXME: update upstream
434-- ( Digit
435-- , FingerTree(Deep, Empty, Single)
436-- , LazySplit(LazySplit)
437-- , Node(Node2, Node3)
438-- , Split(Split)
439-- , ViewL(ConsL, NilL)
440-- , ViewR(NilR, SnocR)
441-- , app3
442-- , append -- NOTE: Prelude
443-- , compareFingerTree
444-- , cons -- TODO
445-- , consAll
446-- , deep
447-- , deepL
448-- , deepR
449-- , eqFingerTree
450-- , filter -- TODO
451-- , fullyForce -- TODO
452-- , head -- TODO
453-- , headDigit
454-- , init -- TODO
455-- , initDigit
456-- , isEmpty -- TODO
457-- , last -- TODO
458-- , lastDigit
459-- , lazyEmpty
460-- , node2
461-- , node3
462-- , nodes
463-- , nodeToDigit
464-- , snoc -- TODO
465-- , snocAll
466-- , split -- NOTE: Data.String.Regex
467-- , tail -- TODO
468-- , tailDigit
469-- , toFingerTree
470-- , unfoldLeft
471-- , unfoldRight
472-- , unsafeSplitDigit
473-- , unsafeSplitTree
474-- , viewL
475-- , viewR
476-- )
477import Data.Foldable
478 ( class Foldable
479 , all
480 , and
481 , any
482 , elem
483 , find
484 , fold
485 , foldl
486 , foldMap
487 , foldr
488 , for_
489 , intercalate
490 , maximum
491 , maximumBy
492 , minimum
493 , minimumBy
494 , notElem
495 , or
496 , product
497 , sequence_
498 , sum
499 , traverse_
500 )
501import Data.Function
502 ( applyFlipped
503 , on
504 )
505import Data.Function.Uncurried
506 ( Fn0
507 , Fn1
508 , Fn10
509 , Fn2
510 , Fn3
511 , Fn4
512 , Fn5
513 , Fn6
514 , Fn7
515 , Fn8
516 , Fn9
517 , mkFn0
518 , mkFn1
519 , mkFn10
520 , mkFn2
521 , mkFn3
522 , mkFn4
523 , mkFn5
524 , mkFn6
525 , mkFn7
526 , mkFn8
527 , mkFn9
528 , runFn0
529 , runFn1
530 , runFn10
531 , runFn2
532 , runFn3
533 , runFn4
534 , runFn5
535 , runFn6
536 , runFn7
537 , runFn8
538 , runFn9
539 )
540import Data.Functor
541 ( mapFlipped
542 , voidLeft
543 , voidRight
544 )
545import Data.Functor.Invariant
546 ( class Invariant
547 , imap
548 , imapF
549 )
550import Data.HeytingAlgebra
551 ( ff
552 , implies
553 , tt
554 )
555import Data.Identity
556 ( Identity(Identity)
557 )
558import Data.Int
559 ( ceil
560 , even
561 , floor
562 , fromNumber
563 -- , fromString -- TODO
564 , odd
565 , round
566 , toNumber
567 )
568import Data.Int.Bits
569 ( complement
570 , shl
571 , shr
572 , zshr
573 , (.&.)
574 , (.^.)
575 , (.|.)
576 )
577-- import Data.Lazy
578-- ( -- Lazy -- NOTE: Control.Lazy -- , defer -- NOTE: Control.Lazy force
579-- )
580import Data.List
581 ( List(Cons, Nil)
582 -- , alterAt -- TODO
583 -- , catMaybes -- TODO
584 -- , concat -- TODO
585 -- , concatMap -- TODO
586 -- , delete -- TODO
587 -- , deleteAt -- TODO
588 -- , deleteBy -- TODO
589 -- , drop -- TODO
590 -- , dropWhile -- TODO
591 -- , elemIndex -- TODO
592 -- , elemLastIndex -- TODO
593 -- , filter -- TODO
594 -- , filterM -- TODO
595 -- , findIndex -- TODO
596 -- , findLastIndex -- TODO
597 -- , foldM -- TODO
598 -- , fromList -- TODO
599 -- , group -- TODO
600 -- , group' -- TODO
601 -- , groupBy -- TODO
602 -- , head -- TODO
603 -- , index -- TODO
604 -- , init -- TODO
605 -- , insert -- TODO
606 -- , insertAt -- TODO
607 -- , insertBy -- TODO
608 -- , intersect -- TODO
609 -- , intersectBy -- TODO
610 -- , last -- TODO
611 -- , length -- TODO
612 -- , many -- TODO
613 -- , mapMaybe -- TODO
614 -- , modifyAt -- TODO
615 -- , nub -- TODO
616 -- , nubBy -- TODO
617 -- , null -- TODO
618 -- , range -- TODO
619 -- , replicate -- NOTE: Data.Unfoldable
620 -- , replicateM -- TODO
621 -- , reverse -- TODO
622 -- , singleton -- NOTE: Data.Unfoldable
623 -- , slice -- TODO
624 -- , snoc -- TODO
625 -- , some -- TODO
626 -- , sort -- TODO
627 -- , sortBy -- TODO
628 -- , span -- TODO
629 -- , tail -- TODO
630 -- , take -- TODO
631 -- , takeWhile -- TODO
632 -- , toList -- TODO
633 -- , uncons -- TODO
634 -- , union -- TODO
635 -- , unionBy -- TODO
636 -- , unzip -- TODO
637 -- , updateAt -- TODO
638 -- , zip -- TODO
639 -- , zipWith -- TODO
640 -- , zipWithA -- TODO
641 -- , (:) -- TODO
642 -- , (!!) -- TODO
643 -- , (..) -- TODO
644 -- , (\\) -- TODO
645 )
646import Data.List.Lazy
647 ( -- List(List) -- NOTE: Data.List -- , Step(Cons, NIl) -- NOTE: Data.List -- , alterAt -- TODO -- , catMaybes -- TODO
648 -- , concat -- TODO
649 -- , concatMap -- TODO
650 -- , cons -- TODO
651 cycle
652 -- , delete -- TODO
653 -- , deleteAt -- TODO
654 -- , deleteBy -- TODO
655 -- , drop -- TODO
656 -- , dropWhile -- TODO
657 -- , filter -- TODO
658 -- , fromList -- TODO
659 -- , group -- TODO
660 -- , groupBy -- TODO
661 -- , head -- TODO
662 -- , index -- TODO
663 -- , init -- TODO
664 -- , insert -- TODO
665 -- , insertAt -- TODO
666 -- , insertBy -- TODO
667 -- , intersect -- TODO
668 -- , intersectBy -- TODO
669 -- , iterate -- TODO
670 -- , last -- TODO
671 -- , length -- TODO
672 -- , mapMaybe -- TODO
673 -- , modifyAt -- TODO
674 -- , nil -- TODO
675 -- , nub -- TODO
676 -- , nubBy -- TODO
677 -- , null -- TODO
678 -- , range -- TODO
679 -- , repeat -- TODO
680 -- , reverse -- TODO
681 -- , singleton -- NOTE: Data.Unfoldable
682 -- , span -- TODO
683 , step
684 -- , tail -- TODO
685 -- , take -- TODO
686 -- , takeWhile -- TODO
687 -- , toList -- TODO
688 -- , uncons -- TODO
689 -- , union -- TODO
690 -- , unionBy -- TODO
691 -- , updateAt -- TODO
692 -- , zip -- TODO
693 -- , zipWith -- TODO
694 -- , (:) -- TODO
695 -- , (!!) -- TODO
696 -- , (..) -- TODO
697 -- , (\\) -- TODO
698 )
699-- import Data.List.Unsafe -- TODO
700import Data.List.ZipList
701 ( ZipList(ZipList)
702 )
703import Data.Map
704 ( Map
705 -- , alter -- TODO
706 -- , checkValid -- TODO
707 -- , delete -- TODO
708 -- , empty -- NOTE: Control.Plus
709 -- , fromFoldable -- TODO
710 -- , fromFoldableWith -- TODO
711 -- , fromList -- TODO
712 -- , fromListWith -- TODO
713 -- , insert -- TODO
714 -- , isEmpty -- TODO
715 -- , keys -- TODO
716 -- , lookup -- TODO
717 -- , member -- TODO
718 , showTree
719 -- , singleton -- NOTE: Data.Unfoldable
720 -- , size -- TODO
721 -- , toList -- TODO
722 -- , union -- TODO
723 -- , unions -- TODO
724 , unionWith
725 -- , update -- TODO
726 -- , values -- TODO
727 )
728import Data.Maybe
729 ( Maybe(Nothing, Just)
730 , fromMaybe
731 , isJust
732 , isNothing
733 , maybe
734 , maybe'
735 )
736import Data.Maybe.First
737 ( First(First)
738 )
739import Data.Maybe.Last
740 ( Last(Last)
741 )
742import Data.Monoid
743 ( class Monoid
744 , mempty
745 )
746import Data.Monoid.Additive
747 ( Additive(Additive)
748 )
749import Data.Monoid.Conj
750 ( Conj(Conj)
751 )
752import Data.Monoid.Disj
753 ( Disj(Disj)
754 )
755import Data.Monoid.Dual
756 ( Dual(Dual)
757 )
758import Data.Monoid.Endo
759 ( Endo(Endo)
760 )
761import Data.Monoid.Multiplicative
762 ( Multiplicative(Multiplicative)
763 )
764import Data.NaturalTransformation
765 ( NaturalTransformation
766 )
767import Data.Nullable
768 ( Nullable
769 , toMaybe
770 , toNullable
771 )
772import Data.Ord
773 ( abs
774 , greaterThan
775 , greaterThanOrEq
776 , lessThan
777 , lessThanOrEq
778 , signum
779 )
780import Data.Ordering
781 ( invert
782 )
783import Data.Ord.Unsafe
784 ( unsafeCompare
785 )
786import Data.Ord.Down
787 ( Down(Down)
788 )
789import Data.Ord.Max
790 ( Max(Max)
791 )
792import Data.Ord.Min
793 ( Min(Min)
794 )
795import Data.Set
796 ( Set
797 -- , checkValid -- TODO
798 -- , delete -- TODO
799 , difference
800 -- , empty -- NOTE: Control.Plus
801 -- , fromList -- TODO
802 -- , insert -- TODO
803 , intersection
804 -- , isEmpty -- TODO
805 -- , member -- TODO
806 , properSubset
807 -- , singleton -- NOTE: Data.Unfoldable
808 -- , size -- TODO
809 , subset
810 -- , toList -- TODO
811 -- , union -- TODO
812 -- , unions -- TODO
813 )
814-- import Data.StrMap.Unsafe -- TODO
815-- import Data.String.CodeUnits
816-- ( stripPrefix
817-- , stripSuffix
818-- , contains
819-- , singleton
820-- , fromCharArray
821-- , toCharArray
822-- , charAt
823-- , toChar
824-- , uncons
825-- , length
826-- , countPrefix
827-- , indexOf
828-- , indexOf'
829-- , lastIndexOf
830-- , lastIndexOf'
831-- , take
832-- , takeRight
833-- , takeWhile
834-- , drop
835-- , dropRight
836-- , dropWhile
837-- , slice
838-- , splitAt
839-- )
840import Data.String.Regex
841 ( Regex
842 , regex
843 , source
844 , flags
845 , renderFlags
846 , parseFlags
847 , test
848 , match
849 , replace
850 , replace'
851 , search
852 , split
853 )
854import Data.String.Unsafe
855 ( char
856 -- , charAt -- NOTE: Data.String
857 -- , charCodeAt -- NOTE: Data.String
858 )
859import Data.Tuple
860 ( Tuple(Tuple)
861 , curry
862 , fst
863 -- , lookup -- TODO
864 , snd
865 , swap
866 , uncurry
867 )
868import Data.Tuple.Nested
869 ( Tuple10
870 , Tuple2
871 , Tuple3
872 , Tuple4
873 , Tuple5
874 , Tuple6
875 , Tuple7
876 , Tuple8
877 , Tuple9
878 , curry10
879 , curry2
880 , curry3
881 , curry4
882 , curry5
883 , curry6
884 , curry7
885 , curry8
886 , curry9
887 , tuple10
888 , tuple2
889 , tuple3
890 , tuple4
891 , tuple5
892 , tuple6
893 , tuple7
894 , tuple8
895 , tuple9
896 , uncurry10
897 , uncurry2
898 , uncurry3
899 , uncurry4
900 , uncurry5
901 , uncurry6
902 , uncurry7
903 , uncurry8
904 , uncurry9
905 , (/\)
906 )
907-- import Data.Validation.Sempigroup
908-- ( V
909-- , invalid
910-- , isValid
911-- , unV
912-- )
913import Debug.Trace
914 ( spy
915 , trace
916 )
917import Global
918 ( decodeURI
919 , decodeURIComponent
920 , encodeURI
921 , encodeURIComponent
922 , infinity
923 , isFinite
924 , isNaN
925 , nan
926 , readFloat
927 -- , readInt -- NOTE: Data.Foreign
928 )
929import Global.Unsafe
930 ( unsafeStringify
931 )
932import Math
933 ( Radians
934 -- , abs -- NOTE: Prelude
935 , acos
936 , asin
937 , atan
938 , atan2
939 -- , ceil -- NOTE: Data.Int
940 , cos
941 , e
942 , exp
943 -- , floor -- NOTE: Data.Int
944 , ln10
945 , ln2
946 -- , log
947 , log10e
948 , log2e
949 -- , max -- NOTE: Prelude
950 -- , min -- NOTE: Prelude
951 , pi
952 , pow
953 -- , round -- NOTE: Data.Int
954 , sin
955 , sqrt
956 , sqrt1_2
957 , sqrt2
958 , tan
959 , (%)
960 )
961import Prelude
962 ( class Applicative
963 , class Apply
964 , class Bind
965 , class BooleanAlgebra
966 , class Bounded
967 , class Category
968 , class CommutativeRing
969 , class Eq
970 , class EuclideanRing
971 , class Field
972 , class Functor
973 , class HeytingAlgebra
974 , class Monad
975 , class Ord
976 , class Ring
977 , class Semigroup
978 , class Semigroupoid
979 , class Semiring
980 , class Show
981 , Ordering(LT, EQ, GT)
982 , Unit
983 , Void
984 , absurd
985 , add
986 , ap
987 , append
988 , apply
989 , between
990 , bind
991 , bottom
992 , clamp
993 , compare
994 , comparing
995 , compose
996 , conj
997 , const
998 , degree
999 , disj
1000 , div
1001 , eq
1002 , flip
1003 , liftA1
1004 , liftM1
1005 , map
1006 , max
1007 , min
1008 , mod
1009 , mul
1010 , negate
1011 , not
1012 , notEq
1013 , one
1014 , otherwise
1015 , pure
1016 , show
1017 , sub
1018 , top
1019 , unit
1020 , unless
1021 , void
1022 , zero
1023 , type (~>)
1024 , (-)
1025 , (*)
1026 , (*>)
1027 , (/)
1028 , (/=)
1029 , (&&)
1030 , (#)
1031 , (+)
1032 , (<)
1033 , (<*)
1034 , (<*>)
1035 , (<#>)
1036 , (<<<)
1037 , (<=)
1038 , (<=<)
1039 , (<>)
1040 , (<$)
1041 , (<$>)
1042 , (=<<)
1043 , (==)
1044 , (>)
1045 , (>=)
1046 , (>=>)
1047 , (>>=)
1048 , (>>>)
1049 , (||)
1050 , ($)
1051 , ($>)
1053import Type.Proxy
1054 ( Proxy(Proxy)
1055 , Proxy2(Proxy2)
1056 , Proxy3(Proxy3)
1058import Unsafe.Coerce
1059 ( unsafeCoerce