aborts

kyo.aborts$
opaque object aborts

Attributes

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

Members list

Concise view

Type members

Classlikes

object Abort

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Abort.type
final class Aborts[+E] extends Effect[[T] =>> Abort[E, T]]

Attributes

Companion:
object
Graph
Supertypes
trait Effect[[T] =>> Abort[E, T]]
class Object
trait Matchable
class Any
object Aborts

Attributes

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

Types

opaque type Abort[+E, +T]

Givens

Givens

given given_Handler_Abort_Aborts[E : Tag]: Handler[[T] =>> Abort[E, T], Aborts[E]]

Extensions

Extensions

extension [E, T](a: Abort[E, T])
def toEither: Either[E, T]
def toOption: Option[T]