LanguageExt.Core

LanguageExt.Core Traits Bifunctor

Contents

class BifunctorExtensions Source #

Functor module

Methods

method K<F, Q, B> BiMap <F, P, A, Q, B> (this K<F, P, A> fab, Func<P, Q> First, Func<A, B> Second) Source #

where F : Bifunctor<F>

Functor bimap. Maps all contained values of A to values of X and every value of B to Y

Parameters

type F

Bifunctor trait

param First

Mapping function

param Second

Mapping function

param fab

Bifunctor structure

returns

Mapped bifunctor

method K<F, Q, A> First <F, P, A, Q> (this K<F, P, A> fab, Func<P, Q> first) Source #

where F : Bifunctor<F>

Map covariantly over the first argument.

Parameters

type F

Bifunctor trait

param first

Mapping function

param fab

Bifunctor structure

returns

Mapped bifunctor

method K<F, P, B> Second <F, P, A, B> (this K<F, P, A> fab, Func<A, B> second) Source #

where F : Bifunctor<F>

Map covariantly over the second argument.

Parameters

type F

Bifunctor trait

param second

Mapping function

param fab

Bifunctor structure

returns

Mapped bifunctor

class Bifunctor Source #

Functor module

Methods

method K<F, Q, B> bimap <F, P, A, Q, B> (Func<P, Q> first, Func<A, B> second, K<F, P, A> fab) Source #

where F : Bifunctor<F>

Functor bimap. Maps all contained values of A to values of X and every value of B to Y

Parameters

type F

Bifunctor trait

param first

Mapping function

param second

Mapping function

param fab

Bifunctor structure

returns

Mapped bifunctor

method K<F, Q, A> first <F, P, A, Q> (Func<P, Q> first, K<F, P, A> fab) Source #

where F : Bifunctor<F>

Map covariantly over the first argument.

Parameters

type F

Bifunctor trait

param first

Mapping function

param fab

Bifunctor structure

returns

Mapped bifunctor

method K<F, P, B> second <F, P, A, B> (Func<A, B> second, K<F, P, A> fab) Source #

where F : Bifunctor<F>

Map covariantly over the second argument.

Parameters

type F

Bifunctor trait

param second

Mapping function

param fab

Bifunctor structure

returns

Mapped bifunctor

interface Bifunctor <F> Source #

where F : Bifunctor<F>

Functor in P and A

Parameters

type F

Functor

Methods

method K<F, Q, B> BiMap <P, A, Q, B> (Func<P, Q> first, Func<A, B> second, K<F, P, A> fab) Source #

Functor bimap. Maps all contained values of P to values of Q and every value of A to B

Parameters

type F

Functor trait

param first

Mapping function

param second

Mapping function

param fab

Functor structure

returns

Mapped functor

method K<F, Q, A> First <P, A, Q> (Func<P, Q> first, K<F, P, A> fab) Source #

Map covariantly over the first argument.

Parameters

type F

Bifunctor trait

param first

Mapping function

param fab

Bifunctor structure

returns

Mapped bifunctor

method K<F, P, B> Second <P, A, B> (Func<A, B> second, K<F, P, A> fab) Source #

Map covariantly over the second argument.

Parameters

type F

Bifunctor trait

param second

Mapping function

param fab

Bifunctor structure

returns

Mapped bifunctor