DecisionTConstructors
edomata.core.DecisionTConstructors
Attributes
- Source:
- DecisionT.scala
- Graph
- Supertypes
- Known subtypes
- object DecisionT.type
Members list
Concise view
Value members
Concrete methods
Constructs a program that decides to accept a sequence of events
Constructs a program that decides to accept a sequence of events and also returns an output
Constructs a program that decides to accept a sequence of events and also returns an output
Attributes
- Source:
- DecisionT.scala
Lifts a Decision to DecisionT
Lifts an effect to DecisionT
Constructs a program that outputs a pure value
Constructs a program that decides to reject with a sequence of reasons
Constructs a program that decides to reject with a sequence of reasons
Attributes
- Source:
- DecisionT.scala
Constructs a program that outputs a trivial output
Constructs a program that uses a validation to decide whether to output a value or reject with error(s)
Constructs a program that uses a validation to decide whether to output a value or reject with error(s)
Attributes
- Source:
- DecisionT.scala