edomata-docs/edomata.core/DecisionTConstructors

DecisionTConstructors

sealed transparent trait DecisionTConstructors
class Object
trait Matchable
class Any
object DecisionT.type

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

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

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

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

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

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

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

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)