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

Decision

edomata.core.Decision$
See theDecision companion trait
object Decision extends DecisionConstructors with DecisionCatsInstances0

Attributes

Companion:
trait
Source:
Decision.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

final case class Accepted[E, T](events: Type[E], result: T) extends Decision[Nothing, E, T]

Attributes

Source:
Decision.scala
Graph
Supertypes
trait Decision[Nothing, E, T]
trait Product
trait Equals
class Object
trait Matchable
class Any
final case class InDecisive[T](result: T) extends Decision[Nothing, Nothing, T]

Attributes

Source:
Decision.scala
Graph
Supertypes
trait Decision[Nothing, Nothing, T]
trait Product
trait Equals
class Object
trait Matchable
class Any
final case class Rejected[R](reasons: Type[R]) extends Decision[R, Nothing, Nothing]

Attributes

Source:
Decision.scala
Graph
Supertypes
trait Decision[R, Nothing, Nothing]
trait Product
trait Equals
class Object
trait Matchable
class Any

Inherited types

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[E](ev: E, evs: E*): Decision[Nothing, 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:
DecisionConstructors
Source:
Decision.scala
def acceptReturn[E, T](t: T)(ev: E, evs: E*): Decision[Nothing, 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:
DecisionConstructors
Source:
Decision.scala
def acceptWhen[R, E](eit: EitherNec[R, E]): Decision[R, E, Unit]

Constructs a program that decides to accept an optional single event or reject otherwise

Constructs a program that decides to accept an optional single event or reject otherwise

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def acceptWhen[R, E](eit: Either[R, E]): Decision[R, E, Unit]

Constructs a program that decides to accept an optional single event or reject otherwise

Constructs a program that decides to accept an optional single event or reject otherwise

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def acceptWhen[R, E](ev: Option[E])(orElse: R, other: R*): Decision[R, E, Unit]

Constructs a program that decides to accept an optional single event or reject otherwise

Constructs a program that decides to accept an optional single event or reject otherwise

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def acceptWhen[E](ev: Option[E]): Decision[Nothing, E, Unit]

Constructs a program that decides to accept an optional single event or do nothing

Constructs a program that decides to accept an optional single event or do nothing

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def acceptWhen[E](predicate: => Boolean)(ev: E, evs: E*): Decision[Nothing, E, Unit]

Constructs a program that decides to accept a sequence of events or do nothing based on a boolean predicate

Constructs a program that decides to accept a sequence of events or do nothing based on a boolean predicate

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def apply[T](t: T): Decision[Nothing, Nothing, T]

Constructs a program that outputs a pure value

Constructs a program that outputs a pure value

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def fromEither[R, T](eit: Either[R, T]): Decision[R, Nothing, T]

Constructs a program that either outputs a value or rejects

Constructs a program that either outputs a value or rejects

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def fromEitherNec[R, T](eit: EitherNec[R, T]): Decision[R, Nothing, T]

Constructs a program that either outputs a value or rejects

Constructs a program that either outputs a value or rejects

You can also use .toDecision syntax for more convenience.

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def fromOption[R, T](opt: Option[T], orElse: R, other: R*): Decision[R, Nothing, T]

Constructs a program from an optional value, that outputs value if exists or rejects otherwise

Constructs a program from an optional value, that outputs value if exists or rejects otherwise

You can also use .toDecision syntax for more convenience

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def pure[T](t: T): Decision[Nothing, Nothing, T]

Constructs a program that outputs a pure value

Constructs a program that outputs a pure value

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def reject[R, E](reason: R, otherReasons: R*): Decision[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:
DecisionConstructors
Source:
Decision.scala
def rejectWhen[R](ev: Option[R]): Decision[R, Nothing, Unit]

Constructs a program that decides to reject with an optional single reason or do nothing otherwise

Constructs a program that decides to reject with an optional single reason or do nothing otherwise

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def rejectWhen[R](predicate: => Boolean)(ev: R, evs: R*): Decision[R, Nothing, Unit]

Constructs a program that decides to reject with a sequence of reasons if a predicate satisfies

Constructs a program that decides to reject with a sequence of reasons if a predicate satisfies

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def unit: Decision[Nothing, Nothing, Unit]

Constructs a program that outputs a trivial output

Constructs a program that outputs a trivial output

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala
def validate[R, T](validation: ValidatedNec[R, T]): Decision[R, Nothing, 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)

You can also use .toDecision syntax for more convenience

Attributes

Inherited from:
DecisionConstructors
Source:
Decision.scala

Givens

Inherited givens

given given_Eq_Decision[R, E, T]: Eq[Decision[R, E, T]]

Attributes

Inherited from:
DecisionCatsInstances0
Source:
Decision.scala
given given_Traverse_D[R, E]: Traverse[D[R, E]]

Attributes

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