edomata-docs
0.9.1
API
Generated with
edomata-docs/edomata.syntax/all

all

edomata.syntax.all$
object all extends AllSyntax

Attributes

Source:
Syntax.scala
Graph
Supertypes
trait AllSyntax
class Object
trait Matchable
class Any
Self type
all.type

Members list

Concise view

Extensions

Inherited extensions

extension (app: Stomaton[Id, _, _, _, _, _])
def liftTo[F[_]](using F: Applicative[F]): Stomaton[F, Env, S, R, E, A]

Attributes

Inherited from:
StomatonSyntax (hidden)
Source:
DomainCompiler.scala
extension (app: Edomaton[Id, _, _, _, _, _])
def liftTo[F[_]](using F: Applicative[F]): Edomaton[F, Env, R, E, N, A]

Attributes

Inherited from:
EdomatonSyntax (hidden)
Source:
DomainCompiler.scala
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]]

Attributes

Inherited from:
EdomatonSyntax (hidden)
Source:
DomainCompiler.scala
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]]

Attributes

Inherited from:
EdomatonSyntax (hidden)
Source:
DomainCompiler.scala
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

Attributes

Inherited from:
ModelSyntax (hidden)
Source:
Model.scala
extension [S, E, R](self: DomainModel[S, E, R])
def domain[C, N]: Domain[C, S, E, R, N]

Attributes

Inherited from:
DomainSyntax (hidden)
Source:
DomainDSL.scala
def dsl[C, N]: DomainDSL[C, S, E, R, N]

Attributes

Inherited from:
DomainSyntax (hidden)
Source:
DomainDSL.scala
extension [R, T](self: EitherNec[R, T])
def toAccepted: Decision[R, T, Unit]

Attributes

Inherited from:
DecisionSyntax (hidden)
Source:
Decision.scala
def toDecision: Decision[R, Nothing, T]

Attributes

Inherited from:
DecisionSyntax (hidden)
Source:
Decision.scala
extension [R, T](self: Either[R, T])
def toAccepted(using NonChain[R]): Decision[R, T, Unit]

Attributes

Inherited from:
DecisionSyntax (hidden)
Source:
Decision.scala
def toDecision(using NonChain[R]): Decision[R, Nothing, T]

Attributes

Inherited from:
DecisionSyntax (hidden)
Source:
Decision.scala
extension [R, T](self: ValidatedNec[R, T])
def toDecision[E]: Decision[R, E, T]

Attributes

Inherited from:
DecisionSyntax (hidden)
Source:
Decision.scala
extension [S, R](self: CQRSModel[S, R])
def domain[C, N]: CQRSDomain[C, S, R, N]

Attributes

Inherited from:
CQRSDomainSyntax (hidden)
Source:
CQRSModel.scala
def dsl[C, N]: CQRSDomainDSL[C, S, R, N]

Attributes

Inherited from:
CQRSDomainSyntax (hidden)
Source:
CQRSModel.scala
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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
ModelSyntax (hidden)
Source:
Model.scala
extension [T](self: Option[T])
def toAccepted: Decision[Nothing, T, Unit]

Attributes

Inherited from:
DecisionSyntax (hidden)
Source:
Decision.scala
def toAcceptedOr[R](orElse: R, others: R*): Decision[R, T, Unit]

Attributes

Inherited from:
DecisionSyntax (hidden)
Source:
Decision.scala
def toDecision[R](orElse: R, others: R*): Decision[R, Nothing, T]

Attributes

Inherited from:
DecisionSyntax (hidden)
Source:
Decision.scala
def toRejected: Decision[T, Nothing, Unit]

Attributes

Inherited from:
DecisionSyntax (hidden)
Source:
Decision.scala
extension [T](value: T)
def accept: Decision[Nothing, T, Unit]

Attributes

Inherited from:
DecisionSyntax (hidden)
Source:
Decision.scala
def asDecision: Decision[Nothing, Nothing, T]

Attributes

Inherited from:
DecisionSyntax (hidden)
Source:
Decision.scala
def reject: Decision[T, Nothing, Nothing]

Attributes

Inherited from:
DecisionSyntax (hidden)
Source:
Decision.scala
Generated with