Stomaton

constructs an stomaton that outputs the context

constructs an stomaton that evaluates an effect

Constructs a program that either outputs a value or rejects

Constructs a program that either outputs a value or rejects

You can also use .toDecision syntax for more convenience.

Constructs a program from an optional value, that outputs value if exists or rejects otherwise

You can also use .toDecision syntax for more convenience

constructs an stomaton that modifies current state

constructs an stomaton that decides to modify state based on current state

constructs an stomaton that outputs a pure value

constructs an stomaton that rejects with given rejections

constructs an stomaton that runs an effect using its input

constructs an stomaton that sets the current state

constructs an stomaton that outputs the current state

an stomaton with trivial output