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

Aborts

kyo.Aborts
See theAborts companion class
object Aborts

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Aborts.type

Members list

Type members

Types

type Elide[V] = V match { case Nothing => Any case V => Aborts[V] }

Value members

Concrete methods

def apply[V]: Aborts[V]

Extensions

Extensions

extension [V](self: Aborts[V])
def catching[T, S](v: => T < S)(using ClassTag[V], Tag[Aborts[V]]): T < (Aborts[V] & S)
def fail[T](value: T)(using ev: T => V, t: Tag[Aborts[V]]): Nothing < Aborts[V]
def get[T](e: Either[V, T])(using Tag[Aborts[V]]): T < Aborts[V]
def layer[Se](handle: V => Nothing < Se)(using ClassTag[V], Tag[Aborts[V]]): Layer[Aborts[V], Se]
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])
def when(b: Boolean)(value: V)(using Tag[Aborts[V]]): Unit < Aborts[V]
Generated with