@@ -9,19 +9,9 @@ Types
99
1010::
1111
12− data Array :: * -> *
13−
14− data Boolean :: *
15−
16− data Function :: * -> * -> *
17−
18− data Number :: *
19−
2012 data Ref a where
2113 Ref :: a -> Ref a
2214
23− data String :: *
24−
2515Type Classes
2616~~~~~~~~~~~~
2717
@@ -39,9 +29,9 @@ Type Classes
3929 (&) :: b -> b -> b
4030 (|) :: b -> b -> b
4131 (^) :: b -> b -> b
42− shl :: b -> Prelude.Number -> b
43− shr :: b -> Prelude.Number -> b
44− zshr :: b -> Prelude.Number -> b
32+ shl :: b -> Prim.Number -> b
33+ shr :: b -> Prim.Number -> b
34+ zshr :: b -> Prim.Number -> b
4535 complement :: b -> b
4636
4737 class BoolLike b where
@@ -55,8 +45,8 @@ Type Classes
5545 (>>>) :: forall d. forall c. forall b. a b c -> a c d -> a b d
5646
5747 class Eq a where
58− (==) :: a -> a -> Prelude.Boolean
59− (/=) :: a -> a -> Prelude.Boolean
48+ (==) :: a -> a -> Prim.Boolean
49+ (/=) :: a -> a -> Prim.Boolean
6050
6151 class Functor f where
6252 (<$>) :: forall b. forall a. (a -> b) -> f a -> f b
@@ -74,16 +64,16 @@ Type Classes
7464 negate :: a -> a
7565
7666 class Ord a where
77− (<) :: a -> a -> Prelude.Boolean
78− (>) :: a -> a -> Prelude.Boolean
79− (<=) :: a -> a -> Prelude.Boolean
80− (>=) :: a -> a -> Prelude.Boolean
67+ (<) :: a -> a -> Prim.Boolean
68+ (>) :: a -> a -> Prim.Boolean
69+ (<=) :: a -> a -> Prim.Boolean
70+ (>=) :: a -> a -> Prim.Boolean
8171
8272 class Read a where
83− read :: Prelude.String -> a
73+ read :: Prim.String -> a
8474
8575 class Show a where
86− show :: a -> Prelude.String
76+ show :: a -> Prim.String
8777
8878Type Class Instances
8979~~~~~~~~~~~~~~~~~~~~
@@ -92,37 +82,37 @@ Type Class Instances
9282
9383 (Monad (m)) => instance Applicative m
9484
95− instance Bits Prelude.Number
85+ instance Bits Prim.Number
9686
97− instance BoolLike Prelude.Boolean
87+ instance BoolLike Prim.Boolean
9888
99− instance Category Prelude.Function
89+ instance Category Prim.Function
10090
10191 instance Eq Ref a
10292
103− instance Eq Prelude.String
93+ instance Eq Prim.String
10494
105− instance Eq Prelude.Number
95+ instance Eq Prim.Number
10696
107− instance Eq Prelude.Boolean
97+ instance Eq Prim.Boolean
10898
10999 (Eq (a)) => instance Eq [a]
110100
111101 (Applicative (f)) => instance Functor f
112102
113− instance Num Prelude.Number
103+ instance Num Prim.Number
114104
115− instance Ord Prelude.Number
105+ instance Ord Prim.Number
116106
117− instance Prelude.Show Prelude.Number
107+ instance Prelude.Show Prim.Number
118108
119− instance Read Prelude.String
109+ instance Read Prim.String
120110
121− instance Read Prelude.Boolean
111+ instance Read Prim.Boolean
122112
123− instance Show Prelude.String
113+ instance Show Prim.String
124114
125− instance Show Prelude.Boolean
115+ instance Show Prim.Boolean
126116
127117Values
128118~~~~~~
@@ -131,65 +121,65 @@ Values
131121
132122 $const :: forall b. forall a. a -> b -> a
133123
134− (!!) :: forall a. [a] -> Prelude.Number -> a
124+ (!!) :: forall a. [a] -> Prim.Number -> a
135125
136126 (#) :: forall b. forall a. a -> (a -> b) -> b
137127
138128 ($) :: forall b. forall a. (a -> b) -> a -> b
139129
140− (++) :: Prelude.String -> Prelude.String -> Prelude.String
130+ (++) :: Prim.String -> Prim.String -> Prim.String
141131
142− boolAnd :: Prelude.Boolean -> Prelude.Boolean -> Prelude.Boolean
132+ boolAnd :: Prim.Boolean -> Prim.Boolean -> Prim.Boolean
143133
144− boolNot :: Prelude.Boolean -> Prelude.Boolean
134+ boolNot :: Prim.Boolean -> Prim.Boolean
145135
146− boolOr :: Prelude.Boolean -> Prelude.Boolean -> Prelude.Boolean
136+ boolOr :: Prim.Boolean -> Prim.Boolean -> Prim.Boolean
147137
148138 flip :: forall c. forall b. forall a. (a -> b -> c) -> b -> a -> c
149139
150− numAdd :: Prelude.Number -> Prelude.Number -> Prelude.Number
140+ numAdd :: Prim.Number -> Prim.Number -> Prim.Number
151141
152− numAnd :: Prelude.Number -> Prelude.Number -> Prelude.Number
142+ numAnd :: Prim.Number -> Prim.Number -> Prim.Number
153143
154− numComplement :: Prelude.Number -> Prelude.Number
144+ numComplement :: Prim.Number -> Prim.Number
155145
156− numDiv :: Prelude.Number -> Prelude.Number -> Prelude.Number
146+ numDiv :: Prim.Number -> Prim.Number -> Prim.Number
157147
158− numGreater :: Prelude.Number -> Prelude.Number -> Prelude.Boolean
148+ numGreater :: Prim.Number -> Prim.Number -> Prim.Boolean
159149
160− numGreaterEq :: Prelude.Number -> Prelude.Number -> Prelude.Boolean
150+ numGreaterEq :: Prim.Number -> Prim.Number -> Prim.Boolean
161151
162− numLess :: Prelude.Number -> Prelude.Number -> Prelude.Boolean
152+ numLess :: Prim.Number -> Prim.Number -> Prim.Boolean
163153
164− numLessEq :: Prelude.Number -> Prelude.Number -> Prelude.Boolean
154+ numLessEq :: Prim.Number -> Prim.Number -> Prim.Boolean
165155
166− numMod :: Prelude.Number -> Prelude.Number -> Prelude.Number
156+ numMod :: Prim.Number -> Prim.Number -> Prim.Number
167157
168− numMul :: Prelude.Number -> Prelude.Number -> Prelude.Number
158+ numMul :: Prim.Number -> Prim.Number -> Prim.Number
169159
170− numNegate :: Prelude.Number -> Prelude.Number
160+ numNegate :: Prim.Number -> Prim.Number
171161
172− numOr :: Prelude.Number -> Prelude.Number -> Prelude.Number
162+ numOr :: Prim.Number -> Prim.Number -> Prim.Number
173163
174− numShl :: Prelude.Number -> Prelude.Number -> Prelude.Number
164+ numShl :: Prim.Number -> Prim.Number -> Prim.Number
175165
176− numShr :: Prelude.Number -> Prelude.Number -> Prelude.Number
166+ numShr :: Prim.Number -> Prim.Number -> Prim.Number
177167
178− numSub :: Prelude.Number -> Prelude.Number -> Prelude.Number
168+ numSub :: Prim.Number -> Prim.Number -> Prim.Number
179169
180− numXor :: Prelude.Number -> Prelude.Number -> Prelude.Number
170+ numXor :: Prim.Number -> Prim.Number -> Prim.Number
181171
182− numZshr :: Prelude.Number -> Prelude.Number -> Prelude.Number
172+ numZshr :: Prim.Number -> Prim.Number -> Prim.Number
183173
184− refEq :: forall a. Ref a -> Ref a -> Prelude.Boolean
174+ refEq :: forall a. Ref a -> Ref a -> Prim.Boolean
185175
186− refIneq :: forall a. Ref a -> Ref a -> Prelude.Boolean
176+ refIneq :: forall a. Ref a -> Ref a -> Prim.Boolean
187177
188− showNumber :: Prelude.Number -> Prelude.String
178+ showNumber :: Prim.Number -> Prim.String
189179
190− unsafeRefEq :: forall a. a -> a -> Prelude.Boolean
180+ unsafeRefEq :: forall a. a -> a -> Prim.Boolean
191181
192− unsafeRefIneq :: forall a. a -> a -> Prelude.Boolean
182+ unsafeRefIneq :: forall a. a -> a -> Prim.Boolean
193183
194184Module Monoid
195185-------------
@@ -211,7 +201,7 @@ Type Class Instances
211201
212202::
213203
214− instance Monoid Prelude.String
204+ instance Monoid Prim.String
215205
216206Values
217207~~~~~~
@@ -247,11 +237,11 @@ Values
247237
248238 mapM :: forall b. forall a. forall m. (Monad (m)) => (a -> m b) -> [a] -> m [b]
249239
250− replicateM :: forall a. forall m. (Monad (m)) => Prelude.Number -> m a -> m [a]
240+ replicateM :: forall a. forall m. (Monad (m)) => Prim.Number -> m a -> m [a]
251241
252242 sequence :: forall a. forall m. (Monad (m)) => [m a] -> m [a]
253243
254− when :: forall m. (Monad (m)) => Prelude.Boolean -> m { } -> m { }
244+ when :: forall m. (Monad (m)) => Prim.Boolean -> m { } -> m { }
255245
256246Module Maybe
257247------------
@@ -327,9 +317,9 @@ Type Class Instances
327317
328318::
329319
330− instance Prelude.Alternative Prelude.Array
320+ instance Prelude.Alternative Prim.Array
331321
332− instance Prelude.Monad Prelude.Array
322+ instance Prelude.Monad Prim.Array
333323
334324 (Prelude.Show (a)) => instance Prelude.Show [a]
335325
@@ -340,15 +330,15 @@ Values
340330
341331 (:) :: forall a. a -> [a] -> [a]
342332
343− all :: forall a. (a -> Prelude.Boolean) -> [a] -> Prelude.Boolean
333+ all :: forall a. (a -> Prim.Boolean) -> [a] -> Prim.Boolean
344334
345− any :: forall a. (a -> Prelude.Boolean) -> [a] -> Prelude.Boolean
335+ any :: forall a. (a -> Prim.Boolean) -> [a] -> Prim.Boolean
346336
347337 concat :: forall a. [a] -> [a] -> [a]
348338
349339 concatMap :: forall b. forall a. [a] -> (a -> [b]) -> [b]
350340
351− filter :: forall a. (a -> Prelude.Boolean) -> [a] -> [a]
341+ filter :: forall a. (a -> Prim.Boolean) -> [a] -> [a]
352342
353343 foldl :: forall b. forall a. (a -> b -> b) -> b -> [a] -> b
354344
@@ -358,23 +348,23 @@ Values
358348
359349 headSafe :: forall a. [a] -> Maybe a
360350
361− indexOf :: forall a. [a] -> a -> Prelude.Number
351+ indexOf :: forall a. [a] -> a -> Prim.Number
362352
363− isEmpty :: forall a. [a] -> Prelude.Boolean
353+ isEmpty :: forall a. [a] -> Prim.Boolean
364354
365− joinS :: [Prelude.String] -> Prelude.String
355+ joinS :: [Prim.String] -> Prim.String
366356
367− joinWith :: [Prelude.String] -> Prelude.String -> Prelude.String
357+ joinWith :: [Prim.String] -> Prim.String -> Prim.String
368358
369− lastIndexOf :: forall a. [a] -> a -> Prelude.Number
359+ lastIndexOf :: forall a. [a] -> a -> Prim.Number
370360
371− length :: forall a. [a] -> Prelude.Number
361+ length :: forall a. [a] -> Prim.Number
372362
373363 map :: forall b. forall a. (a -> b) -> [a] -> [b]
374364
375365 push :: forall a. [a] -> a -> [a]
376366
377− range :: Prelude.Number -> Prelude.Number -> [Prelude.Number]
367+ range :: Prim.Number -> Prim.Number -> [Prim.Number]
378368
379369 reverse :: forall a. [a] -> [a]
380370
@@ -382,11 +372,11 @@ Values
382372
383373 singleton :: forall a. a -> [a]
384374
385− slice :: forall a. Prelude.Number -> Prelude.Number -> [a] -> [a]
375+ slice :: forall a. Prim.Number -> Prim.Number -> [a] -> [a]
386376
387377 sort :: forall a. [a] -> [a]
388378
389− splice :: forall a. Prelude.Number -> Prelude.Number -> [a] -> [a] -> [a]
379+ splice :: forall a. Prim.Number -> Prim.Number -> [a] -> [a] -> [a]
390380
391381 tail :: forall a. [a] -> [a]
392382
@@ -394,15 +384,16 @@ Values
394384
395385 zipWith :: forall c. forall b. forall a. (a -> b -> c) -> [a] -> [b] -> [c]
396386
397−Module Tuple
398−------------
387+Module Tuples
388+-------------
399389
400390Types
401391~~~~~
402392
403393::
404394
405− type Tuple a b = { snd :: b, fst :: a }
395+ data Tuple a b where
396+ Tuple :: { snd :: b, fst :: a } -> Tuple a b
406397
407398Type Classes
408399~~~~~~~~~~~~
@@ -410,6 +401,10 @@ Type Classes
410401Type Class Instances
411402~~~~~~~~~~~~~~~~~~~~
412403
404+::
405+
406+ (Prelude.Show (a),Prelude.Show (b)) => instance Prelude.Show Tuple a b
407+
413408Values
414409~~~~~~
415410
@@ -442,31 +437,31 @@ Values
442437
443438::
444439
445− charAt :: Prelude.Number -> Prelude.String -> Prelude.String
440+ charAt :: Prim.Number -> Prim.String -> Prim.String
446441
447− indexOfS :: Prelude.String -> Prelude.String -> Prelude.Number
442+ indexOfS :: Prim.String -> Prim.String -> Prim.Number
448443
449− lastIndexOfS :: Prelude.String -> Prelude.String -> Prelude.Number
444+ lastIndexOfS :: Prim.String -> Prim.String -> Prim.Number
450445
451− lengthS :: Prelude.String -> Prelude.Number
446+ lengthS :: Prim.String -> Prim.Number
452447
453− localeCompare :: Prelude.String -> Prelude.String -> Prelude.Number
448+ localeCompare :: Prim.String -> Prim.String -> Prim.Number
454449
455− replace :: Prelude.String -> Prelude.String -> Prelude.String -> Prelude.String
450+ replace :: Prim.String -> Prim.String -> Prim.String -> Prim.String
456451
457− sliceS :: Prelude.Number -> Prelude.Number -> Prelude.String -> Prelude.String
452+ sliceS :: Prim.Number -> Prim.Number -> Prim.String -> Prim.String
458453
459− split :: Prelude.String -> Prelude.String -> [Prelude.String]
454+ split :: Prim.String -> Prim.String -> [Prim.String]
460455
461− substr :: Prelude.Number -> Prelude.Number -> Prelude.String -> Prelude.String
456+ substr :: Prim.Number -> Prim.Number -> Prim.String -> Prim.String
462457
463− substring :: Prelude.Number -> Prelude.Number -> Prelude.String -> Prelude.String
458+ substring :: Prim.Number -> Prim.Number -> Prim.String -> Prim.String
464459
465− toLower :: Prelude.String -> Prelude.String
460+ toLower :: Prim.String -> Prim.String
466461
467− toUpper :: Prelude.String -> Prelude.String
462+ toUpper :: Prim.String -> Prim.String
468463
469− trim :: Prelude.String -> Prelude.String
464+ trim :: Prim.String -> Prim.String
470465
471466Module Regex
472467------------
@@ -489,15 +484,15 @@ Values
489484
490485::
491486
492− match :: Regex -> Prelude.String -> [Prelude.String]
487+ match :: Regex -> Prim.String -> [Prim.String]
493488
494− regex :: Prelude.String -> Prelude.String -> Regex
489+ regex :: Prim.String -> Prim.String -> Regex
495490
496− replaceR :: Regex -> Prelude.String -> Prelude.String -> Prelude.String
491+ replaceR :: Regex -> Prim.String -> Prim.String -> Prim.String
497492
498− search :: Regex -> Prelude.String -> Prelude.Number
493+ search :: Regex -> Prim.String -> Prim.Number
499494
500− test :: Regex -> Prelude.String -> Prelude.Boolean
495+ test :: Regex -> Prim.String -> Prim.Boolean
501496
502497Module Global
503498-------------
@@ -516,31 +511,31 @@ Values
516511
517512::
518513
519− decodeURI :: Prelude.String -> Prelude.String
514+ decodeURI :: Prim.String -> Prim.String
520515
521− decodeURIComponent :: Prelude.String -> Prelude.String
516+ decodeURIComponent :: Prim.String -> Prim.String
522517
523− encodeURI :: Prelude.String -> Prelude.String
518+ encodeURI :: Prim.String -> Prim.String
524519
525− encodeURIComponent :: Prelude.String -> Prelude.String
520+ encodeURIComponent :: Prim.String -> Prim.String
526521
527− infinity :: Prelude.Number
522+ infinity :: Prim.Number
528523
529− isFinite :: Prelude.Number -> Prelude.Boolean
524+ isFinite :: Prim.Number -> Prim.Boolean
530525
531− isNaN :: Prelude.Number -> Prelude.Boolean
526+ isNaN :: Prim.Number -> Prim.Boolean
532527
533− nan :: Prelude.Number
528+ nan :: Prim.Number
534529
535− parseFloat :: Prelude.String -> Prelude.Number
530+ parseFloat :: Prim.String -> Prim.Number
536531
537− parseInt :: Prelude.String -> Prelude.Number
532+ parseInt :: Prim.String -> Prim.Number
538533
539− toExponential :: Prelude.Number -> Prelude.String
534+ toExponential :: Prim.Number -> Prim.String
540535
541− toFixed :: Prelude.Number -> Prelude.Number -> Prelude.String
536+ toFixed :: Prim.Number -> Prim.Number -> Prim.String
542537
543− toPrecision :: Prelude.Number -> Prelude.Number -> Prelude.String
538+ toPrecision :: Prim.Number -> Prim.Number -> Prim.String
544539
545540Module Math
546541-----------
@@ -559,39 +554,39 @@ Values
559554
560555::
561556
562− abs :: Prelude.Number -> Prelude.Number
557+ abs :: Prim.Number -> Prim.Number
563558
564− aceil :: Prelude.Number -> Prelude.Number
559+ aceil :: Prim.Number -> Prim.Number
565560
566− acos :: Prelude.Number -> Prelude.Number
561+ acos :: Prim.Number -> Prim.Number
567562
568− asin :: Prelude.Number -> Prelude.Number
563+ asin :: Prim.Number -> Prim.Number
569564
570− atan :: Prelude.Number -> Prelude.Number
565+ atan :: Prim.Number -> Prim.Number
571566
572− atan2 :: Prelude.Number -> Prelude.Number -> Prelude.Number
567+ atan2 :: Prim.Number -> Prim.Number -> Prim.Number
573568
574− cos :: Prelude.Number -> Prelude.Number
569+ cos :: Prim.Number -> Prim.Number
575570
576− exp :: Prelude.Number -> Prelude.Number
571+ exp :: Prim.Number -> Prim.Number
577572
578− floor :: Prelude.Number -> Prelude.Number
573+ floor :: Prim.Number -> Prim.Number
579574
580− log :: Prelude.Number -> Prelude.Number
575+ log :: Prim.Number -> Prim.Number
581576
582− max :: Prelude.Number -> Prelude.Number
577+ max :: Prim.Number -> Prim.Number
583578
584− min :: Prelude.Number -> Prelude.Number
579+ min :: Prim.Number -> Prim.Number
585580
586− pow :: Prelude.Number -> Prelude.Number
581+ pow :: Prim.Number -> Prim.Number
587582
588− round :: Prelude.Number -> Prelude.Number
583+ round :: Prim.Number -> Prim.Number
589584
590− sin :: Prelude.Number -> Prelude.Number
585+ sin :: Prim.Number -> Prim.Number
591586
592− sqrt :: Prelude.Number -> Prelude.Number
587+ sqrt :: Prim.Number -> Prim.Number
593588
594− tan :: Prelude.Number -> Prelude.Number
589+ tan :: Prim.Number -> Prim.Number
595590
596591Module Eff
597592----------
@@ -622,7 +617,7 @@ Values
622617
623618 bindEff :: forall b. forall a. forall e. Eff e a -> (a -> Eff e b) -> Eff e b
624619
625− forE :: forall e. Prelude.Number -> Prelude.Number -> (Prelude.Number -> Eff e { }) -> Eff e { }
620+ forE :: forall e. Prim.Number -> Prim.Number -> (Prim.Number -> Eff e { }) -> Eff e { }
626621
627622 foreachE :: forall a. forall e. [a] -> (a -> Eff e { }) -> Eff e { }
628623
@@ -630,9 +625,9 @@ Values
630625
631626 runPure :: forall a. Pure a -> a
632627
633− untilE :: forall e. Eff e Prelude.Boolean -> Eff e { }
628+ untilE :: forall e. Eff e Prim.Boolean -> Eff e { }
634629
635− whileE :: forall e. Eff e Prelude.Boolean -> Eff e { } -> Eff e { }
630+ whileE :: forall e. Eff e Prim.Boolean -> Eff e { } -> Eff e { }
636631
637632Module Random
638633-------------
@@ -655,7 +650,7 @@ Values
655650
656651::
657652
658− random :: forall e. Eff random :: Random | e Prelude.Number
653+ random :: forall e. Eff random :: Random | e Prim.Number
659654
660655Module Errors
661656-------------
@@ -711,6 +706,8 @@ Values
711706
712707 readIORef :: forall r. forall s. IORef s -> Eff ref :: Ref | r s
713708
709+ unsafeRunIORef :: forall a. forall eff. Eff ref :: Ref | eff a -> Eff eff a
710+
714711 writeIORef :: forall r. forall s. IORef s -> s -> Eff ref :: Ref | r { }
715712
716713Module Trace
@@ -736,7 +733,7 @@ Values
736733
737734 print :: forall r. forall a. (Prelude.Show (a)) => a -> Eff trace :: Trace | r { }
738735
739− trace :: forall r. Prelude.String -> Eff trace :: Trace | r { }
736+ trace :: forall r. Prim.String -> Eff trace :: Trace | r { }
740737
741738Module ST
742739---------