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 . |
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 . |
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 . |
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.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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.
|
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 . |
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 . |
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 . |
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 |
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.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 |
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 operation
map over some parameter A . |
Profunctor
A dually-parametric functor that maps contravariantly over the left parameter and covariantly over the right.
|
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 . |