Contents
class CofunctorExtensions Source #
Methods
method K<F, A> Contramap <F, A, B> (this K<F, B> fb, Func<A, B> f) Source #
The class of contravariant functors.
Whereas one can think of a Functor as containing or producing values, a contravariant functor is a functor that
can be thought of as consuming values.
Contravariant functors are referred to colloquially as Cofunctor, even though the dual of a Functor is just
a Functor.
Methods
method K<F, A> contraMap <F, A, B> (K<F, B> fb, Func<A, B> f) Source #
The class of contravariant functors.
Whereas one can think of a Functor as containing or producing values, a contravariant functor is a functor that
can be thought of as consuming values.
Contravariant functors are referred to colloquially as Cofunctor, even though the dual of a Functor is just
a Functor.
Methods
method K<F, A> contraMap <F, A, B> (K<F, B> fb, Func<A, B> f) Source #
The class of contravariant functors.
Whereas one can think of a Functor as containing or producing values, a contravariant functor is a functor that
can be thought of as consuming values.
Contravariant functors are referred to colloquially as Cofunctor, even though the dual of a Functor is just
a Functor.
interface Cofunctor <F> Source #
The class of contravariant functors.
Whereas one can think of a Functor as containing or producing values, a contravariant functor is a functor that
can be thought of as consuming values.
Contravariant functors are referred to colloquially as Cofunctor, even though the dual of a Functor is just
a Functor.
Parameters
| type | F | Self referring type |