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

core

kyo.core$
opaque object core

Attributes

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

Members list

Concise view

Type members

Classlikes

trait Effect[+M[_]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Aborts[E]
class Arrows
class Envs[E]
class IOs
class Lists
class Options
class Sums[V]
class Tries
class Fibers
abstract class Handler[M[_], E <: Effect[M]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
abstract class InlineConversion[T, U] extends Conversion[T, U]

Attributes

Graph
Supertypes
class Conversion[T, U]
trait T => U
class Object
trait Matchable
class Any
object Safepoint

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Safepoint[E <: Effect[_[_]]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Preempt

Types

infix opaque type >[+T, +S]

Value members

Concrete methods

def collect[T, S](v: List[T > S]): List[T] > S
def zip[T1, T2, S](v1: T1 > S, v2: T2 > S): (T1, T2) > S
def zip[T1, T2, T3, S](v1: T1 > S, v2: T2 > S, v3: T3 > S): (T1, T2, T3) > S
def zip[T1, T2, T3, T4, S](v1: T1 > S, v2: T2 > S, v3: T3 > S, v4: T4 > S): (T1, T2, T3, T4) > S

Givens

Givens

given `given_InlineConversion_>_T`[T](using x$1: NotGiven[T <:< Any > Any]): `given_InlineConversion_>_T`[T]
given given_InlineConversion_E_Function[M[_], E <: Effect[M], T](using x$1: DeepHandler[M, E]): given_InlineConversion_E_Function[M, E, T]
given given_InlineConversion_Kyo_>[T, S](using x$1: NotGiven[T <:< Any > Any]): T given_InlineConversion_Kyo_> S
given given_InlineConversion_T_>[T](using x$1: NotGiven[T <:< Any > Any]): given_InlineConversion_T_>[T]

Extensions

Extensions

extension [M[_], T, S](v: M[T] > S)
def >[E <: Effect[M]](e: E)(using fr: Frame[">"]): T > S | E
extension [T, S](v: T > S)
def <[M[_], E <: Effect[M], S2 <: S](e: E)(using S => S2 | E)(using h: Handler[M, E], s: Safepoint[E], fr: Frame["<"]): M[T] > S2
def apply[U, S2](f: T => U > S2)(using fr: Frame["apply"]): U > S | S2
def flatMap[U, S2](f: T => U > S2): U > S | S2
def map[U](f: T => U): U > S
def unit: Unit > S
def withFilter(p: T => Boolean): T > S
extension [T, S, S2](v: T > S > S2)
def flatten(using Frame["apply"]): T > S | S2
Generated with