edomata-docs/edomata.syntax/AllSyntax

AllSyntax

trait AllSyntax
Source:
Syntax.scala
class Object
trait Matchable
class Any
object all.type

Extensions

Inherited extensions

extension (app: Edomaton[Id, _, _, _, _, _])
def liftTo[F[_]](using F: Applicative[F]): Edomaton[F, Env, R, E, N, A]
extension [F[_], C, S, E, R, N](app: Edomaton[F, RequestContext[C, S], R, E, N, Unit])
inline def execute(using m: ModelTC[S, E, R])(ctx: RequestContext[C, S])(implicit evidence$3: Monad[F]): F[EdomatonResult[S, E, R, N]]
extension [F[_], C, S, E, R, N, T](app: Edomaton[F, RequestContext[C, S], R, E, N, T])
inline def execute(using NotGiven[T =:= Unit], ModelTC[S, E, R])(ctx: RequestContext[C, S])(implicit evidence$2: Monad[F]): F[EdomatonResult[S, E, R, N]]
extension [State, Event, Rejection](self: State)
def accept(using m: ModelTC[State, Event, Rejection])(ev: Event, evs: Event*): Decision[Rejection, Event, State]

Applies events to state, returns new state

Applies events to state, returns new state

Inherited from:
ModelSyntax (hidden)
Source:
Model.scala
extension [R, T](self: ValidatedNec[R, T])
def toDecision[E]: Decision[R, E, T]
extension [R, T](self: Either[R, T])
def toAccepted(using NonChain[R]): Decision[R, T, Unit]
def toDecision(using NonChain[R]): Decision[R, Nothing, T]
extension [S, E, R](self: DomainModel[S, E, R])
def domain[C, N]: Domain[C, S, E, R, N]
def dsl[C, N]: DomainDSL[C, S, E, R, N]
extension [State, Event, Rejection](self: State)(using m: ModelTC[State, Event, Rejection])
def decide[T](f: State => Decision[Rejection, Event, T]): Decision[Rejection, Event, State]

Helps with deciding based on state and then applying the decision

Helps with deciding based on state and then applying the decision

Inherited from:
ModelSyntax (hidden)
Source:
Model.scala
def decideReturn[T](f: State => Decision[Rejection, Event, T]): Decision[Rejection, Event, (State, T)]

Helps with deciding based on state and then applying the decision

Helps with deciding based on state and then applying the decision

Inherited from:
ModelSyntax (hidden)
Source:
Model.scala
def handle[T](dec: Decision[Rejection, Event, T]): Decision[Rejection, Event, (State, T)]

like perform, but also returns initial output

like perform, but also returns initial output

Inherited from:
ModelSyntax (hidden)
Source:
Model.scala
def perform[T](dec: Decision[Rejection, Event, T]): Decision[Rejection, Event, State]

Returns a decision that has applied this decision and folded state, so the output is new state

Returns a decision that has applied this decision and folded state, so the output is new state

Inherited from:
ModelSyntax (hidden)
Source:
Model.scala
extension [R, T](self: EitherNec[R, T])
def toDecision: Decision[R, Nothing, T]
extension [T](self: Option[T])
def toAccepted: Decision[Nothing, T, Unit]
def toAcceptedOr[R](orElse: R, others: R*): Decision[R, T, Unit]
def toDecision[R](orElse: R, others: R*): Decision[R, Nothing, T]
def toRejected: Decision[T, Nothing, Unit]
extension [T](value: T)
def accept: Decision[Nothing, T, Unit]
def asDecision: Decision[Nothing, Nothing, T]
def reject: Decision[T, Nothing, Nothing]