@@ -62,7 +62,7 @@ Type Classes
62 (<$>) :: forall b. forall a. (a -> b) -> f a -> f b
62 (<$>) :: forall b. forall a. (a -> b) -> f a -> f b
64 class Monad m where
64 class Monad m where
65− ret :: forall a. a -> m a
65+ $return :: forall a. a -> m a
66 (>>=) :: forall b. forall a. m a -> (a -> m b) -> m b
66 (>>=) :: forall b. forall a. m a -> (a -> m b) -> m b
68 class Num a where
68 class Num a where
@@ -129,6 +129,8 @@ Values
132+ $const :: forall b. forall a. a -> b -> a
132 (!!) :: forall a. [a] -> Prelude.Number -> a
134 (!!) :: forall a. [a] -> Prelude.Number -> a
134 (#) :: forall b. forall a. a -> (a -> b) -> b
136 (#) :: forall b. forall a. a -> (a -> b) -> b
@@ -145,8 +147,6 @@ Values
146 flip :: forall c. forall b. forall a. (a -> b -> c) -> b -> a -> c
148 flip :: forall c. forall b. forall a. (a -> b -> c) -> b -> a -> c
148− konst :: forall b. forall a. a -> b -> a
150 numAdd :: Prelude.Number -> Prelude.Number -> Prelude.Number
150 numAdd :: Prelude.Number -> Prelude.Number -> Prelude.Number
152 numAnd :: Prelude.Number -> Prelude.Number -> Prelude.Number
152 numAnd :: Prelude.Number -> Prelude.Number -> Prelude.Number