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

Aborts

kyo.aborts$package.Aborts
opaque object Aborts

Attributes

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

Members list

Type members

Classlikes

class CatchingDsl[V <: Throwable]

Attributes

Supertypes
class Object
trait Matchable
class Any
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
class RunDsl[V]

Attributes

Supertypes
class Object
trait Matchable
class Any

Types

opaque type Effects[-V]

Value members

Concrete methods

def catching[V <: Throwable]: CatchingDsl[V]
def fail[V](v: V): Nothing < Aborts[V]
def get[V, T](e: Either[V, T]): T < Aborts[V]
def run[V]: RunDsl[V]
def when[V](b: Boolean)(value: => V): Unit < Aborts[V]
Generated with