cherry-lamr/cherry.utils/Act

Act

object Act
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Act.type

Type members

Classlikes

trait Raising[E]

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

Concrete methods

def action[S, A](f: S => A | Null): Act[S, A]
def defer[S, A](fa: => Act[S, A]): Act[S, A]
def either[S <: Raising[E] : ErrorCtx, E, A](ea: Either[E, A]): Act[S, A]
def error[S <: Raising[E], E](e: => E)(using ctx: ErrorCtx[S]): Act[S, Nothing]
def get[S]: Act[S, S]
def option[S <: Raising[E] : ErrorCtx, E, A](oa: Option[A], err: => E): Act[S, A]
def optionF[S, A](oa: Option[A], default: => Act[S, A]): Act[S, A]
def pure[A](a: A): Act[Any, A]

Concrete fields

val none: Act[Any, Nothing]
val unit: Act[Any, Unit]

Givens

Givens

given given_Parallel_Act_FunctionK_Act_Act[S]: given_Parallel_Act_FunctionK_Act_Act[S]
given given_StackSafeMonad_Act[S, E]: given_StackSafeMonad_Act[S, E]