LanguageExt.Core

LanguageExt.Core Traits CoproductCons

Contents

class CoproductCons Source #

Methods

method K<F, A, B> left <F, A, B> (A value) Source #

where F : CoproductCons<F>

Construct a coproduct structure in a 'Left' state

Parameters

type A

Left value type

type B

Right value type

param value

Left value

returns

Constructed coproduct structure

method K<F, A, B> right <F, A, B> (B value) Source #

where F : CoproductCons<F>

Construct a coproduct structure in a 'Left' state

Parameters

type A

Left value type

type B

Right value type

param value

Left value

returns

Constructed coproduct structure

interface CoproductCons <in F> Source #

where F : CoproductCons<F>

Co-product trait (abstract version of Either)

Parameters

type F

Self

Methods

method K<F, A, B> Left <A, B> (A value) Source #

Construct a coproduct structure in a 'Left' state

Parameters

type A

Left value type

type B

Right value type

param value

Left value

returns

Constructed coproduct structure

method K<F, A, B> Right <A, B> (B value) Source #

Construct a coproduct structure in a 'Left' state

Parameters

type A

Left value type

type B

Right value type

param value

Left value

returns

Constructed coproduct structure