kyo-core
API
Generated with
kyo-core/kyo/Aborts

Aborts

kyo.Aborts
See theAborts companion object
opaque class Aborts[-V] extends Effect[Aborts[V]]

Attributes

Companion
object
Graph
Supertypes
class Effect[Aborts[V]]
class Object
trait Matchable
class Any

Members list

Type members

Types

opaque type Command[T]

Value members

Concrete methods

def catching[T, S](v: => T < S)(using ClassTag[V], Tag[Aborts[V]]): T < (Aborts[V] & S)
Extension method from Aborts
def fail[T](value: T)(using ev: T => V, t: Tag[Aborts[V]]): Nothing < Aborts[V]
Extension method from Aborts
def get[T](e: Either[V, T])(using Tag[Aborts[V]]): T < Aborts[V]
Extension method from Aborts
def layer[Se](handle: V => Nothing < Se)(using ClassTag[V], Tag[Aborts[V]]): Layer[Aborts[V], Se]
Extension method from Aborts
def run[T, S, V2](v: T < (Aborts[V | V2] & S))(using Tag[Aborts[V]], ClassTag[V], Flat[T < (Aborts[V] & S)]): Either[V, T] < (S & Elide[V2])
Extension method from Aborts
def when(b: Boolean)(value: V)(using Tag[Aborts[V]]): Unit < Aborts[V]
Extension method from Aborts
Generated with