edomata-docs
0.7.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
edomata-docs/edomata.syntax/stomaton

stomaton

edomata.syntax.stomaton$
object stomaton

Attributes

Source:
Syntax.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self 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
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL