edomata-docs
0.12.0
API
Generated with
edomata-docs/edomata/edomata.core/StomatonInstances

StomatonInstances

edomata.core.StomatonInstances
sealed transparent trait StomatonInstances

Attributes

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

Members list

Givens

Givens

given given_Contravariant_Stomaton[F[_], S, R, E, T]: Contravariant[[env] =>> Stomaton[F, env, S, R, E, T]]

Attributes

Source
Stomaton.scala
given given_Eq_Stomaton[F[_], Env, S, R, E, T](using Eq[(Env, S) => F[ResponseE[R, E, (S, T)]]]): Eq[Stomaton[F, Env, S, R, E, T]]

Attributes

Source
Stomaton.scala
given given_MonadError_Stomaton_NonEmptyChain[F[_] : Monad, Env, S, R, E]: MonadError[[t] =>> Stomaton[F, Env, S, R, E, t], Type[R]]

Attributes

Source
Stomaton.scala
Generated with