edomata-docs
0.12.0
API
Generated with
edomata-docs/edomata/edomata.core/ResponseT

ResponseT

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

Attributes

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

Members list

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