edomata-docs/edomata.syntax/edomaton

edomaton

object edomaton
Source:
Syntax.scala
class Object
trait Matchable
class Any

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]]