Attributes
- Companion:
- class
- Source:
- Stomaton.scala
- Graph
- Supertypes
- Self type
- Stomaton.type
Members list
Value members
Inherited methods
constructs an stomaton that outputs the context
constructs an stomaton that outputs the context
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
constructs an stomaton that evaluates an effect
constructs an stomaton that evaluates an effect
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
Constructs a program that either outputs a value or rejects
Constructs a program that either outputs a value or rejects
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
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
- Inherited from:
- StomatonConstructors
- 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
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
constructs an stomaton that modifies current state
constructs an stomaton that modifies current state
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
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
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
constructs an stomaton that outputs a pure value
constructs an stomaton that outputs a pure value
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
constructs an stomaton that rejects with given rejections
constructs an stomaton that rejects with given rejections
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
constructs an stomaton that runs an effect using its input
constructs an stomaton that runs an effect using its input
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
constructs an stomaton that sets the current state
constructs an stomaton that sets the current state
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
constructs an stomaton that outputs the current state
constructs an stomaton that outputs the current state
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
an stomaton with trivial output
Attributes
- Inherited from:
- StomatonConstructors
- Source:
- Stomaton.scala
Givens
Inherited givens
Attributes
- Inherited from:
- StomatonInstances
- Source:
- Stomaton.scala
Attributes
- Inherited from:
- StomatonInstances
- Source:
- Stomaton.scala
Attributes
- Inherited from:
- StomatonInstances
- Source:
- Stomaton.scala