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

ResponseT

edomata.core.ResponseT$
See theResponseT companion class
object ResponseT extends ResponseT2Constructors with ResponseT2CatsInstances0

Attributes

Companion:
class
Source:
ResponseT.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
Source:
Mirror.scala
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Source:
Mirror.scala

Value members

Inherited 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

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

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

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

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

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

Inherited from:
ResponseT2Constructors
Source:
ResponseT.scala

Givens

Inherited givens

given given_Eq_ResponseT[RES[_], R, N, T]: Eq[ResponseT[RES, R, N, T]]

Attributes

Inherited from:
ResponseT2CatsInstances0
Source:
ResponseT.scala
given given_MonadError_ResponseT_NonEmptyChain[RES[_], R, N](using F: MonadError[RES, Type[R]], E: RaiseError[RES, R]): MonadError[[t] =>> ResponseT[RES, R, N, t], Type[R]]

Attributes

Inherited from:
ResponseT2CatsInstances0
Source:
ResponseT.scala
given given_Traverse_ResponseT[RES[_], R, N](using Traverse[RES]): Traverse[[t] =>> ResponseT[RES, R, N, t]]

Attributes

Inherited from:
ResponseT2CatsInstances1
Source:
ResponseT.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL