edomata-docs
0.11.4
API
Generated with
edomata-docs/edomata/edomata.core/ResponseE

ResponseE

edomata.core.ResponseE$package$.ResponseE$
object ResponseE

Attributes

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

Members list

Value members

Concrete methods

def apply[R, N, A](result: EitherNec[R, A], notifications: Chain[N]): ResponseE[R, N, A]

Attributes

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

constructs a program that publishes given notifications

constructs a program that publishes given notifications

Attributes

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

constructs a program that outputs a pure value

constructs a program that outputs a pure value

Attributes

Source
ResponseE.scala
def reject[R, N, T](reason: R, otherReasons: R*): ResponseE[R, N, T]

constructs a program that rejects with given rejections

constructs a program that rejects with given rejections

Attributes

Source
ResponseE.scala
def reject[R, N, T](reasons: Type[R]): ResponseE[R, N, T]

Attributes

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

a program with trivial output

a program with trivial output

Attributes

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

Attributes

Source
ResponseE.scala
def validate[R, N, T](d: EitherNec[R, T]): ResponseE[R, N, T]

constructs a program with given decision

constructs a program with given decision

Attributes

Source
ResponseE.scala
Generated with