@@ -3,19 +3,9 @@
33
44### Types
55
6− data Array :: * -> *
7−
8− data Boolean :: *
9−
10− data Function :: * -> * -> *
11−
12− data Number :: *
13−
146 data Ref a where
157 Ref :: a -> Ref a
168
17− data String :: *
18−
199
2010### Type Classes
2111
@@ -31,9 +21,9 @@
3121 (&) :: b -> b -> b
3222 (|) :: b -> b -> b
3323 (^) :: b -> b -> b
34− shl :: b -> Prelude.Number -> b
35− shr :: b -> Prelude.Number -> b
36− zshr :: b -> Prelude.Number -> b
24+ shl :: b -> Prim.Number -> b
25+ shr :: b -> Prim.Number -> b
26+ zshr :: b -> Prim.Number -> b
3727 complement :: b -> b
3828
3929 class BoolLike b where
@@ -47,8 +37,8 @@
4737 (>>>) :: forall d. forall c. forall b. a b c -> a c d -> a b d
4838
4939 class Eq a where
50− (==) :: a -> a -> Prelude.Boolean
51− (/=) :: a -> a -> Prelude.Boolean
40+ (==) :: a -> a -> Prim.Boolean
41+ (/=) :: a -> a -> Prim.Boolean
5242
5343 class Functor f where
5444 (<$>) :: forall b. forall a. (a -> b) -> f a -> f b
@@ -66,118 +56,118 @@
6656 negate :: a -> a
6757
6858 class Ord a where
69− (<) :: a -> a -> Prelude.Boolean
70− (>) :: a -> a -> Prelude.Boolean
71− (<=) :: a -> a -> Prelude.Boolean
72− (>=) :: a -> a -> Prelude.Boolean
59+ (<) :: a -> a -> Prim.Boolean
60+ (>) :: a -> a -> Prim.Boolean
61+ (<=) :: a -> a -> Prim.Boolean
62+ (>=) :: a -> a -> Prim.Boolean
7363
7464 class Read a where
75− read :: Prelude.String -> a
65+ read :: Prim.String -> a
7666
7767 class Show a where
78− show :: a -> Prelude.String
68+ show :: a -> Prim.String
7969
8070
8171### Type Class Instances
8272
8373 (Monad (m)) => instance Applicative m
8474
85− instance Bits Prelude.Number
75+ instance Bits Prim.Number
8676
87− instance BoolLike Prelude.Boolean
77+ instance BoolLike Prim.Boolean
8878
89− instance Category Prelude.Function
79+ instance Category Prim.Function
9080
9181 instance Eq Ref a
9282
93− instance Eq Prelude.String
83+ instance Eq Prim.String
9484
95− instance Eq Prelude.Number
85+ instance Eq Prim.Number
9686
97− instance Eq Prelude.Boolean
87+ instance Eq Prim.Boolean
9888
9989 (Eq (a)) => instance Eq [a]
10090
10191 (Applicative (f)) => instance Functor f
10292
103− instance Num Prelude.Number
93+ instance Num Prim.Number
10494
105− instance Ord Prelude.Number
95+ instance Ord Prim.Number
10696
107− instance Prelude.Show Prelude.Number
97+ instance Prelude.Show Prim.Number
10898
109− instance Read Prelude.String
99+ instance Read Prim.String
110100
111− instance Read Prelude.Boolean
101+ instance Read Prim.Boolean
112102
113− instance Show Prelude.String
103+ instance Show Prim.String
114104
115− instance Show Prelude.Boolean
105+ instance Show Prim.Boolean
116106
117107
118108### Values
119109
120110 $const :: forall b. forall a. a -> b -> a
121111
122− (!!) :: forall a. [a] -> Prelude.Number -> a
112+ (!!) :: forall a. [a] -> Prim.Number -> a
123113
124114 (#) :: forall b. forall a. a -> (a -> b) -> b
125115
126116 ($) :: forall b. forall a. (a -> b) -> a -> b
127117
128− (++) :: Prelude.String -> Prelude.String -> Prelude.String
118+ (++) :: Prim.String -> Prim.String -> Prim.String
129119
130− boolAnd :: Prelude.Boolean -> Prelude.Boolean -> Prelude.Boolean
120+ boolAnd :: Prim.Boolean -> Prim.Boolean -> Prim.Boolean
131121
132− boolNot :: Prelude.Boolean -> Prelude.Boolean
122+ boolNot :: Prim.Boolean -> Prim.Boolean
133123
134− boolOr :: Prelude.Boolean -> Prelude.Boolean -> Prelude.Boolean
124+ boolOr :: Prim.Boolean -> Prim.Boolean -> Prim.Boolean
135125
136126 flip :: forall c. forall b. forall a. (a -> b -> c) -> b -> a -> c
137127
138− numAdd :: Prelude.Number -> Prelude.Number -> Prelude.Number
128+ numAdd :: Prim.Number -> Prim.Number -> Prim.Number
139129
140− numAnd :: Prelude.Number -> Prelude.Number -> Prelude.Number
130+ numAnd :: Prim.Number -> Prim.Number -> Prim.Number
141131
142− numComplement :: Prelude.Number -> Prelude.Number
132+ numComplement :: Prim.Number -> Prim.Number
143133
144− numDiv :: Prelude.Number -> Prelude.Number -> Prelude.Number
134+ numDiv :: Prim.Number -> Prim.Number -> Prim.Number
145135
146− numGreater :: Prelude.Number -> Prelude.Number -> Prelude.Boolean
136+ numGreater :: Prim.Number -> Prim.Number -> Prim.Boolean
147137
148− numGreaterEq :: Prelude.Number -> Prelude.Number -> Prelude.Boolean
138+ numGreaterEq :: Prim.Number -> Prim.Number -> Prim.Boolean
149139
150− numLess :: Prelude.Number -> Prelude.Number -> Prelude.Boolean
140+ numLess :: Prim.Number -> Prim.Number -> Prim.Boolean
151141
152− numLessEq :: Prelude.Number -> Prelude.Number -> Prelude.Boolean
142+ numLessEq :: Prim.Number -> Prim.Number -> Prim.Boolean
153143
154− numMod :: Prelude.Number -> Prelude.Number -> Prelude.Number
144+ numMod :: Prim.Number -> Prim.Number -> Prim.Number
155145
156− numMul :: Prelude.Number -> Prelude.Number -> Prelude.Number
146+ numMul :: Prim.Number -> Prim.Number -> Prim.Number
157147
158− numNegate :: Prelude.Number -> Prelude.Number
148+ numNegate :: Prim.Number -> Prim.Number
159149
160− numOr :: Prelude.Number -> Prelude.Number -> Prelude.Number
150+ numOr :: Prim.Number -> Prim.Number -> Prim.Number
161151
162− numShl :: Prelude.Number -> Prelude.Number -> Prelude.Number
152+ numShl :: Prim.Number -> Prim.Number -> Prim.Number
163153
164− numShr :: Prelude.Number -> Prelude.Number -> Prelude.Number
154+ numShr :: Prim.Number -> Prim.Number -> Prim.Number
165155
166− numSub :: Prelude.Number -> Prelude.Number -> Prelude.Number
156+ numSub :: Prim.Number -> Prim.Number -> Prim.Number
167157
168− numXor :: Prelude.Number -> Prelude.Number -> Prelude.Number
158+ numXor :: Prim.Number -> Prim.Number -> Prim.Number
169159
170− numZshr :: Prelude.Number -> Prelude.Number -> Prelude.Number
160+ numZshr :: Prim.Number -> Prim.Number -> Prim.Number
171161
172− refEq :: forall a. Ref a -> Ref a -> Prelude.Boolean
162+ refEq :: forall a. Ref a -> Ref a -> Prim.Boolean
173163
174− refIneq :: forall a. Ref a -> Ref a -> Prelude.Boolean
164+ refIneq :: forall a. Ref a -> Ref a -> Prim.Boolean
175165
176− showNumber :: Prelude.Number -> Prelude.String
166+ showNumber :: Prim.Number -> Prim.String
177167
178− unsafeRefEq :: forall a. a -> a -> Prelude.Boolean
168+ unsafeRefEq :: forall a. a -> a -> Prim.Boolean
179169
180− unsafeRefIneq :: forall a. a -> a -> Prelude.Boolean
170+ unsafeRefIneq :: forall a. a -> a -> Prim.Boolean
181171
182172
183173## Module Monoid
@@ -194,7 +184,7 @@
194184
195185### Type Class Instances
196186
197− instance Monoid Prelude.String
187+ instance Monoid Prim.String
198188
199189
200190### Values
@@ -225,11 +215,11 @@
225215
226216 mapM :: forall b. forall a. forall m. (Monad (m)) => (a -> m b) -> [a] -> m [b]
227217
228− replicateM :: forall a. forall m. (Monad (m)) => Prelude.Number -> m a -> m [a]
218+ replicateM :: forall a. forall m. (Monad (m)) => Prim.Number -> m a -> m [a]
229219
230220 sequence :: forall a. forall m. (Monad (m)) => [m a] -> m [a]
231221
232− when :: forall m. (Monad (m)) => Prelude.Boolean -> m { } -> m { }
222+ when :: forall m. (Monad (m)) => Prim.Boolean -> m { } -> m { }
233223
234224
235225## Module Maybe
@@ -288,9 +278,9 @@
288278
289279### Type Class Instances
290280
291− instance Prelude.Alternative Prelude.Array
281+ instance Prelude.Alternative Prim.Array
292282
293− instance Prelude.Monad Prelude.Array
283+ instance Prelude.Monad Prim.Array
294284
295285 (Prelude.Show (a)) => instance Prelude.Show [a]
296286
@@ -299,15 +289,15 @@
299289
300290 (:) :: forall a. a -> [a] -> [a]
301291
302− all :: forall a. (a -> Prelude.Boolean) -> [a] -> Prelude.Boolean
292+ all :: forall a. (a -> Prim.Boolean) -> [a] -> Prim.Boolean
303293
304− any :: forall a. (a -> Prelude.Boolean) -> [a] -> Prelude.Boolean
294+ any :: forall a. (a -> Prim.Boolean) -> [a] -> Prim.Boolean
305295
306296 concat :: forall a. [a] -> [a] -> [a]
307297
308298 concatMap :: forall b. forall a. [a] -> (a -> [b]) -> [b]
309299
310− filter :: forall a. (a -> Prelude.Boolean) -> [a] -> [a]
300+ filter :: forall a. (a -> Prim.Boolean) -> [a] -> [a]
311301
312302 foldl :: forall b. forall a. (a -> b -> b) -> b -> [a] -> b
313303
@@ -317,23 +307,23 @@
317307
318308 headSafe :: forall a. [a] -> Maybe a
319309
320− indexOf :: forall a. [a] -> a -> Prelude.Number
310+ indexOf :: forall a. [a] -> a -> Prim.Number
321311
322− isEmpty :: forall a. [a] -> Prelude.Boolean
312+ isEmpty :: forall a. [a] -> Prim.Boolean
323313
324− joinS :: [Prelude.String] -> Prelude.String
314+ joinS :: [Prim.String] -> Prim.String
325315
326− joinWith :: [Prelude.String] -> Prelude.String -> Prelude.String
316+ joinWith :: [Prim.String] -> Prim.String -> Prim.String
327317
328− lastIndexOf :: forall a. [a] -> a -> Prelude.Number
318+ lastIndexOf :: forall a. [a] -> a -> Prim.Number
329319
330− length :: forall a. [a] -> Prelude.Number
320+ length :: forall a. [a] -> Prim.Number
331321
332322 map :: forall b. forall a. (a -> b) -> [a] -> [b]
333323
334324 push :: forall a. [a] -> a -> [a]
335325
336− range :: Prelude.Number -> Prelude.Number -> [Prelude.Number]
326+ range :: Prim.Number -> Prim.Number -> [Prim.Number]
337327
338328 reverse :: forall a. [a] -> [a]
339329
@@ -341,11 +331,11 @@
341331
342332 singleton :: forall a. a -> [a]
343333
344− slice :: forall a. Prelude.Number -> Prelude.Number -> [a] -> [a]
334+ slice :: forall a. Prim.Number -> Prim.Number -> [a] -> [a]
345335
346336 sort :: forall a. [a] -> [a]
347337
348− splice :: forall a. Prelude.Number -> Prelude.Number -> [a] -> [a] -> [a]
338+ splice :: forall a. Prim.Number -> Prim.Number -> [a] -> [a] -> [a]
349339
350340 tail :: forall a. [a] -> [a]
351341
@@ -393,31 +383,31 @@
393383
394384### Values
395385
396− charAt :: Prelude.Number -> Prelude.String -> Prelude.String
386+ charAt :: Prim.Number -> Prim.String -> Prim.String
397387
398− indexOfS :: Prelude.String -> Prelude.String -> Prelude.Number
388+ indexOfS :: Prim.String -> Prim.String -> Prim.Number
399389
400− lastIndexOfS :: Prelude.String -> Prelude.String -> Prelude.Number
390+ lastIndexOfS :: Prim.String -> Prim.String -> Prim.Number
401391
402− lengthS :: Prelude.String -> Prelude.Number
392+ lengthS :: Prim.String -> Prim.Number
403393
404− localeCompare :: Prelude.String -> Prelude.String -> Prelude.Number
394+ localeCompare :: Prim.String -> Prim.String -> Prim.Number
405395
406− replace :: Prelude.String -> Prelude.String -> Prelude.String -> Prelude.String
396+ replace :: Prim.String -> Prim.String -> Prim.String -> Prim.String
407397
408− sliceS :: Prelude.Number -> Prelude.Number -> Prelude.String -> Prelude.String
398+ sliceS :: Prim.Number -> Prim.Number -> Prim.String -> Prim.String
409399
410− split :: Prelude.String -> Prelude.String -> [Prelude.String]
400+ split :: Prim.String -> Prim.String -> [Prim.String]
411401
412− substr :: Prelude.Number -> Prelude.Number -> Prelude.String -> Prelude.String
402+ substr :: Prim.Number -> Prim.Number -> Prim.String -> Prim.String
413403
414− substring :: Prelude.Number -> Prelude.Number -> Prelude.String -> Prelude.String
404+ substring :: Prim.Number -> Prim.Number -> Prim.String -> Prim.String
415405
416− toLower :: Prelude.String -> Prelude.String
406+ toLower :: Prim.String -> Prim.String
417407
418− toUpper :: Prelude.String -> Prelude.String
408+ toUpper :: Prim.String -> Prim.String
419409
420− trim :: Prelude.String -> Prelude.String
410+ trim :: Prim.String -> Prim.String
421411
422412
423413## Module Regex
@@ -435,15 +425,15 @@
435425
436426### Values
437427
438− match :: Regex -> Prelude.String -> [Prelude.String]
428+ match :: Regex -> Prim.String -> [Prim.String]
439429
440− regex :: Prelude.String -> Prelude.String -> Regex
430+ regex :: Prim.String -> Prim.String -> Regex
441431
442− replaceR :: Regex -> Prelude.String -> Prelude.String -> Prelude.String
432+ replaceR :: Regex -> Prim.String -> Prim.String -> Prim.String
443433
444− search :: Regex -> Prelude.String -> Prelude.Number
434+ search :: Regex -> Prim.String -> Prim.Number
445435
446− test :: Regex -> Prelude.String -> Prelude.Boolean
436+ test :: Regex -> Prim.String -> Prim.Boolean
447437
448438
449439## Module Global
@@ -459,31 +449,31 @@
459449
460450### Values
461451
462− decodeURI :: Prelude.String -> Prelude.String
452+ decodeURI :: Prim.String -> Prim.String
463453
464− decodeURIComponent :: Prelude.String -> Prelude.String
454+ decodeURIComponent :: Prim.String -> Prim.String
465455
466− encodeURI :: Prelude.String -> Prelude.String
456+ encodeURI :: Prim.String -> Prim.String
467457
468− encodeURIComponent :: Prelude.String -> Prelude.String
458+ encodeURIComponent :: Prim.String -> Prim.String
469459
470− infinity :: Prelude.Number
460+ infinity :: Prim.Number
471461
472− isFinite :: Prelude.Number -> Prelude.Boolean
462+ isFinite :: Prim.Number -> Prim.Boolean
473463
474− isNaN :: Prelude.Number -> Prelude.Boolean
464+ isNaN :: Prim.Number -> Prim.Boolean
475465
476− nan :: Prelude.Number
466+ nan :: Prim.Number
477467
478− parseFloat :: Prelude.String -> Prelude.Number
468+ parseFloat :: Prim.String -> Prim.Number
479469
480− parseInt :: Prelude.String -> Prelude.Number
470+ parseInt :: Prim.String -> Prim.Number
481471
482− toExponential :: Prelude.Number -> Prelude.String
472+ toExponential :: Prim.Number -> Prim.String
483473
484− toFixed :: Prelude.Number -> Prelude.Number -> Prelude.String
474+ toFixed :: Prim.Number -> Prim.Number -> Prim.String
485475
486− toPrecision :: Prelude.Number -> Prelude.Number -> Prelude.String
476+ toPrecision :: Prim.Number -> Prim.Number -> Prim.String
487477
488478
489479## Module Math
@@ -499,39 +489,39 @@
499489
500490### Values
501491
502− abs :: Prelude.Number -> Prelude.Number
492+ abs :: Prim.Number -> Prim.Number
503493
504− aceil :: Prelude.Number -> Prelude.Number
494+ aceil :: Prim.Number -> Prim.Number
505495
506− acos :: Prelude.Number -> Prelude.Number
496+ acos :: Prim.Number -> Prim.Number
507497
508− asin :: Prelude.Number -> Prelude.Number
498+ asin :: Prim.Number -> Prim.Number
509499
510− atan :: Prelude.Number -> Prelude.Number
500+ atan :: Prim.Number -> Prim.Number
511501
512− atan2 :: Prelude.Number -> Prelude.Number -> Prelude.Number
502+ atan2 :: Prim.Number -> Prim.Number -> Prim.Number
513503
514− cos :: Prelude.Number -> Prelude.Number
504+ cos :: Prim.Number -> Prim.Number
515505
516− exp :: Prelude.Number -> Prelude.Number
506+ exp :: Prim.Number -> Prim.Number
517507
518− floor :: Prelude.Number -> Prelude.Number
508+ floor :: Prim.Number -> Prim.Number
519509
520− log :: Prelude.Number -> Prelude.Number
510+ log :: Prim.Number -> Prim.Number
521511
522− max :: Prelude.Number -> Prelude.Number
512+ max :: Prim.Number -> Prim.Number
523513
524− min :: Prelude.Number -> Prelude.Number
514+ min :: Prim.Number -> Prim.Number
525515
526− pow :: Prelude.Number -> Prelude.Number
516+ pow :: Prim.Number -> Prim.Number
527517
528− round :: Prelude.Number -> Prelude.Number
518+ round :: Prim.Number -> Prim.Number
529519
530− sin :: Prelude.Number -> Prelude.Number
520+ sin :: Prim.Number -> Prim.Number
531521
532− sqrt :: Prelude.Number -> Prelude.Number
522+ sqrt :: Prim.Number -> Prim.Number
533523
534− tan :: Prelude.Number -> Prelude.Number
524+ tan :: Prim.Number -> Prim.Number
535525
536526
537527## Module Eff
@@ -555,7 +545,7 @@
555545
556546 bindEff :: forall b. forall a. forall e. Eff e a -> (a -> Eff e b) -> Eff e b
557547
558− forE :: forall e. Prelude.Number -> Prelude.Number -> (Prelude.Number -> Eff e { }) -> Eff e { }
548+ forE :: forall e. Prim.Number -> Prim.Number -> (Prim.Number -> Eff e { }) -> Eff e { }
559549
560550 foreachE :: forall a. forall e. [a] -> (a -> Eff e { }) -> Eff e { }
561551
@@ -563,9 +553,9 @@
563553
564554 runPure :: forall a. Pure a -> a
565555
566− untilE :: forall e. Eff e Prelude.Boolean -> Eff e { }
556+ untilE :: forall e. Eff e Prim.Boolean -> Eff e { }
567557
568− whileE :: forall e. Eff e Prelude.Boolean -> Eff e { } -> Eff e { }
558+ whileE :: forall e. Eff e Prim.Boolean -> Eff e { } -> Eff e { }
569559
570560
571561## Module Random
@@ -583,7 +573,7 @@
583573
584574### Values
585575
586− random :: forall e. Eff random :: Random | e Prelude.Number
576+ random :: forall e. Eff random :: Random | e Prim.Number
587577
588578
589579## Module Errors
@@ -649,7 +639,7 @@
649639
650640 print :: forall r. forall a. (Prelude.Show (a)) => a -> Eff trace :: Trace | r { }
651641
652− trace :: forall r. Prelude.String -> Eff trace :: Trace | r { }
642+ trace :: forall r. Prim.String -> Eff trace :: Trace | r { }
653643
654644
655645## Module ST