Name fields of Env for clarity

This commit is contained in:
Andrzej Rybczak 2021-06-22 00:22:28 +02:00
parent 7975895c8c
commit 3a69865217

View File

@ -57,7 +57,11 @@ type role Env nominal
--
-- - Modification of a specific element: /O(forks)/, usually /O(1)/.
--
data Env (es :: [Effect]) = Env Forks (IORef EnvRef) UniqueGen
data Env (es :: [Effect]) = Env
{ _forks :: Forks
, _globalRef :: IORef EnvRef
, _uniqueGen :: UniqueGen
}
-- | Local forks of the environment.
data Forks = Forks {-# UNPACK #-} ForkId (IORef EnvRef) Forks | NoFork