HasAborts

kyo.aborts$package.Aborts.HasAborts
See theHasAborts companion object
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

Type parameters

V

the failure type included in VS

VS

all of the Aborts failure types represented by type union

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Types

type Remainder

Remaining effect type, once failures of type V have been handled

Remaining effect type, once failures of type V have been handled

Attributes