@@ -7,11 +7,6 @@ Module Prelude
77Types
88~~~~~
99
10−::
11−
12− data Ref a where
13− Ref :: a -> Ref a
14−
1510Type Classes
1611~~~~~~~~~~~~
1712
@@ -80,41 +75,39 @@ Type Class Instances
8075
8176::
8277
83− (Monad (m)) => instance Applicative m
78+ (Monad ((m))) => instance applicativeFromMonad :: Applicative (m)
8479
85− instance Bits Prim.Number
80+ instance bitsNumber :: Bits (Prim.Number)
8681
87− instance BoolLike Prim.Boolean
82+ instance boolLikeBoolean :: BoolLike (Prim.Boolean)
8883
89− instance Category Prim.Function
84+ instance categoryArr :: Category (Prim.Function)
9085
91− instance Eq Ref a
86+ (Eq ((a))) => instance eqArray :: Eq ([a])
9287
93− instance Eq Prim.String
88+ instance eqBoolean :: Eq (Prim.Boolean)
9489
95− instance Eq Prim.Number
90+ instance eqNumber :: Eq (Prim.Number)
9691
97− instance Eq Prim.Boolean
92+ instance eqString :: Eq (Prim.String)
9893
99− (Eq (a)) => instance Eq [a]
94+ (Applicative ((f))) => instance functorFromApplicative :: Functor (f)
10095
101− (Applicative (f)) => instance Functor f
96+ instance numNumber :: Num (Prim.Number)
10297
103− instance Num Prim.Number
98+ instance ordNumber :: Ord (Prim.Number)
10499
105− instance Ord Prim.Number
100+ instance readBoolean :: Read (Prim.Boolean)
106101
107− instance Prelude.Show Prim.Number
102+ instance readNumber :: Read (Prim.Number)
108103
109− instance Read Prim.String
104+ instance readString :: Read (Prim.String)
110105
111− instance Read Prim.Boolean
106+ instance showBoolean :: Show (Prim.Boolean)
112107
113− instance Read Prim.Number
108+ instance showNumber :: Show (Prim.Number)
114109
115− instance Show Prim.String
116−
117− instance Show Prim.Boolean
110+ instance showString :: Show (Prim.String)
118111
119112Values
120113~~~~~~
@@ -139,8 +132,6 @@ Values
139132
140133 flip :: forall c. forall b. forall a. (a -> b -> c) -> b -> a -> c
141134
142− liftRef :: forall b. forall a. (a -> a -> b) -> Ref a -> Ref a -> b
143−
144135 numAdd :: Prim.Number -> Prim.Number -> Prim.Number
145136
146137 numAnd :: Prim.Number -> Prim.Number -> Prim.Number
@@ -175,13 +166,9 @@ Values
175166
176167 numZshr :: Prim.Number -> Prim.Number -> Prim.Number
177168
178− readNumber :: Prim.String -> Prim.Number
169+ readNumberImpl :: Prim.String -> Prim.Number
179170
180− refEq :: forall a. Ref a -> Ref a -> Prim.Boolean
181−
182− refIneq :: forall a. Ref a -> Ref a -> Prim.Boolean
183−
184− showNumber :: Prim.Number -> Prim.String
171+ showNumberImpl :: Prim.Number -> Prim.String
185172
186173 unsafeRefEq :: forall a. a -> a -> Prim.Boolean
187174
@@ -207,9 +194,9 @@ Type Class Instances
207194
208195::
209196
210− instance Monoid Prim.String
197+ instance monoidArray :: Monoid ([a])
211198
212− instance Monoid [a]
199+ instance monoidString :: Monoid (Prim.String)
213200
214201Values
215202~~~~~~
@@ -251,6 +238,8 @@ Values
251238
252239 when :: forall m. (Monad (m)) => Prim.Boolean -> m { } -> m { }
253240
241+ zipWithM :: forall c. forall b. forall a. forall m. (Monad (m)) => (a -> b -> m c) -> [a] -> [b] -> m [c]
242+
254243Module Data.Maybe
255244-----------------
256245
@@ -271,13 +260,13 @@ Type Class Instances
271260
272261::
273262
274− instance Prelude.Applicative Maybe
263+ instance applicativeMaybe :: Applicative (Maybe)
275264
276− instance Prelude.Functor Maybe
265+ instance functorMaybe :: Functor (Maybe)
277266
278− instance Prelude.Monad Maybe
267+ instance monadMaybe :: Monad (Maybe)
279268
280− (Show (a)) => instance Prelude.Show Maybe a
269+ (Show ((a))) => instance showMaybe :: Show (Maybe a)
281270
282271Values
283272~~~~~~
@@ -308,13 +297,13 @@ Type Class Instances
308297
309298::
310299
311− instance Prelude.Applicative Either e
300+ instance applicativeEither :: Applicative (Either e)
312301
313− instance Prelude.Functor Either a
302+ instance functorEither :: Functor (Either a)
314303
315− instance Prelude.Monad Either e
304+ instance monadEither :: Monad (Either e)
316305
317− (Show (a),Show (b)) => instance Prelude.Show Either a b
306+ (Show ((a)),Show ((b))) => instance showEither :: Show (Either a b)
318307
319308Values
320309~~~~~~
@@ -337,13 +326,13 @@ Type Class Instances
337326
338327::
339328
340− instance Prelude.Alternative Prim.Array
329+ instance alternativeArray :: Alternative (Prim.Array)
341330
342− instance Prelude.Functor Prim.Array
331+ instance functorArray :: Functor (Prim.Array)
343332
344− instance Prelude.Monad Prim.Array
333+ instance monadArray :: Monad (Prim.Array)
345334
346− (Prelude.Show (a)) => instance Prelude.Show [a]
335+ (Show ((a))) => instance showArray :: Show ([a])
347336
348337Values
349338~~~~~~
@@ -360,11 +349,15 @@ Values
360349
361350 concatMap :: forall b. forall a. [a] -> (a -> [b]) -> [b]
362351
352+ deleteAt :: forall a. Prim.Number -> Prim.Number -> [a] -> [a]
353+
354+ drop :: forall a. Prim.Number -> [a] -> [a]
355+
363356 filter :: forall a. (a -> Prim.Boolean) -> [a] -> [a]
364357
365358 find :: forall a. (a -> Prim.Boolean) -> [a] -> Maybe a
366359
367− foldl :: forall b. forall a. (a -> b -> b) -> b -> [a] -> b
360+ foldl :: forall b. forall a. (b -> a -> b) -> b -> [a] -> b
368361
369362 foldr :: forall b. forall a. (a -> b -> a) -> a -> [b] -> a
370363
@@ -372,6 +365,8 @@ Values
372365
373366 indexOf :: forall a. [a] -> a -> Prim.Number
374367
368+ insertAt :: forall a. Prim.Number -> a -> [a] -> [a]
369+
375370 isEmpty :: forall a. [a] -> Prim.Boolean
376371
377372 joinS :: [Prim.String] -> Prim.String
@@ -398,12 +393,46 @@ Values
398393
399394 sort :: forall a. [a] -> [a]
400395
401− splice :: forall a. Prim.Number -> Prim.Number -> [a] -> [a] -> [a]
402−
403396 tail :: forall a. [a] -> Maybe [a]
404397
398+ take :: forall a. Prim.Number -> [a] -> [a]
399+
400+ updateAt :: forall a. Prim.Number -> a -> [a] -> [a]
401+
405402 zipWith :: forall c. forall b. forall a. (a -> b -> c) -> [a] -> [b] -> [c]
406403
404+Module Data.Eq
405+--------------
406+
407+Types
408+~~~~~
409+
410+::
411+
412+ data Ref a where
413+ Ref :: a -> Ref a
414+
415+Type Classes
416+~~~~~~~~~~~~
417+
418+Type Class Instances
419+~~~~~~~~~~~~~~~~~~~~
420+
421+::
422+
423+ instance eqRef :: Eq (Ref a)
424+
425+Values
426+~~~~~~
427+
428+::
429+
430+ liftRef :: forall b. forall a. (a -> a -> b) -> Ref a -> Ref a -> b
431+
432+ refEq :: forall a. Ref a -> Ref a -> Prim.Boolean
433+
434+ refIneq :: forall a. Ref a -> Ref a -> Prim.Boolean
435+
407436Module Data.Array.Unsafe
408437------------------------
409438
@@ -444,7 +473,7 @@ Type Class Instances
444473
445474::
446475
447− (Prelude.Show (a),Prelude.Show (b)) => instance Prelude.Show Tuple a b
476+ (Show ((a)),Show ((b))) => instance showTuple :: Show (Tuple a b)
448477
449478Values
450479~~~~~~
@@ -663,7 +692,7 @@ Type Class Instances
663692
664693::
665694
666− instance Prelude.Monad Eff e
695+ instance monadEff :: Monad (Eff e)
667696
668697Values
669698~~~~~~
@@ -684,6 +713,25 @@ Values
684713
685714 whileE :: forall a. forall e. Eff e Prim.Boolean -> Eff e a -> Eff e { }
686715
716+Module Control.Monad.Eff.Unsafe
717+-------------------------------
718+
719+Types
720+~~~~~
721+
722+Type Classes
723+~~~~~~~~~~~~
724+
725+Type Class Instances
726+~~~~~~~~~~~~~~~~~~~~
727+
728+Values
729+~~~~~~
730+
731+::
732+
733+ unsafeInterleaveEff :: forall a. forall eff2. forall eff1. Eff eff1 a -> Eff eff2 a
734+
687735Module Random
688736-------------
689737
@@ -786,7 +834,7 @@ Values
786834
787835::
788836
789− print :: forall r. forall a. (Prelude.Show (a)) => a -> Eff (trace :: Trace | r) { }
837+ print :: forall r. forall a. (Show (a)) => a -> Eff (trace :: Trace | r) { }
790838
791839 trace :: forall r. Prim.String -> Eff (trace :: Trace | r) { }
792840