Uses of Package
com.jnape.palatable.lambda.functor
-
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.adt Class Description Applicative 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 dually-parametric functor that maps covariantly over both parameters.BoundedBifunctor ABifunctor
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 boundsFunctor An interface for the generic covariant functorial operationmap
over some parameterA
. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.adt.choice Class Description Applicative 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 dually-parametric functor that maps covariantly over both parameters.BoundedBifunctor ABifunctor
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 boundsFunctor An interface for the generic covariant functorial operationmap
over some parameterA
. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.adt.hlist Class Description Applicative 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 dually-parametric functor that maps covariantly over both parameters.BoundedBifunctor ABifunctor
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 boundsFunctor An interface for the generic covariant functorial operationmap
over some parameterA
. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.adt.hmap Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functions Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functions.builtin.fn1 Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functions.builtin.fn2 Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.BoundedBifunctor ABifunctor
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 boundsCartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functions.builtin.fn3 Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functions.builtin.fn4 Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functions.builtin.fn5 Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functions.builtin.fn6 Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functions.builtin.fn7 Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functions.builtin.fn8 Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functions.recursion Class Description Applicative 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 dually-parametric functor that maps covariantly over both parameters.BoundedBifunctor ABifunctor
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 boundsCartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functions.specialized Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functor Class Description Applicative 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 dually-parametric functor that maps covariantly over both parameters.BoundedBifunctor ABifunctor
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 boundsCartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.functor.builtin Class Description Applicative 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 dually-parametric functor that maps covariantly over both parameters.BoundedBifunctor ABifunctor
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 boundsCocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.io Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Functor An interface for the generic covariant functorial operationmap
over some parameterA
. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.monad Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Functor An interface for the generic covariant functorial operationmap
over some parameterA
. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.monad.transformer Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Functor An interface for the generic covariant functorial operationmap
over some parameterA
. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.monad.transformer.builtin Class Description Applicative 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 dually-parametric functor that maps covariantly over both parameters.BoundedBifunctor ABifunctor
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 boundsCartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.monoid Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.monoid.builtin Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.optics Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.optics.functions Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.semigroup Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.semigroup.builtin Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Cartesian Cocartesian Contravariant The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.Profunctor A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right. -
Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.traversable Class Description Applicative An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.Functor An interface for the generic covariant functorial operationmap
over some parameterA
.