edomata-docs
0.9.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
edomata-docs/edomata.core/DecisionTCatsInstances

DecisionTCatsInstances

edomata.core.DecisionTCatsInstances
sealed transparent trait DecisionTCatsInstances

Attributes

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

Members list

Concise view

Type members

Types

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

Attributes

Source:
DecisionT.scala

Givens

Givens

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

Attributes

Source:
DecisionT.scala
given given_Functor_DT[F[_], R, E](using F: Functor[F]): given_Functor_DT[F, R, E]

Attributes

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