Header menu logo Nu

Chain<'e, 'a> Type

The Chain monad. Allows the user to define a chain of operations over the world that optionally spans across a bounded number of events.

Union cases

Union case Description

Chain World -> Either<('e -> Chain<'e, 'a>), 'a>

Full Usage: Chain World -> Either<('e -> Chain<'e, 'a>), 'a>

Parameters:
Item : World -> Either<('e -> Chain<'e, 'a>), 'a>

Type something to start searching.