git.iko.soy/effectful
on master help sign in
Name fields of Env for clarity
3a69865Andrzej Rybczak
src/Effectful/Internal/Env.hs+5−1
compare with master
unifiedsplit
@@ -57,7 +57,11 @@ type role Env nominal
57--
57--
58-- - Modification of a specific element: /O(forks)/, usually /O(1)/.
58-- - Modification of a specific element: /O(forks)/, usually /O(1)/.
59--
59--
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+ }
61
65
62-- | Local forks of the environment.
66-- | Local forks of the environment.
63data Forks = Forks {-# UNPACK #-} ForkId (IORef EnvRef) Forks | NoFork
67data Forks = Forks {-# UNPACK #-} ForkId (IORef EnvRef) Forks | NoFork