Uses of Package
com.jnape.palatable.lambda.functor

  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    A dually-parametric functor that maps covariantly over both parameters.
    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
    An interface for the generic covariant functorial operation map over some parameter A.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    A dually-parametric functor that maps covariantly over both parameters.
    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
    An interface for the generic covariant functorial operation map over some parameter A.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    A dually-parametric functor that maps covariantly over both parameters.
    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
    An interface for the generic covariant functorial operation map over some parameter A.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    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
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    A dually-parametric functor that maps covariantly over both parameters.
    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
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    A dually-parametric functor that maps covariantly over both parameters.
    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
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    A dually-parametric functor that maps covariantly over both parameters.
    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
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    An interface for the generic covariant functorial operation map over some parameter A.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    An interface for the generic covariant functorial operation map over some parameter A.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    An interface for the generic covariant functorial operation map over some parameter A.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    A dually-parametric functor that maps covariantly over both parameters.
    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
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    Profunctor strength in the cartesian product sense: p a b -> p (c ^ a) (c ^ b) for any type c.
    Profunctor strength in the cocartesian coproduct sense: p a b -> p (c v a) (c v b) for any type c.
    The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B) over its parameter.
    An interface for the generic covariant functorial operation map over some parameter A.
    A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
  • Class
    Description
    An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.
    An interface for the generic covariant functorial operation map over some parameter A.