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