Safe Haskell | Trustworthy |
---|
Lazy read-only state
Documentation
The request for a value of type e from the current environment. This environment is analogous to a parameter of type e.
local :: (Typeable e, Member (Reader e) r) => (e -> e) -> Eff r a -> Eff r aSource
Locally rebind the value in the dynamic environment. This function both requests and admins Reader requests.