Contents
class CofunctorExtensions Source #
Methods
method K<F, A> Comap <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.
method K<F, A> Comap <F, A, B> (this Func<A, B> f, K<F, B> fb) 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> (Func<A, B> f, K<F, B> fb) 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> (Func<A, B> f, K<F, B> fb) 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 |