Applies the given function in context to the given values in context, returning the result in the context.
Applies the given function in context to the given values in context, returning the result in the context.
Transforms the given function into another function where each parameter type and the result type are lifted into a context.
Transforms the given function into another function where each parameter type and the result type are lifted into a context.
Transforms the given function into another function where the parameter and result types are lifted into a context.
Applies the given function to the given value in context, returning the result in the context.
Applies the given function to the given value in context, returning the result in the context.
Applies the given function to the given values in context, returning the result in the context.
Applies the given function to the given values in context, returning the result in the context.
Transforms three contexts containing values into a context containing a tuple of the three corresponding values.
Transforms two contexts containing values into a context containing a tuple of the two corresponding values.
Typeclass trait representing an algebraic structure that is a
The interchange law states that given a value,Functor[Context]
(i.e., it declares amap
method that obeys the functor laws) augmented byinsert
andapplying
methods that obey laws of homomorphism and interchange. The homomorphism law states that given a value,a
, of typeA
and a function,f
, of typeA => B
(and implicitApplicative.adapters
imported):a
, of typeA
and a function,cf
, of typeContext[A => B]
(and implicitApplicative.adapters
imported):