LanguageExt.Core

LanguageExt.Core ► Traits ► Divisible

Contents

class Divisible Source #

A Divisible contravariant functor is the contravariant analogue of Applicative.

Continuing the intuition that 'Contravariant' functors (Cofunctor) consume input, a 'Divisible' contravariant functor also has the ability to be composed "beside" another contravariant functor.

Parameters

type F

Self referring type

Methods

method K<F, A> divide <F, A, B, C> (Func<A, (B Left, C Right)> f, K<F, B> fb, K<F, C> fc) Source #

where F : Divisible<F>

If one can handle split a into (b, c), as well as handle bs and cs, then one can handle as

method K<F, A> conquer <F, A> () Source #

where F : Divisible<F>

Conquer acts as an identity for combining Divisible functors.

class Prelude Source #

A Divisible contravariant functor is the contravariant analogue of Applicative.

Continuing the intuition that 'Contravariant' functors (Cofunctor) consume input, a 'Divisible' contravariant functor also has the ability to be composed "beside" another contravariant functor.

Parameters

type F

Self referring type

Methods

method K<F, A> divide <F, A, B, C> (Func<A, (B Left, C Right)> f, K<F, B> fb, K<F, C> fc) Source #

where F : Divisible<F>

If one can handle split a into (b, c), as well as handle bs and cs, then one can handle as

method K<F, A> conquer <F, A> () Source #

where F : Divisible<F>

Conquer acts as an identity for combining Divisible functors.

interface Divisible <F> Source #

A Divisible contravariant functor is the contravariant analogue of Applicative.

Continuing the intuition that 'Contravariant' functors (Cofunctor) consume input, a 'Divisible' contravariant functor also has the ability to be composed "beside" another contravariant functor.

Parameters

type F

Self referring type

Methods

method K<F, A> Divide <A, B, C> (Func<A, (B Left, C Right)> f, K<F, B> fb, K<F, C> fc) Source #

If one can handle split a into (b, c), as well as handle bs and cs, then one can handle as

method K<F, A> Conquer <A> () Source #

Conquer acts as an identity for combining Divisible functors.