EnvLeaf |
object EnvLeaf : FlexibleEnv |
FlexibleEnv |
Allows for runtime expandable Environment. interface FlexibleEnv |
ResourceId |
Key for a resource to get. data class ResourceId<T : Any> |
WrappedEnv |
Node instance of flexibleEnv data class WrappedEnv<Y : Any> : FlexibleEnv |
with |
Add next type to env. fun <T : Any> FlexibleEnv.with(t: T): FlexibleEnvfun <T : Any> FlexibleEnv.with(id: ResourceId<T>, t: T): FlexibleEnv |