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

Classlikes

object HasAborts extends LowPriorityHasAborts

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
HasAborts.type
sealed trait HasAborts[V, VS]

An effect Aborts[VS] includes a failure type V, and once V has been handled, Aborts[VS] should be replaced by Out

An effect Aborts[VS] includes a failure type V, and once V has been handled, Aborts[VS] should be replaced by Out

Type parameters

V

the failure type included in VS

VS

all of the Aborts failure types represented by type union

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
trait LowPriorityHasAborts

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object HasAborts

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 <: V](value: T)(using t: Tag[Aborts[T]]): Nothing < Aborts[T]
def get[T](e: Either[V, T])(using Tag[Aborts[V]]): T < Aborts[V]
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)
def when(b: Boolean)(value: V)(using Tag[Aborts[V]]): Unit < Aborts[V]
Generated with