Package com.jnape.palatable.lambda.functor

Interface Summary

Interface	Description
Applicative<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.
Bifunctor<A,B,BF extends Bifunctor<?,?,BF>>	A dually-parametric functor that maps covariantly over both parameters.
BoundedBifunctor<A extends ContraA,B extends ContraB,ContraA,ContraB,BF extends BoundedBifunctor<?,?,?,?,BF>>	A Bifunctor 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 bounds
Cartesian<A,B,P extends Cartesian<?,?,P>>	Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
Cocartesian<A,B,P extends Cocartesian<?,?,P>>	Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
Contravariant<A,C extends Contravariant<?,C>>	The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
Functor<A,F extends Functor<?,F>>	An interface for the generic covariant functorial operation map over some parameter A.
Profunctor<A,B,PF extends Profunctor<?,?,PF>>	A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.