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

ResponseT2Constructors

edomata.core.ResponseT2Constructors
sealed trait ResponseT2Constructors

Attributes

Source:
ResponseT.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ResponseT.type

Members list

Concise view

Value members

Concrete methods

def lift[RES[_], R, T](d: RES[T]): ResponseT[RES, R, Nothing, T]

constructs a program with given decision

constructs a program with given decision

Attributes

Source:
ResponseT.scala
def publish[RES[_], R, N](n: N*)(using F: Monad[RES]): ResponseT[RES, R, N, Unit]

constructs a program that publishes given notifications

constructs a program that publishes given notifications

Attributes

Source:
ResponseT.scala
def pure[RES[_], T](t: T)(using F: Monad[RES]): ResponseT[RES, Nothing, Nothing, T]

constructs a program that outputs a pure value

constructs a program that outputs a pure value

Attributes

Source:
ResponseT.scala
def reject[RES[_], R, N](reason: R, otherReasons: R*)(using F: MonadError[RES, Type[R]]): ResponseT[RES, R, N, Nothing]

constructs a program that rejects with given rejections

constructs a program that rejects with given rejections

Attributes

Source:
ResponseT.scala
def unit[RES[_], R](using Monad[RES]): ResponseT[RES, Nothing, Nothing, Unit]

a program with trivial output

a program with trivial output

Attributes

Source:
ResponseT.scala
def validate[RES[_], R, T](validation: ValidatedNec[R, T])(using F: MonadError[RES, Type[R]]): ResponseT[RES, R, 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:
ResponseT.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL