edomata-docs/edomata.core/DecisionTCatsInstances

DecisionTCatsInstances

sealed transparent trait DecisionTCatsInstances
Source:
DecisionT.scala
class Object
trait Matchable
class Any
object DecisionT.type

Type members

Types

type DT[F[_], R, E] = [T] =>> DecisionT[F, R, E, T]

Givens

Givens

given given_Eq_DecisionT[F[_], R, E, A](using Eq[F[Decision[R, E, A]]]): Eq[DecisionT[F, R, E, A]]
given given_Functor_DT[F[_], R, E](using F: Functor[F]): given_Functor_DT[F, R, E]