Package com.jnape.palatable.lambda.functor


package com.jnape.palatable.lambda.functor
  • Interfaces
    Class
    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.