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