edomata-docs
0.7.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
edomata-docs/edomata.core/EdomatonInstances

EdomatonInstances

edomata.core.EdomatonInstances
sealed transparent trait EdomatonInstances

Attributes

Source:
Edomaton.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Edomaton.type

Members list

Concise view

Givens

Givens

given given_Contravariant_Edomaton[F[_], R, E, N, T]: Contravariant[[env] =>> Edomaton[F, env, R, E, N, T]]

Attributes

Source:
Edomaton.scala
given given_Eq_Edomaton[F[_], Env, R, E, N, T](using Eq[Env => F[ResponseD[R, E, N, T]]]): Eq[Edomaton[F, Env, R, E, N, T]]

Attributes

Source:
Edomaton.scala
given given_Monad_Edomaton[F[_] : Monad, Env, R, E, N]: Monad[[t] =>> Edomaton[F, Env, R, E, N, t]]

Attributes

Source:
Edomaton.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL