edomata-docs/edomata.core/ResponseConstructors

ResponseConstructors

sealed trait ResponseConstructors
Source:
Response.scala
class Object
trait Matchable
class Any
object Response.type

Value members

Concrete methods

def accept[R, E, N](ev: E, evs: E*): Response[R, E, N, Unit]

Constructs a program that decides to accept a sequence of events

Constructs a program that decides to accept a sequence of events

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

Source:
Response.scala
def lift[R, E, N, T](d: Decision[R, E, T]): Response[R, E, N, T]

constructs a program with given decision

constructs a program with given decision

Source:
Response.scala
def publish[R, E, N](n: N*): Response[R, E, N, Unit]

constructs a program that publishes given notifications

constructs a program that publishes given notifications

Source:
Response.scala
def pure[R, E, N, T](t: T): Response[R, E, N, T]

constructs a program that outputs a pure value

constructs a program that outputs a pure value

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

constructs a program that rejects with given rejections

constructs a program that rejects with given rejections

Source:
Response.scala
def unit[R, E, N]: Response[R, E, N, Unit]

a program with trivial output

a program with trivial output

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

Source:
Response.scala