@@ -9,10 +9,13 @@ Types
99
1010::
1111
12− data Ordering where
13− LT :: Ordering
14− GT :: Ordering
15− EQ :: Ordering
12+ data Ordering where
13+ LT :: Ordering
14+ GT :: Ordering
15+ EQ :: Ordering
16+
17+ data Unit where
18+ Unit :: { } -> Unit
1619
1720Type Classes
1821~~~~~~~~~~~~
@@ -40,9 +43,9 @@ Type Classes
4043 (&) :: b -> b -> b
4144 (|) :: b -> b -> b
4245 (^) :: b -> b -> b
43− shl :: b -> Prim.Number -> b
44− shr :: b -> Prim.Number -> b
45− zshr :: b -> Prim.Number -> b
46+ shl :: b -> Number -> b
47+ shr :: b -> Number -> b
48+ zshr :: b -> Number -> b
4649 complement :: b -> b
4750
4851 class BoolLike b where
@@ -54,8 +57,8 @@ Type Classes
5457 id :: forall t. a t t
5558
5659 class Eq a where
57− (==) :: a -> a -> Prim.Boolean
58− (/=) :: a -> a -> Prim.Boolean
60+ (==) :: a -> a -> Boolean
61+ (/=) :: a -> a -> Boolean
5962
6063 class Functor f where
6164 (<$>) :: forall a b. (a -> b) -> f a -> f b
@@ -80,46 +83,72 @@ Type Classes
8083 (<<<) :: forall b c d. a c d -> a b c -> a b d
8184
8285 class Show a where
83− show :: a -> Prim.String
86+ show :: a -> String
8487
8588Type Class Instances
8689~~~~~~~~~~~~~~~~~~~~
8790
8891::
8992
90− instance bitsNumber :: Bits Prim.Number
93+ instance applicativeArr :: Applicative (Prim.Function r)
94+
95+ instance applyArr :: Apply (Prim.Function r)
96+
97+ instance bindArr :: Bind (Prim.Function r)
98+
99+ instance bitsNumber :: Bits Number
91100
92− instance boolLikeBoolean :: BoolLike Prim.Boolean
101+ instance boolLikeBoolean :: BoolLike Boolean
93102
94103 instance categoryArr :: Category Prim.Function
95104
96105 instance eqArray :: (Eq a) => Eq [a]
97106
98− instance eqBoolean :: Eq Prim.Boolean
107+ instance eqBoolean :: Eq Boolean
99108
100− instance eqNumber :: Eq Prim.Number
109+ instance eqNumber :: Eq Number
101110
102111 instance eqOrdering :: Eq Ordering
103112
104− instance eqString :: Eq Prim.String
113+ instance eqString :: Eq String
114+
115+ instance eqUnit :: Eq Unit
116+
117+ instance functorArr :: Functor (Prim.Function r)
118+
119+ instance monadArr :: Monad (Prim.Function r)
120+
121+ instance numNumber :: Num Number
122+
123+ instance ordArray :: (Ord a) => Ord [a]
124+
125+ instance ordBoolean :: Ord Boolean
126+
127+ instance ordNumber :: Ord Number
128+
129+ instance ordString :: Ord String
130+
131+ instance ordUnit :: Ord Unit
105132
106− instance numNumber :: Num Prim.Number
133+ instance semigroupArr :: (Semigroup s') => Semigroup (s -> s')
107134
108− instance ordNumber :: Ord Prim.Number
135+ instance semigroupString :: Semigroup String
109136
110− instance semigroupString :: Semigroup Prim.String
137+ instance semigroupUnit :: Semigroup Unit
111138
112139 instance semigroupoidArr :: Semigroupoid Prim.Function
113140
114141 instance showArray :: (Show a) => Show [a]
115142
116− instance showBoolean :: Show Prim.Boolean
143+ instance showBoolean :: Show Boolean
117144
118− instance showNumber :: Show Prim.Number
145+ instance showNumber :: Show Number
119146
120147 instance showOrdering :: Show Ordering
121148
122− instance showString :: Show Prim.String
149+ instance showString :: Show String
150+
151+ instance showUnit :: Show Unit
123152
124153Values
125154~~~~~~
@@ -134,13 +163,13 @@ Values
134163
135164 (:) :: forall a. a -> [a] -> [a]
136165
137− (<) :: forall a. (Ord a) => a -> a -> Prim.Boolean
166+ (<) :: forall a. (Ord a) => a -> a -> Boolean
138167
139− (<=) :: forall a. (Ord a) => a -> a -> Prim.Boolean
168+ (<=) :: forall a. (Ord a) => a -> a -> Boolean
140169
141− (>) :: forall a. (Ord a) => a -> a -> Prim.Boolean
170+ (>) :: forall a. (Ord a) => a -> a -> Boolean
142171
143− (>=) :: forall a. (Ord a) => a -> a -> Prim.Boolean
172+ (>=) :: forall a. (Ord a) => a -> a -> Boolean
144173
145174 (>>>) :: forall a b c d. (Semigroupoid a) => a b c -> a c d -> a b d
146175
@@ -148,14 +177,6 @@ Values
148177
149178 asTypeOf :: forall a. a -> a -> a
150179
151− boolAnd :: Prim.Boolean -> Prim.Boolean -> Prim.Boolean
152−
153− boolNot :: Prim.Boolean -> Prim.Boolean
154−
155− boolOr :: Prim.Boolean -> Prim.Boolean -> Prim.Boolean
156−
157− concatString :: Prim.String -> Prim.String -> Prim.String
158−
159180 cons :: forall a. a -> [a] -> [a]
160181
161182 const :: forall a b. a -> b -> a
@@ -166,56 +187,97 @@ Values
166187
167188 liftM1 :: forall m a b. (Monad m) => (a -> b) -> m a -> m b
168189
169− numAdd :: Prim.Number -> Prim.Number -> Prim.Number
170−
171− numAnd :: Prim.Number -> Prim.Number -> Prim.Number
172−
173− numCompare :: Prim.Number -> Prim.Number -> Ordering
190+ refEq :: forall a. a -> a -> Boolean
174191
175− numComplement :: Prim.Number -> Prim.Number
192+ refIneq :: forall a. a -> a -> Boolean
176193
177− numDiv :: Prim.Number -> Prim.Number -> Prim.Number
194+ return :: forall m a. (Monad m) => a -> m a
178195
179− numMod :: Prim.Number -> Prim.Number -> Prim.Number
196+ unit :: Unit
180197
181− numMul :: Prim.Number -> Prim.Number -> Prim.Number
198+ void :: forall f a. (Functor f) => f a -> f Unit
182199
183− numNegate :: Prim.Number -> Prim.Number
200+Module Data.Function
201+--------------------
184202
185− numOr :: Prim.Number -> Prim.Number -> Prim.Number
203+Types
204+~~~~~
186205
187− numShl :: Prim.Number -> Prim.Number -> Prim.Number
206+::
188207
189− numShr :: Prim.Number -> Prim.Number -> Prim.Number
208+ data Fn0 :: * -> *
190209
191− numSub :: Prim.Number -> Prim.Number -> Prim.Number
210+ data Fn1 :: * -> * -> *
192211
193− numXor :: Prim.Number -> Prim.Number -> Prim.Number
212+ data Fn10 :: * -> * -> * -> * -> * -> * -> * -> * -> * -> * -> * -> *
194213
195− numZshr :: Prim.Number -> Prim.Number -> Prim.Number
214+ data Fn2 :: * -> * -> * -> *
196215
197− refEq :: forall a. a -> a -> Prim.Boolean
216+ data Fn3 :: * -> * -> * -> * -> *
198217
199− refIneq :: forall a. a -> a -> Prim.Boolean
218+ data Fn4 :: * -> * -> * -> * -> * -> *
200219
201− return :: forall m a. (Monad m) => a -> m a
220+ data Fn5 :: * -> * -> * -> * -> * -> * -> *
202221
203− showArrayImpl :: forall a. (a -> Prim.String) -> [a] -> Prim.String
222+ data Fn6 :: * -> * -> * -> * -> * -> * -> * -> *
204223
205− showNumberImpl :: Prim.Number -> Prim.String
224+ data Fn7 :: * -> * -> * -> * -> * -> * -> * -> * -> *
206225
207− showStringImpl :: Prim.String -> Prim.String
226+ data Fn8 :: * -> * -> * -> * -> * -> * -> * -> * -> * -> *
208227
209−Module Data.Function
210−--------------------
228+ data Fn9 :: * -> * -> * -> * -> * -> * -> * -> * -> * -> * -> *
211229
212230Values
213231~~~~~~
214232
215233::
216234
235+ mkFn0 :: forall a. (Unit -> a) -> Fn0 a
236+
237+ mkFn1 :: forall a b. (a -> b) -> Fn1 a b
238+
239+ 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
240+
241+ mkFn2 :: forall a b c. (a -> b -> c) -> Fn2 a b c
242+
243+ mkFn3 :: forall a b c d. (a -> b -> c -> d) -> Fn3 a b c d
244+
245+ mkFn4 :: forall a b c d e. (a -> b -> c -> d -> e) -> Fn4 a b c d e
246+
247+ mkFn5 :: forall a b c d e f. (a -> b -> c -> d -> e -> f) -> Fn5 a b c d e f
248+
249+ mkFn6 :: forall a b c d e f g. (a -> b -> c -> d -> e -> f -> g) -> Fn6 a b c d e f g
250+
251+ 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
252+
253+ 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
254+
255+ 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
256+
217257 on :: forall a b c. (b -> b -> c) -> (a -> b) -> a -> a -> c
218258
259+ runFn0 :: forall a. Fn0 a -> a
260+
261+ runFn1 :: forall a b. Fn1 a b -> a -> b
262+
263+ 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
264+
265+ runFn2 :: forall a b c. Fn2 a b c -> a -> b -> c
266+
267+ runFn3 :: forall a b c d. Fn3 a b c d -> a -> b -> c -> d
268+
269+ runFn4 :: forall a b c d e. Fn4 a b c d e -> a -> b -> c -> d -> e
270+
271+ runFn5 :: forall a b c d e f. Fn5 a b c d e f -> a -> b -> c -> d -> e -> f
272+
273+ runFn6 :: forall a b c d e f g. Fn6 a b c d e f g -> a -> b -> c -> d -> e -> f -> g
274+
275+ 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+
277+ 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
278+
279+ 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
280+
219281Module Data.Eq
220282--------------
221283
@@ -234,6 +296,8 @@ Type Class Instances
234296
235297 instance eqRef :: Eq (Ref a)
236298
299+ instance functorRef :: Functor Ref
300+
237301Values
238302~~~~~~
239303
@@ -249,7 +313,7 @@ Values
249313
250314::
251315
252− unsafeIndex :: forall a. [a] -> Prim.Number -> a
316+ unsafeIndex :: forall a. [a] -> Number -> a
253317
254318Module Control.Monad.Eff
255319------------------------
@@ -285,7 +349,7 @@ Values
285349
286350 bindE :: forall e a b. Eff e a -> (a -> Eff e b) -> Eff e b
287351
288− forE :: forall e. Prim.Number -> Prim.Number -> (Prim.Number -> Eff e Unit) -> Eff e Unit
352+ forE :: forall e. Number -> Number -> (Number -> Eff e Unit) -> Eff e Unit
289353
290354 foreachE :: forall e a. [a] -> (a -> Eff e Unit) -> Eff e Unit
291355
@@ -293,9 +357,9 @@ Values
293357
294358 runPure :: forall a. Pure a -> a
295359
296− untilE :: forall e. Eff e Prim.Boolean -> Eff e Unit
360+ untilE :: forall e. Eff e Boolean -> Eff e Unit
297361
298− whileE :: forall e a. Eff e Prim.Boolean -> Eff e a -> Eff e Unit
362+ whileE :: forall e a. Eff e Boolean -> Eff e a -> Eff e Unit
299363
300364Module Control.Monad.Eff.Unsafe
301365-------------------------------
@@ -324,7 +388,7 @@ Values
324388
325389 print :: forall a r. (Show a) => a -> Eff (trace :: Trace | r) Unit
326390
327− trace :: forall r. Prim.String -> Eff (trace :: Trace | r) Unit
391+ trace :: forall r. String -> Eff (trace :: Trace | r) Unit
328392
329393Module Control.Monad.ST
330394-----------------------
@@ -347,13 +411,13 @@ Values
347411
348412 modifySTRef :: forall a h r. STRef h a -> (a -> a) -> Eff (st :: ST h | r) a
349413
350− newSTArray :: forall a h r. Prim.Number -> a -> Eff (st :: ST h | r) (STArray h a)
414+ newSTArray :: forall a h r. Number -> a -> Eff (st :: ST h | r) (STArray h a)
351415
352416 newSTRef :: forall a h r. a -> Eff (st :: ST h | r) (STRef h a)
353417
354418 peekSTArray :: forall a h r. STArray h a -> Eff (st :: ST h | r) a
355419
356− pokeSTArray :: forall a h r. STArray h a -> Prim.Number -> a -> Eff (st :: ST h | r) a
420+ pokeSTArray :: forall a h r. STArray h a -> Number -> a -> Eff (st :: ST h | r) a
357421
358422 readSTRef :: forall a h r. STRef h a -> Eff (st :: ST h | r) a
359423