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
trait 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 <: V](value: T)(using t: Tag[Aborts[T]]): Nothing < Aborts[T]
Extension method from Aborts
def get[T](e: Either[V, T])(using Tag[Aborts[V]]): T < Aborts[V]
Extension method from Aborts
def run[T : Flat, S, VS, VR](v: T < (Aborts[VS] & S))(implicit evidence$1: Flat[T], HasAborts[V, VS] { type Remainder = VR; }, Tag[Aborts[V]], ClassTag[V]): Either[V, T] < (S & VR)
Extension method from Aborts
def when(b: Boolean)(value: V)(using Tag[Aborts[V]]): Unit < Aborts[V]
Extension method from Aborts
Generated with