Lift f into F and apply to F[A].
Lift f into F and apply to F[A].
Alias for map.
Alias for map.
Also known as duplicate
Also known as duplicate
The composition of Functors F and G, [x]F[G[x]], is a Functor
The composition of Functors F and G, [x]F[G[x]], is a Functor
Twin all As in fa.
Twin all As in fa.
Pair all As in fa with the result of function application.
Pair all As in fa with the result of function application.
Lift f into F.
Lift f into F.
Lift apply(a), and apply the result to f.
Lift apply(a), and apply the result to f.
The product of Functors F and G, [x](F[x], G[x]]), is a Functor
The product of Functors F and G, [x](F[x], G[x]]), is a Functor
Inject a to the left of Bs in f.
Inject a to the left of Bs in f.
Inject b to the right of As in f.
Inject b to the right of As in f.
Empty fa of meaningful pure values, preserving its
structure.
Empty fa of meaningful pure values, preserving its
structure.
Define
Cojoinin terms ofCobind