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