| 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.
|