IsomorphismAlign

Alias for map.

The composition of Functor F and Bifunctor G, [x, y]F[G[x, y]], is a Bifunctor

The composition of Functors F and G, [x]F[G[x]], is a Functor

Twin all As in fa.

Pair all As in fa with the result of function application.

The composition of Functor F and Contravariant G, [x]F[G[x]], is contravariant.

Lift f into 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

Inject a to the left of Bs in f.

Inject b to the right of As in f.

Empty fa of meaningful pure values, preserving its structure.

Functors are covariant by nature, so we can treat an F[A] as an F[B] if A is a subtype of B.

Converts ma to a value of type F[B] using the provided bijection.

Converts ma to a value of type F[B] using the provided isomorphism.