Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
An applicative functor is an abstract container which is mapable and if it has functions in it the functios can be applied.
val return : 'a -> 'a t
return a
makes an applicative container containing the value a
.
map f m
extracts the value a
from the abstract container and returns a container containing f a
.