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

Decision

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

Attributes

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

Members list

Type members

Classlikes

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

Attributes

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

Attributes

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

Attributes

Source
Decision.scala
Supertypes
trait Decision[R, Nothing, Nothing]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

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_MonadError_D_NonEmptyChain[R, E]: MonadError[D[R, E], Type[R]]

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