Parameter Make.1-B
include Functor.S
include Functor.Seed
type 'a t
The principle type.
The type constructor
t
is the mapping of objects taking every type'a
to a type'a t
.
val map : f:('a -> 'b) -> 'a t -> 'b t
map ~f
maps the functionf : 'a -> 'b
to a function'f T : 'a T -> 'b T
.As an example, if
T (x : u) : u t
thenmap ~(f:u -> v) (T x)
isT (f x) : v t
. As a result,map
is often thought of as applyingf
"in"T
.The function
map
is the mapping of arrows, taking every arrow'a -> 'b
to an arrow'a t -> 'b t
.