@@ -139,6 +139,8 @@ Values
139139
140140 flip :: forall c. forall b. forall a. (a -> b -> c) -> b -> a -> c
141141
142+ liftRef :: forall b. forall a. (a -> a -> b) -> Ref a -> Ref a -> b
143+
142144 numAdd :: Prim.Number -> Prim.Number -> Prim.Number
143145
144146 numAnd :: Prim.Number -> Prim.Number -> Prim.Number
@@ -185,8 +187,8 @@ Values
185187
186188 unsafeRefIneq :: forall a. a -> a -> Prim.Boolean
187189
188−Module Monoid
189−-------------
190+Module Data.Monoid
191+------------------
190192
191193Types
192194~~~~~
@@ -216,8 +218,8 @@ Values
216218
217219 mconcat :: forall m. (Monoid (m)) => [m] -> m
218220
219−Module Monad
220−------------
221+Module Control.Monad
222+--------------------
221223
222224Types
223225~~~~~
@@ -249,8 +251,8 @@ Values
249251
250252 when :: forall m. (Monad (m)) => Prim.Boolean -> m { } -> m { }
251253
252−Module Maybe
253−------------
254+Module Data.Maybe
255+-----------------
254256
255257Types
256258~~~~~
@@ -286,8 +288,8 @@ Values
286288
287289 maybe :: forall b. forall a. b -> (a -> b) -> Maybe a -> b
288290
289−Module Either
290−-------------
291+Module Data.Either
292+------------------
291293
292294Types
293295~~~~~
@@ -321,8 +323,8 @@ Values
321323
322324 either :: forall c. forall b. forall a. (a -> c) -> (b -> c) -> Either a b -> c
323325
324−Module Arrays
325−-------------
326+Module Data.Array
327+-----------------
326328
327329Types
328330~~~~~
@@ -360,13 +362,13 @@ Values
360362
361363 filter :: forall a. (a -> Prim.Boolean) -> [a] -> [a]
362364
365+ find :: forall a. (a -> Prim.Boolean) -> [a] -> Maybe a
366+
363367 foldl :: forall b. forall a. (a -> b -> b) -> b -> [a] -> b
364368
365369 foldr :: forall b. forall a. (a -> b -> a) -> a -> [b] -> a
366370
367− head :: forall a. [a] -> a
368−
369− headSafe :: forall a. [a] -> Maybe a
371+ head :: forall a. [a] -> Maybe a
370372
371373 indexOf :: forall a. [a] -> a -> Prim.Number
372374
@@ -398,14 +400,33 @@ Values
398400
399401 splice :: forall a. Prim.Number -> Prim.Number -> [a] -> [a] -> [a]
400402
401− tail :: forall a. [a] -> [a]
402−
403− tailSafe :: forall a. [a] -> Maybe [a]
403+ tail :: forall a. [a] -> Maybe [a]
404404
405405 zipWith :: forall c. forall b. forall a. (a -> b -> c) -> [a] -> [b] -> [c]
406406
407−Module Tuples
408−-------------
407+Module Data.Array.Unsafe
408+------------------------
409+
410+Types
411+~~~~~
412+
413+Type Classes
414+~~~~~~~~~~~~
415+
416+Type Class Instances
417+~~~~~~~~~~~~~~~~~~~~
418+
419+Values
420+~~~~~~
421+
422+::
423+
424+ head :: forall a. [a] -> a
425+
426+ tail :: forall a. [a] -> [a]
427+
428+Module Data.Tuple
429+-----------------
409430
410431Types
411432~~~~~
@@ -438,8 +459,8 @@ Values
438459
439460 zip :: forall b. forall a. [a] -> [b] -> [Tuple a b]
440461
441−Module String
442−-------------
462+Module Data.String
463+------------------
443464
444465Types
445466~~~~~
@@ -481,8 +502,8 @@ Values
481502
482503 trim :: Prim.String -> Prim.String
483504
484−Module Regex
485−------------
505+Module Data.String.Regex
506+------------------------
486507
487508Types
488509~~~~~
@@ -586,16 +607,28 @@ Values
586607
587608 cos :: Prim.Number -> Prim.Number
588609
610+ e :: Prim.Number
611+
589612 exp :: Prim.Number -> Prim.Number
590613
591614 floor :: Prim.Number -> Prim.Number
592615
616+ ln10 :: Prim.Number
617+
618+ ln2 :: Prim.Number
619+
593620 log :: Prim.Number -> Prim.Number
594621
622+ log10e :: Prim.Number
623+
624+ log2e :: Prim.Number
625+
595626 max :: Prim.Number -> Prim.Number
596627
597628 min :: Prim.Number -> Prim.Number
598629
630+ pi :: Prim.Number
631+
599632 pow :: Prim.Number -> Prim.Number
600633
601634 round :: Prim.Number -> Prim.Number
@@ -604,10 +637,14 @@ Values
604637
605638 sqrt :: Prim.Number -> Prim.Number
606639
640+ sqrt1_2 :: Prim.Number
641+
642+ sqrt2 :: Prim.Number
643+
607644 tan :: Prim.Number -> Prim.Number
608645
609−Module Eff
610−----------
646+Module Control.Monad.Eff
647+------------------------
611648
612649Types
613650~~~~~
@@ -645,7 +682,7 @@ Values
645682
646683 untilE :: forall e. Eff e Prim.Boolean -> Eff e { }
647684
648− whileE :: forall e. Eff e Prim.Boolean -> Eff e { } -> Eff e { }
685+ whileE :: forall a. forall e. Eff e Prim.Boolean -> Eff e a -> Eff e { }
649686
650687Module Random
651688-------------
@@ -668,10 +705,10 @@ Values
668705
669706::
670707
671− random :: forall e. Eff random :: Random | e Prim.Number
708+ random :: forall e. Eff (random :: Random | e) Prim.Number
672709
673−Module Errors
674−-------------
710+Module Control.Monad.Error
711+--------------------------
675712
676713Types
677714~~~~~
@@ -691,12 +728,12 @@ Values
691728
692729::
693730
694− catchError :: forall a. forall r. forall e. (e -> Eff r a) -> Eff err :: Error e | r a -> Eff r a
731+ catchError :: forall a. forall r. forall e. (e -> Eff r a) -> Eff (err :: Error e | r) a -> Eff r a
695732
696− throwError :: forall r. forall e. forall a. e -> Eff err :: Error e | r a
733+ throwError :: forall r. forall e. forall a. e -> Eff (err :: Error e | r) a
697734
698−Module IORef
699−------------
735+Module Data.IORef
736+-----------------
700737
701738Types
702739~~~~~
@@ -718,18 +755,18 @@ Values
718755
719756::
720757
721− modifyIORef :: forall r. forall s. IORef s -> (s -> s) -> Eff ref :: Ref | r { }
758+ modifyIORef :: forall r. forall s. IORef s -> (s -> s) -> Eff (ref :: Ref | r) { }
722759
723− newIORef :: forall r. forall s. s -> Eff ref :: Ref | r (IORef s)
760+ newIORef :: forall r. forall s. s -> Eff (ref :: Ref | r) (IORef s)
724761
725− readIORef :: forall r. forall s. IORef s -> Eff ref :: Ref | r s
762+ readIORef :: forall r. forall s. IORef s -> Eff (ref :: Ref | r) s
726763
727− unsafeRunIORef :: forall a. forall eff. Eff ref :: Ref | eff a -> Eff eff a
764+ unsafeRunIORef :: forall a. forall eff. Eff (ref :: Ref | eff) a -> Eff eff a
728765
729− writeIORef :: forall r. forall s. IORef s -> s -> Eff ref :: Ref | r { }
766+ writeIORef :: forall r. forall s. IORef s -> s -> Eff (ref :: Ref | r) { }
730767
731−Module Trace
732−------------
768+Module Debug.Trace
769+------------------
733770
734771Types
735772~~~~~
@@ -749,12 +786,12 @@ Values
749786
750787::
751788
752− print :: forall r. forall a. (Prelude.Show (a)) => a -> Eff trace :: Trace | r { }
789+ print :: forall r. forall a. (Prelude.Show (a)) => a -> Eff (trace :: Trace | r) { }
753790
754− trace :: forall r. Prim.String -> Eff trace :: Trace | r { }
791+ trace :: forall r. Prim.String -> Eff (trace :: Trace | r) { }
755792
756−Module ST
757−---------
793+Module Control.Monad.ST
794+-----------------------
758795
759796Types
760797~~~~~
@@ -763,6 +800,8 @@ Types
763800
764801 data ST :: * -> !
765802
803+ data STArray :: * -> * -> *
804+
766805 data STRef :: * -> * -> *
767806
768807Type Classes
@@ -776,13 +815,42 @@ Values
776815
777816::
778817
779− modifySTRef :: forall r. forall h. forall a. STRef h a -> (a -> a) -> Eff st :: ST h | r { }
818+ modifySTRef :: forall r. forall h. forall a. STRef h a -> (a -> a) -> Eff (st :: ST h | r) a
819+
820+ newSTArray :: forall r. forall h. forall a. Prim.Number -> a -> Eff (st :: ST h | r) (STArray h a)
821+
822+ newSTRef :: forall r. forall h. forall a. a -> Eff (st :: ST h | r) (STRef h a)
823+
824+ peekSTArray :: forall r. forall h. forall a. STArray h a -> Eff (st :: ST h | r) a
825+
826+ pokeSTArray :: forall r. forall h. forall a. STArray h a -> Prim.Number -> a -> Eff (st :: ST h | r) a
827+
828+ readSTRef :: forall r. forall h. forall a. STRef h a -> Eff (st :: ST h | r) a
780829
781− newSTRef :: forall r. forall h. forall a. a -> Eff st :: ST h | r (STRef h a)
830+ runST :: forall r. forall a. forall h. Eff (st :: ST h | r) a -> Eff r a
782831
783− readSTRef :: forall r. forall h. forall a. STRef h a -> Eff st :: ST h | r a
832+ runSTArray :: forall r. forall a. forall h. Eff (st :: ST h | r) (STArray h a) -> Eff r [a]
784833
785− runST :: forall r. forall a. forall h. Eff st :: ST h | r a -> Eff r a
834+ writeSTRef :: forall r. forall h. forall a. STRef h a -> a -> Eff (st :: ST h | r) a
786835
787− writeSTRef :: forall r. forall h. forall a. STRef h a -> a -> Eff st :: ST h | r { }
836+Module Data.Enum
837+----------------
838+
839+Types
840+~~~~~
841+
842+Type Classes
843+~~~~~~~~~~~~
844+
845+::
846+
847+ class Enum a where
848+ toEnum :: Prim.Number -> Maybe a
849+ fromEnum :: a -> Prim.Number
850+
851+Type Class Instances
852+~~~~~~~~~~~~~~~~~~~~
853+
854+Values
855+~~~~~~
788856