edomata-docs/edomata.core/Response

Response

object Response extends ResponseConstructors with ResponseCatsInstances0
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Inherited 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

Inherited from:
ResponseConstructors
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

Inherited from:
ResponseConstructors
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

Inherited from:
ResponseConstructors
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

Inherited from:
ResponseConstructors
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

Inherited from:
ResponseConstructors
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

Inherited from:
ResponseConstructors
def unit[R, E, N]: Response[R, E, N, Unit]

a program with trivial output

a program with trivial output

Inherited from:
ResponseConstructors
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)

Inherited from:
ResponseConstructors

Givens

Inherited givens

given given_Eq_Response[R, E, N, T]: Eq[Response[R, E, N, T]]
Inherited from:
ResponseCatsInstances0
given given_Monad_Response[R, E, N]: Monad[[t] =>> Response[R, E, N, t]]
Inherited from:
ResponseCatsInstances0
given given_Traverse_Response[R, E, N]: Traverse[[t] =>> Response[R, E, N, t]]
Inherited from:
ResponseCatsInstances1