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

- Packages that use com.jnape.palatable.lambda.functor
  Package | Description
  --- | ---
  com.jnape.palatable.lambda.adt |
  com.jnape.palatable.lambda.adt.choice |
  com.jnape.palatable.lambda.adt.hlist |
  com.jnape.palatable.lambda.adt.hmap |
  com.jnape.palatable.lambda.functions |
  com.jnape.palatable.lambda.functions.builtin.fn1 |
  com.jnape.palatable.lambda.functions.builtin.fn2 |
  com.jnape.palatable.lambda.functions.builtin.fn3 |
  com.jnape.palatable.lambda.functions.builtin.fn4 |
  com.jnape.palatable.lambda.functions.builtin.fn5 |
  com.jnape.palatable.lambda.functions.builtin.fn6 |
  com.jnape.palatable.lambda.functions.builtin.fn7 |
  com.jnape.palatable.lambda.functions.builtin.fn8 |
  com.jnape.palatable.lambda.functions.recursion |
  com.jnape.palatable.lambda.functions.specialized |
  com.jnape.palatable.lambda.functor |
  com.jnape.palatable.lambda.functor.builtin |
  com.jnape.palatable.lambda.io |
  com.jnape.palatable.lambda.monad |
  com.jnape.palatable.lambda.monad.transformer |
  com.jnape.palatable.lambda.monad.transformer.builtin |
  com.jnape.palatable.lambda.monoid |
  com.jnape.palatable.lambda.monoid.builtin |
  com.jnape.palatable.lambda.optics |
  com.jnape.palatable.lambda.optics.functions |
  com.jnape.palatable.lambda.semigroup |
  com.jnape.palatable.lambda.semigroup.builtin |
  com.jnape.palatable.lambda.traversable |

- Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.adt
  Class and 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 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
  Functor An interface for the generic covariant functorial operation `map` over some parameter `A`.

- Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.adt.choice
  Class and 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 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
  Functor An interface for the generic covariant functorial operation `map` over some parameter `A`.

- Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.adt.hlist
  Class and 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 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
  Functor An interface for the generic covariant functorial operation `map` over some parameter `A`.

- Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.adt.hmap
  Class and 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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 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
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 operation `map` over some parameter `A`.

- Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.monad
  Class and 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 operation `map` over some parameter `A`.

- Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.monad.transformer
  Class and 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 operation `map` over some parameter `A`.

- Classes in com.jnape.palatable.lambda.functor used by com.jnape.palatable.lambda.monad.transformer.builtin
  Class and 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 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 `Profunctor` strength in the cartesian product sense: `p a b -> p (c ^ a) (c ^ b)` for any type `c`.
  Cocartesian `Profunctor` strength in the cocartesian coproduct sense: `p a b -> p (c v a) (c v b)` for any type `c`.
  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 operation `map` over some parameter `A`.
  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 and 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 operation `map` over some parameter `A`.