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

Classlikes

object HasEnvs extends LowPriorityHasEnvs

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
HasEnvs.type
sealed trait HasEnvs[V, VS]

An effect Envs[VS] includes a dependency on V, and once V has been handled, Envs[VS] should be replaced by Out

An effect Envs[VS] includes a dependency on V, and once V has been handled, Envs[VS] should be replaced by Out

Type parameters

V

the dependency included in VS

VS

all of the Envs dependencies represented by type intersection

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object HasEnvs
class RunDsl[V]

Attributes

Supertypes
class Object
trait Matchable
class Any
class UseDsl[V]

Attributes

Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def get[V](using Tag[Envs[V]]): V < Envs[V]
def run[V]: RunDsl[V]
def use[V]: UseDsl[V]