edomata-docs/edomata.core/ResponseConstructors

ResponseConstructors

sealed trait ResponseConstructors
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

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

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

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

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

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

def unit[R, E, N]: Response[R, E, N, Unit]

a program with trivial output

a program with trivial output

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)