on master help sign in
Name fields of Env for clarity
commit3a698652172e8ce9f28982bf3aa51951ebb8e23f authorAndrzej Rybczak <andrzej@rybczak.net> dateTue 22 Jun 2021, 00:22 (5 years ago) parent7975895
1 file changed+5−1
src/Effectful/Internal/Env.hs+5−1
src/Effectful/Internal/Env.hs+5−1
@@ -57,7 +57,11 @@ type role Env nominal
5757--
5858-- - Modification of a specific element: /O(forks)/, usually /O(1)/.
5959--
60−data Env (es :: [Effect]) = Env Forks (IORef EnvRef) UniqueGen
60+data Env (es :: [Effect]) = Env
61+ { _forks :: Forks
62+ , _globalRef :: IORef EnvRef
63+ , _uniqueGen :: UniqueGen
64+ }
6165
6266-- | Local forks of the environment.
6367data Forks = Forks {-# UNPACK #-} ForkId (IORef EnvRef) Forks | NoFork