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

ResponseD

edomata.core.ResponseD$package$.ResponseD$
object ResponseD

Attributes

Source:
ResponseD.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def accept[E](ev: E, evs: E*): ResponseD[Nothing, E, Nothing, Unit]

Constructs a program that decides to accept a sequence of events

Constructs a program that decides to accept a sequence of events

Attributes

Source:
ResponseD.scala
def acceptReturn[E, T](t: T)(ev: E, evs: E*): ResponseD[Nothing, E, Nothing, 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

Source:
ResponseD.scala
def apply[R, E, N, A](result: Decision[R, E, A], notifications: Chain[N]): ResponseD[R, E, N, A]

Attributes

Source:
ResponseD.scala
def publish[N](n: N*): ResponseD[Nothing, Nothing, N, Unit]

constructs a program that publishes given notifications

constructs a program that publishes given notifications

Attributes

Source:
ResponseD.scala
def pure[T](t: T): ResponseD[Nothing, Nothing, Nothing, T]

constructs a program that outputs a pure value

constructs a program that outputs a pure value

Attributes

Source:
ResponseD.scala
def reject[R](reason: R, otherReasons: R*): ResponseD[R, Nothing, Nothing, Nothing]

constructs a program that rejects with given rejections

constructs a program that rejects with given rejections

Attributes

Source:
ResponseD.scala
def reject[R](reasons: Type[R]): ResponseD[R, Nothing, Nothing, Nothing]

Attributes

Source:
ResponseD.scala
def unapply[R, E, N, A](d: ResponseD[R, E, N, A]): Some[(Decision[R, E, A], Chain[N])]

Attributes

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

Attributes

Source:
ResponseD.scala
def validate[R, T](d: EitherNec[R, T]): ResponseD[R, Nothing, Nothing, T]

constructs a program with given decision

constructs a program with given decision

Attributes

Source:
ResponseD.scala

Concrete fields

val unit: ResponseD[Nothing, Nothing, Nothing, Unit]

a program with trivial output

a program with trivial output

Attributes

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