Header menu logo Nu

ChainBuilder Type

Implements the chain monad.

Constructors

Constructor Description

ChainBuilder()

Full Usage: ChainBuilder()

Returns: ChainBuilder
Returns: ChainBuilder

Instance members

Instance member Description

this.Apply

Full Usage: this.Apply

Parameters:
Returns: Chain<'e, 'b>

Applicative apply for the chain monad. TODO: Implement!

c : Chain<'e, ('a -> 'b)>
arg1 : Chain<'e, 'a>
Returns: Chain<'e, 'b>

this.Bind

Full Usage: this.Bind

Parameters:
Returns: Chain<'e, 'b>

Monadic bind for the chain monad.

c : Chain<'e, 'a>
cont : 'a -> Chain<'e, 'b>
Returns: Chain<'e, 'b>

this.Map

Full Usage: this.Map

Parameters:
    f : 'a -> 'b
    a : Chain<'e, 'a>

Returns: Chain<'e, 'b>

Functor map for the chain monad.

f : 'a -> 'b
a : Chain<'e, 'a>
Returns: Chain<'e, 'b>

this.Return

Full Usage: this.Return

Parameters:
    a : 'a

Returns: Chain<'e, 'a>

Monadic return for the chain monad.

a : 'a
Returns: Chain<'e, 'a>

Type something to start searching.