The Functor is a type-class providing the map operation that allows lifting an f function into the functor context and applying it.
Functor
map
f
The name is short for "covariant functor".
Instances must obey these laws:
F.map(x => x, a) <-> a
F.map(x => f(g(x)), a) <-> F.map(f, F.map(g, a))
Equivalent with the Functor type-class in the static-land specification.
Generated using TypeDoc
The
Functor
is a type-class providing themap
operation that allows lifting anf
function into the functor context and applying it.The name is short for "covariant functor".
Instances must obey these laws:
F.map(x => x, a) <-> a
F.map(x => f(g(x)), a) <-> F.map(f, F.map(g, a))
Equivalent with the
Functor
type-class in the static-land specification.