Envs

kyo.Envs
See theEnvs companion class
object Envs

Attributes

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

Members list

Type members

Types

type Elide[V] = V match { case Nothing => Any case V => Envs[V] }

Value members

Concrete methods

def apply[V]: Envs[V]

Extensions

Extensions

extension [V](self: Envs[V])
def get(using Tag[Envs[V]]): V < Envs[V]
def layer[Sd](construct: V < Sd)(using Tag[Envs[V]]): Layer[Envs[V], Sd]
def run[T, S, V2](env: V)(value: T < (Envs[V & V2] & S))(using Tag[Envs[V]], Flat[T < (Envs[V & V2] & S)]): T < (S & Elide[V2])
def use[T, S](f: V => T < S)(using Tag[Envs[V]]): T < (Envs[V] & S)