edomata-docs
0.12.2
API
Generated with
edomata-docs/edomata/edomata.syntax/edomaton

edomaton

edomata.syntax.edomaton
object edomaton

Attributes

Source
Syntax.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
edomaton.type

Members list

Extensions

Inherited extensions

extension [F[_], C, S, E, R, N, T](app: Edomaton[F, RequestContext[C, S], R, E, N, T])(using NotGiven[T =:= Unit], ModelTC[S, E, R])(implicit evidence$1: Monad[F])
inline def execute: 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])(using m: ModelTC[S, E, R])(implicit evidence$1: Monad[F])
inline def execute: F[EdomatonResult[S, E, R, N]]

Attributes

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

Attributes

Inherited from:
EdomatonSyntax (hidden)
Source
DomainCompiler.scala
Generated with