edomata-docs
0.12.0
API
Generated with
edomata-docs/edomata/edomata.core/DecisionTConstructors

DecisionTConstructors

edomata.core.DecisionTConstructors
sealed transparent trait DecisionTConstructors

Attributes

Source
DecisionT.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object DecisionT.type

Members list

Value members

Concrete methods

def accept[F[_] : Applicative, R, E](ev: E, evs: E*): DecisionT[F, R, E, Unit]

Constructs a program that decides to accept a sequence of events

Constructs a program that decides to accept a sequence of events

Attributes

Source
DecisionT.scala
def acceptReturn[F[_] : Applicative, R, E, T](t: T)(ev: E, evs: E*): DecisionT[F, R, E, T]

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
def lift[F[_], R, E, T](t: Decision[R, E, T])(using F: Applicative[F]): DecisionT[F, R, E, T]

Lifts a Decision to DecisionT

Lifts a Decision to DecisionT

Attributes

Source
DecisionT.scala
def liftF[F[_], R, E, T](f: F[T])(using F: Functor[F]): DecisionT[F, R, E, T]

Lifts an effect to DecisionT

Lifts an effect to DecisionT

Attributes

Source
DecisionT.scala
def pure[F[_], R, E, T](t: T)(using F: Applicative[F]): DecisionT[F, R, E, T]

Constructs a program that outputs a pure value

Constructs a program that outputs a pure value

Attributes

Source
DecisionT.scala
def reject[F[_] : Applicative, R, E](reason: R, otherReasons: R*): DecisionT[F, R, E, Nothing]

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
def unit[F[_] : Applicative, R, E]: DecisionT[F, R, E, Unit]

Constructs a program that outputs a trivial output

Constructs a program that outputs a trivial output

Attributes

Source
DecisionT.scala
def validate[F[_] : Applicative, R, E, T](validation: ValidatedNec[R, T]): DecisionT[F, R, E, T]

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
Generated with