kyo-core/kyo/all

all

object all
class Object
trait Matchable
class Any
all.type

Extensions

Extensions

extension [E, T](a: Abort[E, T])
final def toEither: Either[E, T]
final def toOption: Option[T]
extension [M[_], E <: Effect[M]](e: E)
final def apply[M1[_], E1 <: Effect[M1], M2[_], E2 <: Effect[M2], T](tup1: (E1, [U] => (x$1: M1[M[U]]) => M[M1[U]]), tup2: (E2, [U] => (x$1: M2[M[U]]) => M[M2[U]], [U] => (x$1: M2[M1[U]]) => M1[M2[U]]))(using h: DeepHandler[M, E], h1: DeepHandler[M1, E1], h2: DeepHandler[M2, E2], s: Safepoint[E], s1: Safepoint[E1], s2: Safepoint[E2]): T > E | E1 | E2 => M[M1[M2[T]]]
final def apply[M1[_], E1 <: Effect[M1], T](tup1: (E1, [U] => (x$1: M1[M[U]]) => M[M1[U]]))(using h: DeepHandler[M, E], h1: DeepHandler[M1, E1], s: Safepoint[E], s1: Safepoint[E1]): T > E | E1 => M[M1[T]]
final def apply[T]()(using h: DeepHandler[M, E], s: Safepoint[E]): T > E => M[T] > Nothing
extension [T](f: Fiber[T])
final def block: T > IOs
final def interrupt: Boolean > IOs
final def isDone: Boolean > IOs
final def join: T > Fibers
final def joinTry: Try[T] > Fibers | IOs
extension [T](p: Promise[T])
final def complete(v: => T > IOs): Boolean > IOs
extension (ref: AtomicInteger)
final def addAndGet(v: Int): Int > IOs
final def cas(curr: Int, next: Int): Boolean > IOs
final def decrementAndGet: Int > IOs
final def get: Int > IOs
final def getAndAdd(v: Int): Int > IOs
final def getAndDecrement: Int > IOs
final def getAndIncrement: Int > IOs
final def getAndSet(v: Int): Int > IOs
final def incrementAndGet: Int > IOs
final def lazySet(v: Int): Unit > IOs
final def set(v: Int): Unit > IOs
extension (ref: DoubleAdder)
final def add(v: Double): Unit > IOs
final def get: Double > IOs
final def reset: Unit > IOs
extension [T](ref: AtomicReference[T])
final def cas(curr: T, next: T): Boolean > IOs
final def get: T > IOs
final def getAndSet(v: T): T > IOs
final def lazySet(v: T): Unit > IOs
final def set(v: T): Unit > IOs
extension (ref: AtomicLong)
final def addAndGet(v: Long): Long > IOs
final def cas(curr: Long, next: Long): Boolean > IOs
final def decrementAndGet: Long > IOs
final def get: Long > IOs
final def getAndAdd(v: Long): Long > IOs
final def getAndDecrement: Long > IOs
final def getAndIncrement: Long > IOs
final def getAndSet(v: Long): Long > IOs
final def incrementAndGet: Long > IOs
final def lazySet(v: Long): Unit > IOs
final def set(v: Long): Unit > IOs
extension (ref: AtomicBoolean)
final def cas(curr: Boolean, next: Boolean): Boolean > IOs
final def get: Boolean > IOs
final def getAndSet(v: Boolean): Boolean > IOs
final def lazySet(v: Boolean): Unit > IOs
final def set(v: Boolean): Unit > IOs
extension (ref: LongAdder)
final def add(v: Long): Unit > IOs
final def decrement: Unit > IOs
final def get: Long > IOs
final def reset: Unit > IOs
extension [T, S](v: T > S)
final def <[M[_], E <: Effect[M], S2 <: S](e: E)(using x$3: S => S2 | E)(using h: ShallowHandler[M, E], s: Safepoint[E], fr: Frame["<"]): M[T] > S2
final def <<[U](f: T > S => U): U
final def apply[U, S2](f: T => U > S2)(using fr: Frame["apply"]): U > S | S2
final def flatMap[U, S2](f: T => U > S2): U > S | S2
final def map[U](f: T => U): U > S
final def unit: Unit > S
final def withFilter(p: T => Boolean): T > S
extension [T, S, S2](v: T > S > S2)
final def apply()(using x$2: Frame["apply"]): T > S | S2
extension [M[_], T, S](v: M[T] > S)
final def >[E <: Effect[M]](e: E)(using fr: Frame[">"]): T > S | E
extension [M[_], T, S](v: M[T > S])
final def >>[E <: Effect[M]](e: E)(using fr: Frame[">>"]): T > S | E

