kyo

package kyo

Members list

Packages

package kyo.debug
package kyo.internal
package kyo.kernel

Type members

Classlikes

sealed trait Abort[-E] extends Effect[Const[Error[E]], Const[Unit]]

Attributes

Companion
object
Supertypes
class Effect[Const[Error[E]], Const[Unit]]
class Object
trait Matchable
class Any
object Abort

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Abort.type
object Aspect

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Aspect.type
final class Aspect[A, B, S] extends Cut[A, B, S]

Attributes

Companion
object
Supertypes
class Cut[A, B, S]
class Object
trait Matchable
class Any
sealed trait Choice extends Effect[Seq, Id]

Attributes

Companion
object
Supertypes
class Effect[Seq, Id]
class Object
trait Matchable
class Any
object Choice

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Choice.type
abstract class Cut[A, B, S]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Aspect[A, B, S]
sealed trait Emit[V] extends Effect[Const[V], Const[Ack]]

Attributes

Companion
object
Supertypes
class Effect[Const[V], Const[Ack]]
class Object
trait Matchable
class Any
opaque object Emit

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Emit.type
sealed trait Env[+R] extends ContextEffect[TypeMap[R]]

Attributes

Companion
object
Supertypes
class ContextEffect[TypeMap[R]]
class Object
trait Matchable
class Any
object Env

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Env.type
object Kyo

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Kyo.type
abstract class Layer[+Out, -S]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Self type
Layer[Out, S]
object Layer

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Layer.type
abstract class Local[A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Local

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Local.type
object Memo

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Memo.type
case class Stream[V, -S](v: Ack < (Emit[Chunk[V]] & S))

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Stream

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Stream.type
sealed trait Var[V] extends Effect[Const[Op[V]], Const[V]]

Attributes

Companion
object
Supertypes
class Effect[Const[Op[V]], Const[V]]
class Object
trait Matchable
class Any
object Var

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Var.type

Types

type <[+A, -S] = A < S
type Flat[A] = Flat[A]
opaque type Memo

Value members

Concrete fields

val Flat: Flat.type
val Loop: Loop.type