get the environment
get the environment
get the environment
get the environment
modify the environment
modify the environment
Lift a computation over a "small" reader (for a subsystem) into a computation over a "bigger" reader (for the full application)
Lift a computation over a "small" reader (for a subsystem) into a computation over a "bigger" reader (for the full application)
modify the environment
modify the environment
interpret the Reader effect by providing an environment when required
interpret the Reader effect by providing an environment when required
interpret a tagged Reader effect by providing an environment when required
interpret a tagged Reader effect by providing an environment when required