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

DecisionT

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

Attributes

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

Members list

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