kyo-prelude
API
Generated with
kyo-prelude/kyo/Env

Env

kyo.Env
See theEnv companion trait
object Env

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Env.type

Members list

Type members

Classlikes

final class UseOps[R](dummy: Unit) extends AnyVal

Attributes

Supertypes
class AnyVal
trait Matchable
class Any
object eliminateEnv extends Eliminable[Env[Any]]

Attributes

Supertypes
trait Eliminable[Env[Any]]
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

inline def get[R](using inline tag: Tag[R])(using inline frame: Frame): R < Env[R]
def run[R : Tag, A : Flat, S, VR](env: R)(v: A < (Env[R & VR] & S))(implicit evidence$1: Tag[R], evidence$2: Flat[A], reduce: Reducible[Env[VR]], frame: Frame): A < (S & reduce.SReduced)
transparent inline def runLayer[A, S, V](inline layers: Layer[_, _]*)(value: A < (Env[V] & S)): A < Nothing
def runTypeMap[R, A : Flat, S, VR](env: TypeMap[R])(v: A < (Env[R & VR] & S))(implicit evidence$1: Flat[A], reduce: Reducible[Env[VR]], frame: Frame): A < (S & reduce.SReduced)
inline def use[R]: UseOps[R]

Givens

Givens

Generated with