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.