Exports

Defined exports

final type > = >
Exported from core$
final type AKyo = AKyo
Exported from core$
final val Abort: Abort.type
Exported from aborts
final type Abort = Abort
Exported from aborts$
final val Aborts: Aborts.type
Exported from aborts
final type Aborts = Aborts
Exported from aborts$
val Arrows: Arrows
Exported from arrows
final type Arrows = Arrows
Exported from arrows$
final val AtomicBoolean: AtomicBoolean.type
Exported from atomics
final type AtomicBoolean = AtomicBoolean
Exported from atomics$
final val AtomicInteger: AtomicInteger.type
Exported from atomics
final type AtomicInteger = AtomicInteger
Exported from atomics$
final val AtomicLong: AtomicLong.type
Exported from atomics
final type AtomicLong = AtomicLong
Exported from atomics$
final val AtomicReference: AtomicReference.type
Exported from atomics
final type AtomicReference = AtomicReference
Exported from atomics$
final val Clock: Clock.type
Exported from clocks
final type Clock = Clock
Exported from clocks$
final val Clocks: Clocks.type
Exported from clocks
final type Clocks = Clocks
Exported from clocks$
final val Console: Console.type
Exported from consoles
final type Console = Console
Exported from consoles$
final val Consoles: Consoles.type
Exported from consoles
final type Consoles = Consoles
Exported from consoles$
final type DeepHandler = [M[_], E <: Effect[M]] =>> DeepHandler[M, E]
Exported from core$
final val DoubleAdder: DoubleAdder.type
Exported from adders
final type DoubleAdder = DoubleAdder
Exported from adders$
final type Effect = [M[_]] =>> Effect[M]
Exported from core$
final type Ensure = Ensure
Exported from ios$
final type Env = Env
Exported from envs$
final val Envs: Envs.type
Exported from envs
final type Envs = Envs
Exported from envs$
final type Fiber = Fiber
Exported from fibers$
val Fibers: Fibers
Exported from fibers
final type Fibers = Fibers
Exported from fibers$
final type Handler = [M[_], E <: Effect[M]] =>> Handler[M, E]
Exported from core$
final type IO = IO
Exported from ios$
val IOs: IOs
Exported from ios
final type IOs = IOs
Exported from ios$
final type InlineConversion = InlineConversion
Exported from core$
final type Kyo = [M[_], E <: Effect[M], T, U, S] =>> Kyo[M, E, T, U, S]
Exported from core$
final type KyoCont = [M[_], E <: Effect[M], T, U, S] =>> KyoCont[M, E, T, U, S]
Exported from core$
final type KyoIO = KyoIO
Exported from ios$
final type KyoRoot = [M[_], E <: Effect[M], T, S] =>> KyoRoot[M, E, T, S]
Exported from core$
final val Latch: Latch.type
Exported from latches
final type Latch = Latch
Exported from latches$
val Lists: Lists
Exported from lists
final type Lists = Lists
Exported from lists$
final val LongAdder: LongAdder.type
Exported from adders
final type LongAdder = LongAdder
Exported from adders$
val Options: Options
Exported from options
final type Options = Options
Exported from options$
final val Preempt: Preempt.type
Exported from ios
final type Preempt = Preempt
Exported from ios$
final type Promise = Promise
Exported from fibers$
final val Random: Random.type
Exported from randoms
final type Random = Random
Exported from randoms$
final val Randoms: Randoms.type
Exported from randoms
final type Randoms = Randoms
Exported from randoms$
final val Safepoint: Safepoint.type
Exported from core
final type Safepoint = [E <: Effect[_[_]]] =>> Safepoint[E]
Exported from core$
final type Scope = Scope
Exported from scopes$
final val Scopes: Scopes.type
Exported from scopes
final type Scopes = Scopes
Exported from scopes$
final type ShallowHandler = [M[_], E <: Effect[M]] =>> ShallowHandler[M, E]
Exported from core$
final type Sum = Sum
Exported from sums$
final val Summer: Summer.type
Exported from sums
final type Summer = Summer
Exported from sums$
final val Sums: Sums.type
Exported from sums
final type Sums = Sums
Exported from sums$
final val Timer: Timer.type
Exported from timers
final type Timer = Timer
Exported from timers$
final type TimerTask = TimerTask
Exported from timers$
final val Timers: Timers.type
Exported from timers
final type Timers = Timers
Exported from timers$
val Tries: Tries
Exported from tries
final type Tries = Tries
Exported from tries$