IsomorphismApply

Flipped variant of ap.

Alias for map.

Add a unit to any Apply to form an Applicative.

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

The composition of Applys F and G, [x]F[G[x]], is a Apply

Combine fa and fb according to Apply[F] with a function that discards the A(s)

Combine fa and fb according to Apply[F] with a function that discards the B(s)

An Apply for F in which effects happen in the opposite order.

Repeats an applicative action infinitely

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

The product of Applys F and G, [x](F[x], G[x]]), is a Apply

Inject a to the left of Bs in f.

Inject b to the right of As in f.

Unfold seed to the right and combine effects left-to-right, using the given Reducer to combine values. Implementations may override this method to not unfold more than is necessary to determine the result.

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.