Aborts

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

Members list

Concise view

Value members

Concrete methods

override def accepts(other: Effect[_[_]]): Boolean

Attributes

Definition Classes
def catching[T, S](f: => T > S)(using E => Throwable): T > S | Aborts[E]
def run[T, S, B >: E](v: T > S | Aborts[B]): Abort[B, T] > S
def toEither[T, S, B >: E](v: T > S | Aborts[B]): Either[B, T] > S
def toOption[T, S, B >: E](v: T > S | Aborts[B]): Option[T] > S

Givens

Givens

given tag[B >: E]: Tag[B]