edomata-docs/edomata.core/EdomatonInstances

EdomatonInstances

sealed transparent trait EdomatonInstances
Source:
Edomaton.scala
class Object
trait Matchable
class Any
object Edomaton.type

Givens

Givens

given given_Contravariant_Edomaton[F[_], R, E, N, T]: Contravariant[[env] =>> Edomaton[F, env, R, E, N, T]]
given given_Eq_Edomaton[F[_], Env, R, E, N, T](using Eq[Env => F[Response[R, E, N, T]]]): Eq[Edomaton[F, Env, R, E, N, T]]
given given_Monad_Edomaton[F[_] : Monad, Env, R, E, N]: Monad[[t] =>> Edomaton[F, Env, R, E, N, t]]