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

DecisionT

edomata.core.DecisionT$
See theDecisionT companion class
object DecisionT extends DecisionTConstructors with DecisionTCatsInstances

Attributes

Companion:
class
Source:
DecisionT.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Types

type Of[F[_], R, E] = [t] =>> DecisionT[F, R, E, t]

Attributes

Source:
DecisionT.scala

Inherited types

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

Attributes

Inherited from:
DecisionTCatsInstances
Source:
DecisionT.scala
type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
Source:
Mirror.scala
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Source:
Mirror.scala

Value members

Inherited methods

def accept[F[_] : Applicative, R, E](ev: E, evs: E*): DecisionT[F, R, E, Unit]

Constructs a program that decides to accept a sequence of events

Constructs a program that decides to accept a sequence of events

Attributes

Inherited from:
DecisionTConstructors
Source:
DecisionT.scala
def acceptReturn[F[_] : Applicative, R, E, T](t: T)(ev: E, evs: E*): DecisionT[F, R, E, T]

Constructs a program that decides to accept a sequence of events and also returns an output

Constructs a program that decides to accept a sequence of events and also returns an output

Attributes

Inherited from:
DecisionTConstructors
Source:
DecisionT.scala
def lift[F[_], R, E, T](t: Decision[R, E, T])(using F: Applicative[F]): DecisionT[F, R, E, T]

Lifts a Decision to DecisionT

Lifts a Decision to DecisionT

Attributes

Inherited from:
DecisionTConstructors
Source:
DecisionT.scala
def liftF[F[_], R, E, T](f: F[T])(using F: Functor[F]): DecisionT[F, R, E, T]

Lifts an effect to DecisionT

Lifts an effect to DecisionT

Attributes

Inherited from:
DecisionTConstructors
Source:
DecisionT.scala
def pure[F[_], R, E, T](t: T)(using F: Applicative[F]): DecisionT[F, R, E, T]

Constructs a program that outputs a pure value

Constructs a program that outputs a pure value

Attributes

Inherited from:
DecisionTConstructors
Source:
DecisionT.scala
def reject[F[_] : Applicative, R, E](reason: R, otherReasons: R*): DecisionT[F, R, E, Nothing]

Constructs a program that decides to reject with a sequence of reasons

Constructs a program that decides to reject with a sequence of reasons

Attributes

Inherited from:
DecisionTConstructors
Source:
DecisionT.scala
def unit[F[_] : Applicative, R, E]: DecisionT[F, R, E, Unit]

Constructs a program that outputs a trivial output

Constructs a program that outputs a trivial output

Attributes

Inherited from:
DecisionTConstructors
Source:
DecisionT.scala
def validate[F[_] : Applicative, R, E, T](validation: ValidatedNec[R, T]): DecisionT[F, R, E, T]

Constructs a program that uses a validation to decide whether to output a value or reject with error(s)

Constructs a program that uses a validation to decide whether to output a value or reject with error(s)

Attributes

Inherited from:
DecisionTConstructors
Source:
DecisionT.scala

Givens

Inherited givens

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

Attributes

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

Attributes

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