StomatonConstructors
Attributes
- Source
- Stomaton.scala
- Graph
-
- Supertypes
- Known subtypes
-
object Stomaton.type
Members list
Value members
Concrete methods
constructs an stomaton that outputs the context
Attributes
- Source
- Stomaton.scala
Attributes
- Source
- Stomaton.scala
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
Constructs a program that either outputs a value or rejects
You can also use .toDecision syntax for more convenience.
Attributes
- Source
- Stomaton.scala
Constructs a program from an optional value, that outputs value if exists or rejects otherwise
Constructs a program from an optional value, that outputs value if exists or rejects otherwise
You can also use .toDecision syntax for more convenience
Attributes
- Source
- Stomaton.scala
constructs an stomaton that modifies current state
constructs an stomaton that decides to modify state based on current state
constructs an stomaton that decides to modify state based on current state
Attributes
- Source
- Stomaton.scala
Attributes
- Source
- Stomaton.scala
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