EdomatonConstructors

constructs an edomaton that decides the given decision

constructs an edomaton 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 edomaton with given response

constructs an edomaton from an effect that results in a response

constructs an edomaton that publishes given notifications

constructs an edomaton that outputs a pure value

constructs an edomaton that outputs what's read

constructs an edomaton that rejects with given rejections

constructs an edomaton that runs an effect using its input

an edomaton with trivial output