Alt type class identifies an associative operation on a type
constructor. It is similar to
Semigroup, except that it applies to
types of kind
* -> *, like
List, rather than concrete types
Alt instances are required to satisfy the following laws:
(x <|> y) <|> z == x <|> (y <|> z)
f <$> (x <|> y) == (f <$> x) <|> (f <$> y)
For example, the
) type is an instance of
(<|>) is defined to be concatenation.
alt :: forall a. f a -> f a -> f a
Re-exports from Data.
class Functor f where
Functor is a type constructor which supports a mapping operation
map can be used to turn functions
a -> b into functions
f a -> f b whose argument and return types use the type constructor
to represent some computational context.
Instances must satisfy the following laws:
map id = id
map (f <<< g) = map f <<< map g
map :: forall b a. (a -> b) -> f a -> f b
void function is used to ignore the type wrapped by a
Functor, replacing it with
Unit and keeping only the type
information provided by the type constructor itself.
void is often useful when using
do notation to change the return type
of a monadic computation:
main = forE 1 10 \n -> void do print n print (n * n)