Package com.jnape.palatable.lambda.functor
package com.jnape.palatable.lambda.functor
-
InterfacesClassDescriptionApplicative<A,
App extends Applicative<?, App>> An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.A dually-parametric functor that maps covariantly over both parameters.BoundedBifunctor<A extends ContraA,B extends ContraB, ContraA, ContraB, BF extends BoundedBifunctor<?, ?, ?, ?, BF>> ABifunctor
that has both parameter types upper bounded; that is, neither parameters can be mapped to a value that is not covariant to their respective upper boundsCocartesian<A,B, P extends Cocartesian<?, ?, P>> Contravariant<A,C extends Contravariant<?, C>> The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor<A,B, PF extends Profunctor<?, ?, PF>> A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.