@@ -4,11 +4,13 @@
7 data Ordering where
8 data Ordering where
8 LT :: Ordering
9 LT :: Ordering
9 GT :: Ordering
10 GT :: Ordering
10 EQ :: Ordering
11 EQ :: Ordering
12 newtype Unit where
14 newtype Unit where
13 Unit :: { } -> Unit
15 Unit :: { } -> Unit
@@ -17,171 +19,265 @@
18
20
20 class (Apply f) <= Applicative f where
23 class (Apply f) <= Applicative f where
21 pure :: forall a. a -> f a
25 pure :: forall a. a -> f a
23 class (Functor f) <= Apply f where
28 class (Functor f) <= Apply f where
24 (<*>) :: forall a b. f (a -> b) -> f a -> f b
30 (<*>) :: forall a b. f (a -> b) -> f a -> f b
26 class (Apply m) <= Bind m where
33 class (Apply m) <= Bind m where
27 (>>=) :: forall a b. m a -> (a -> m b) -> m b
35 (>>=) :: forall a b. m a -> (a -> m b) -> m b
29 class Bits b where
38 class Bits b where
30 (.&.) :: b -> b -> b
40 (.&.) :: b -> b -> b
31 (.|.) :: b -> b -> b
42 (.|.) :: b -> b -> b
32 (.^.) :: b -> b -> b
44 (.^.) :: b -> b -> b
33 shl :: b -> Number -> b
46 shl :: b -> Number -> b
34 shr :: b -> Number -> b
48 shr :: b -> Number -> b
35 zshr :: b -> Number -> b
50 zshr :: b -> Number -> b
36 complement :: b -> b
52 complement :: b -> b
38 class BoolLike b where
55 class BoolLike b where
39 (&&) :: b -> b -> b
57 (&&) :: b -> b -> b
40 (||) :: b -> b -> b
59 (||) :: b -> b -> b
41 not :: b -> b
61 not :: b -> b
43 class (Semigroupoid a) <= Category a where
64 class (Semigroupoid a) <= Category a where
44 id :: forall t. a t t
66 id :: forall t. a t t
46 class Eq a where
69 class Eq a where
47 (==) :: a -> a -> Boolean
71 (==) :: a -> a -> Boolean
48 (/=) :: a -> a -> Boolean
73 (/=) :: a -> a -> Boolean
50 class Functor f where
76 class Functor f where
51 (<$>) :: forall a b. (a -> b) -> f a -> f b
78 (<$>) :: forall a b. (a -> b) -> f a -> f b
53 class (Applicative m, Bind m) <= Monad m where
81 class (Applicative m, Bind m) <= Monad m where
55 class Num a where
84 class Num a where
56 (+) :: a -> a -> a
86 (+) :: a -> a -> a
57 (-) :: a -> a -> a
88 (-) :: a -> a -> a
58 (*) :: a -> a -> a
90 (*) :: a -> a -> a
59 (/) :: a -> a -> a
92 (/) :: a -> a -> a
60 (%) :: a -> a -> a
94 (%) :: a -> a -> a
61 negate :: a -> a
96 negate :: a -> a
63 class (Eq a) <= Ord a where
99 class (Eq a) <= Ord a where
64 compare :: a -> a -> Ordering
101 compare :: a -> a -> Ordering
66 class Semigroup a where
104 class Semigroup a where
67 (<>) :: a -> a -> a
106 (<>) :: a -> a -> a
69 class Semigroupoid a where
109 class Semigroupoid a where
70 (<<<) :: forall b c d. a c d -> a b c -> a b d
111 (<<<) :: forall b c d. a c d -> a b c -> a b d
72 class Show a where
114 class Show a where
73 show :: a -> String
116 show :: a -> String
76### Type Class Instances
119### Type Class Instances
78 instance applicativeArr :: Applicative (Prim.Function r)
122 instance applicativeArr :: Applicative (Prim.Function r)
80 instance applyArr :: Apply (Prim.Function r)
125 instance applyArr :: Apply (Prim.Function r)
82 instance bindArr :: Bind (Prim.Function r)
128 instance bindArr :: Bind (Prim.Function r)
84 instance bitsNumber :: Bits Number
131 instance bitsNumber :: Bits Number
86 instance boolLikeBoolean :: BoolLike Boolean
134 instance boolLikeBoolean :: BoolLike Boolean
88 instance categoryArr :: Category Prim.Function
137 instance categoryArr :: Category Prim.Function
90 instance eqArray :: (Eq a) => Eq [a]
140 instance eqArray :: (Eq a) => Eq [a]
92 instance eqBoolean :: Eq Boolean
143 instance eqBoolean :: Eq Boolean
94 instance eqNumber :: Eq Number
146 instance eqNumber :: Eq Number
96 instance eqOrdering :: Eq Ordering
149 instance eqOrdering :: Eq Ordering
98 instance eqString :: Eq String
152 instance eqString :: Eq String
100 instance eqUnit :: Eq Unit
155 instance eqUnit :: Eq Unit
102 instance functorArr :: Functor (Prim.Function r)
158 instance functorArr :: Functor (Prim.Function r)
104 instance monadArr :: Monad (Prim.Function r)
161 instance monadArr :: Monad (Prim.Function r)
106 instance numNumber :: Num Number
164 instance numNumber :: Num Number
108 instance ordArray :: (Ord a) => Ord [a]
167 instance ordArray :: (Ord a) => Ord [a]
110 instance ordBoolean :: Ord Boolean
170 instance ordBoolean :: Ord Boolean
112 instance ordNumber :: Ord Number
173 instance ordNumber :: Ord Number
114 instance ordString :: Ord String
176 instance ordString :: Ord String
116 instance ordUnit :: Ord Unit
179 instance ordUnit :: Ord Unit
118 instance semigroupArr :: (Semigroup s') => Semigroup (s -> s')
182 instance semigroupArr :: (Semigroup s') => Semigroup (s -> s')
120 instance semigroupString :: Semigroup String
185 instance semigroupString :: Semigroup String
122 instance semigroupUnit :: Semigroup Unit
188 instance semigroupUnit :: Semigroup Unit
124 instance semigroupoidArr :: Semigroupoid Prim.Function
191 instance semigroupoidArr :: Semigroupoid Prim.Function
126 instance showArray :: (Show a) => Show [a]
194 instance showArray :: (Show a) => Show [a]
128 instance showBoolean :: Show Boolean
197 instance showBoolean :: Show Boolean
130 instance showNumber :: Show Number
200 instance showNumber :: Show Number
132 instance showOrdering :: Show Ordering
203 instance showOrdering :: Show Ordering
134 instance showString :: Show String
206 instance showString :: Show String
136 instance showUnit :: Show Unit
209 instance showUnit :: Show Unit
139### Values
212### Values
141 (#) :: forall a b. a -> (a -> b) -> b
215 (#) :: forall a b. a -> (a -> b) -> b
143 ($) :: forall a b. (a -> b) -> a -> b
218 ($) :: forall a b. (a -> b) -> a -> b
145 (++) :: forall s. (Semigroup s) => s -> s -> s
221 (++) :: forall s. (Semigroup s) => s -> s -> s
147 (:) :: forall a. a -> [a] -> [a]
224 (:) :: forall a. a -> [a] -> [a]
149 (<#>) :: forall f a b. (Functor f) => f a -> (a -> b) -> f b
227 (<#>) :: forall f a b. (Functor f) => f a -> (a -> b) -> f b
151 (<) :: forall a. (Ord a) => a -> a -> Boolean
230 (<) :: forall a. (Ord a) => a -> a -> Boolean
153 (<=) :: forall a. (Ord a) => a -> a -> Boolean
233 (<=) :: forall a. (Ord a) => a -> a -> Boolean
155 (>) :: forall a. (Ord a) => a -> a -> Boolean
236 (>) :: forall a. (Ord a) => a -> a -> Boolean
157 (>=) :: forall a. (Ord a) => a -> a -> Boolean
239 (>=) :: forall a. (Ord a) => a -> a -> Boolean
159 (>>>) :: forall a b c d. (Semigroupoid a) => a b c -> a c d -> a b d
242 (>>>) :: forall a b c d. (Semigroupoid a) => a b c -> a c d -> a b d
161 ap :: forall m a b. (Monad m) => m (a -> b) -> m a -> m b
245 ap :: forall m a b. (Monad m) => m (a -> b) -> m a -> m b
163 asTypeOf :: forall a. a -> a -> a
248 asTypeOf :: forall a. a -> a -> a
165 cons :: forall a. a -> [a] -> [a]
251 cons :: forall a. a -> [a] -> [a]
167 const :: forall a b. a -> b -> a
254 const :: forall a b. a -> b -> a
169 flip :: forall a b c. (a -> b -> c) -> b -> a -> c
257 flip :: forall a b c. (a -> b -> c) -> b -> a -> c
171 liftA1 :: forall f a b. (Applicative f) => (a -> b) -> f a -> f b
260 liftA1 :: forall f a b. (Applicative f) => (a -> b) -> f a -> f b
173 liftM1 :: forall m a b. (Monad m) => (a -> b) -> m a -> m b
263 liftM1 :: forall m a b. (Monad m) => (a -> b) -> m a -> m b
175 otherwise :: Boolean
266 otherwise :: Boolean
177 refEq :: forall a. a -> a -> Boolean
269 refEq :: forall a. a -> a -> Boolean
179 refIneq :: forall a. a -> a -> Boolean
272 refIneq :: forall a. a -> a -> Boolean
181 return :: forall m a. (Monad m) => a -> m a
275 return :: forall m a. (Monad m) => a -> m a
183 unit :: Unit
278 unit :: Unit
185 void :: forall f a. (Functor f) => f a -> f Unit
281 void :: forall f a. (Functor f) => f a -> f Unit
@@ -189,102 +285,117 @@
192 data Fn0 :: * -> *
289 data Fn0 :: * -> *
194 data Fn1 :: * -> * -> *
292 data Fn1 :: * -> * -> *
196 data Fn10 :: * -> * -> * -> * -> * -> * -> * -> * -> * -> * -> * -> *
295 data Fn10 :: * -> * -> * -> * -> * -> * -> * -> * -> * -> * -> * -> *
198 data Fn2 :: * -> * -> * -> *
298 data Fn2 :: * -> * -> * -> *
200 data Fn3 :: * -> * -> * -> * -> *
301 data Fn3 :: * -> * -> * -> * -> *
202 data Fn4 :: * -> * -> * -> * -> * -> *
304 data Fn4 :: * -> * -> * -> * -> * -> *
204 data Fn5 :: * -> * -> * -> * -> * -> * -> *
307 data Fn5 :: * -> * -> * -> * -> * -> * -> *
206 data Fn6 :: * -> * -> * -> * -> * -> * -> * -> *
310 data Fn6 :: * -> * -> * -> * -> * -> * -> * -> *
208 data Fn7 :: * -> * -> * -> * -> * -> * -> * -> * -> *
313 data Fn7 :: * -> * -> * -> * -> * -> * -> * -> * -> *
210 data Fn8 :: * -> * -> * -> * -> * -> * -> * -> * -> * -> *
316 data Fn8 :: * -> * -> * -> * -> * -> * -> * -> * -> * -> *
212 data Fn9 :: * -> * -> * -> * -> * -> * -> * -> * -> * -> * -> *
319 data Fn9 :: * -> * -> * -> * -> * -> * -> * -> * -> * -> * -> *
215### Values
322### Values
217 mkFn0 :: forall a. (Unit -> a) -> Fn0 a
325 mkFn0 :: forall a. (Unit -> a) -> Fn0 a
219 mkFn1 :: forall a b. (a -> b) -> Fn1 a b
328 mkFn1 :: forall a b. (a -> b) -> Fn1 a b
221 mkFn10 :: forall a b c d e f g h i j k. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k) -> Fn10 a b c d e f g h i j k
331 mkFn10 :: forall a b c d e f g h i j k. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k) -> Fn10 a b c d e f g h i j k
223 mkFn2 :: forall a b c. (a -> b -> c) -> Fn2 a b c
334 mkFn2 :: forall a b c. (a -> b -> c) -> Fn2 a b c
225 mkFn3 :: forall a b c d. (a -> b -> c -> d) -> Fn3 a b c d
337 mkFn3 :: forall a b c d. (a -> b -> c -> d) -> Fn3 a b c d
227 mkFn4 :: forall a b c d e. (a -> b -> c -> d -> e) -> Fn4 a b c d e
340 mkFn4 :: forall a b c d e. (a -> b -> c -> d -> e) -> Fn4 a b c d e
229 mkFn5 :: forall a b c d e f. (a -> b -> c -> d -> e -> f) -> Fn5 a b c d e f
343 mkFn5 :: forall a b c d e f. (a -> b -> c -> d -> e -> f) -> Fn5 a b c d e f
231 mkFn6 :: forall a b c d e f g. (a -> b -> c -> d -> e -> f -> g) -> Fn6 a b c d e f g
346 mkFn6 :: forall a b c d e f g. (a -> b -> c -> d -> e -> f -> g) -> Fn6 a b c d e f g
233 mkFn7 :: forall a b c d e f g h. (a -> b -> c -> d -> e -> f -> g -> h) -> Fn7 a b c d e f g h
349 mkFn7 :: forall a b c d e f g h. (a -> b -> c -> d -> e -> f -> g -> h) -> Fn7 a b c d e f g h
235 mkFn8 :: forall a b c d e f g h i. (a -> b -> c -> d -> e -> f -> g -> h -> i) -> Fn8 a b c d e f g h i
352 mkFn8 :: forall a b c d e f g h i. (a -> b -> c -> d -> e -> f -> g -> h -> i) -> Fn8 a b c d e f g h i
237 mkFn9 :: forall a b c d e f g h i j. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j) -> Fn9 a b c d e f g h i j
355 mkFn9 :: forall a b c d e f g h i j. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j) -> Fn9 a b c d e f g h i j
239 on :: forall a b c. (b -> b -> c) -> (a -> b) -> a -> a -> c
358 on :: forall a b c. (b -> b -> c) -> (a -> b) -> a -> a -> c
241 runFn0 :: forall a. Fn0 a -> a
361 runFn0 :: forall a. Fn0 a -> a
243− runFn1 :: forall a b. Fn1 a b -> a -> b
245− runFn10 :: forall a b c d e f g h i j k. Fn10 a b c d e f g h i j k -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k
247− runFn2 :: forall a b c. Fn2 a b c -> a -> b -> c
364+ runFn1 :: forall a b. Fn1 a b -> a -> b
249− runFn3 :: forall a b c d. Fn3 a b c d -> a -> b -> c -> d
251− runFn4 :: forall a b c d e. Fn4 a b c d e -> a -> b -> c -> d -> e
367+ runFn10 :: forall a b c d e f g h i j k. Fn10 a b c d e f g h i j k -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k
253− runFn5 :: forall a b c d e f. Fn5 a b c d e f -> a -> b -> c -> d -> e -> f
255− runFn6 :: forall a b c d e f g. Fn6 a b c d e f g -> a -> b -> c -> d -> e -> f -> g
370+ runFn2 :: forall a b c. Fn2 a b c -> a -> b -> c
257− runFn7 :: forall a b c d e f g h. Fn7 a b c d e f g h -> a -> b -> c -> d -> e -> f -> g -> h
259− runFn8 :: forall a b c d e f g h i. Fn8 a b c d e f g h i -> a -> b -> c -> d -> e -> f -> g -> h -> i
373+ runFn3 :: forall a b c d. Fn3 a b c d -> a -> b -> c -> d
261− runFn9 :: forall a b c d e f g h i j. Fn9 a b c d e f g h i j -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j
376+ runFn4 :: forall a b c d e. Fn4 a b c d e -> a -> b -> c -> d -> e
266−### Types
379+ runFn5 :: forall a b c d e f. Fn5 a b c d e f -> a -> b -> c -> d -> e -> f
382+ runFn6 :: forall a b c d e f g. Fn6 a b c d e f g -> a -> b -> c -> d -> e -> f -> g
272−### Type Class Instances
274− instance eqRef :: Eq (Ref a)
385+ runFn7 :: forall a b c d e f g h. Fn7 a b c d e f g h -> a -> b -> c -> d -> e -> f -> g -> h
276− instance functorRef :: Functor Ref
388+ runFn8 :: forall a b c d e f g h i. Fn8 a b c d e f g h i -> a -> b -> c -> d -> e -> f -> g -> h -> i
281− liftRef :: forall a b. (a -> a -> b) -> Ref a -> Ref a -> b
391+ runFn9 :: forall a b c d e f g h i j. Fn9 a b c d e f g h i j -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j
284## Module Prelude.Unsafe
394## Module Prelude.Unsafe
286### Values
396### Values
288 unsafeIndex :: forall a. [a] -> Number -> a
399 unsafeIndex :: forall a. [a] -> Number -> a
@@ -292,38 +403,52 @@
295 data Eff :: # ! -> * -> *
407 data Eff :: # ! -> * -> *
297 type Pure a = forall e. Eff e a
410 type Pure a = forall e. Eff e a
300### Type Class Instances
413### Type Class Instances
302 instance applicativeEff :: Applicative (Eff e)
416 instance applicativeEff :: Applicative (Eff e)
304 instance applyEff :: Apply (Eff e)
419 instance applyEff :: Apply (Eff e)
306 instance bindEff :: Bind (Eff e)
422 instance bindEff :: Bind (Eff e)
308 instance functorEff :: Functor (Eff e)
425 instance functorEff :: Functor (Eff e)
310 instance monadEff :: Monad (Eff e)
428 instance monadEff :: Monad (Eff e)
313### Values
431### Values
315 bindE :: forall e a b. Eff e a -> (a -> Eff e b) -> Eff e b
434 bindE :: forall e a b. Eff e a -> (a -> Eff e b) -> Eff e b
317 forE :: forall e. Number -> Number -> (Number -> Eff e Unit) -> Eff e Unit
437 forE :: forall e. Number -> Number -> (Number -> Eff e Unit) -> Eff e Unit
319 foreachE :: forall e a. [a] -> (a -> Eff e Unit) -> Eff e Unit
440 foreachE :: forall e a. [a] -> (a -> Eff e Unit) -> Eff e Unit
321 returnE :: forall e a. a -> Eff e a
443 returnE :: forall e a. a -> Eff e a
323 runPure :: forall a. Pure a -> a
446 runPure :: forall a. Pure a -> a
325 untilE :: forall e. Eff e Boolean -> Eff e Unit
449 untilE :: forall e. Eff e Boolean -> Eff e Unit
327 whileE :: forall e a. Eff e Boolean -> Eff e a -> Eff e Unit
452 whileE :: forall e a. Eff e Boolean -> Eff e a -> Eff e Unit
@@ -331,6 +456,7 @@
332### Values
457### Values
334 unsafeInterleaveEff :: forall eff1 eff2 a. Eff eff1 a -> Eff eff2 a
460 unsafeInterleaveEff :: forall eff1 eff2 a. Eff eff1 a -> Eff eff2 a
@@ -338,13 +464,16 @@
341 data Trace :: !
468 data Trace :: !
344### Values
471### Values
346 print :: forall a r. (Show a) => a -> Eff (trace :: Trace | r) Unit
474 print :: forall a r. (Show a) => a -> Eff (trace :: Trace | r) Unit
348 trace :: forall r. String -> Eff (trace :: Trace | r) Unit
477 trace :: forall r. String -> Eff (trace :: Trace | r) Unit
@@ -352,23 +481,31 @@
355 data ST :: * -> !
485 data ST :: * -> !
357 data STRef :: * -> * -> *
488 data STRef :: * -> * -> *
360### Values
491### Values
362 modifySTRef :: forall a h r. STRef h a -> (a -> a) -> Eff (st :: ST h | r) a
494 modifySTRef :: forall a h r. STRef h a -> (a -> a) -> Eff (st :: ST h | r) a
364 newSTRef :: forall a h r. a -> Eff (st :: ST h | r) (STRef h a)
497 newSTRef :: forall a h r. a -> Eff (st :: ST h | r) (STRef h a)
366 pureST :: forall a. (forall h r. Eff (st :: ST h | r) a) -> a
500 pureST :: forall a. (forall h r. Eff (st :: ST h | r) a) -> a
368 readSTRef :: forall a h r. STRef h a -> Eff (st :: ST h | r) a
503 readSTRef :: forall a h r. STRef h a -> Eff (st :: ST h | r) a
370 runST :: forall a r. (forall h. Eff (st :: ST h | r) a) -> Eff r a
506 runST :: forall a r. (forall h. Eff (st :: ST h | r) a) -> Eff r a
372 writeSTRef :: forall a h r. STRef h a -> a -> Eff (st :: ST h | r) a
509 writeSTRef :: forall a h r. STRef h a -> a -> Eff (st :: ST h | r) a