@@ -1,6 +1,6 @@
11{-# LANGUAGE AllowAmbiguousTypes #-}
22{-# OPTIONS_HADDOCK not-home #-}
3−-- | The environment for 'Effectful.Internal.Monad.Eff'.
3+-- | The environment for the 'Effectful.Internal.Monad.Eff' monad.
44--
55-- This module is intended for internal use only, and may change without warning
66-- in subsequent releases.
@@ -40,8 +40,8 @@ import Effectful.Internal.Effect
4040
4141type role Env nominal
4242
43−-- | A mutable, strict (elements are kept in weak head normal form), extensible
44−-- record indexed by effect data types.
43+-- | A thread local, mutable, strict (elements are kept in weak head normal
44+-- form), extensible record indexed by data types of kind 'Effect'.
4545--
4646-- Supports forking, i.e. introduction of local branches for encapsulation of
4747-- data specific to effect interpreters.
@@ -54,7 +54,7 @@ type role Env nominal
5454--
5555-- - Indexing via '(:>)': /O(forks)/, usually /O(1)/ (amortized).
5656--
57−-- - Modification of a specific element: /O(forks)/, usually /O(1)/.
57+-- - Modification of a specific element: /O(1)/.
5858--
5959data Env (es :: [Effect]) = Env
6060 { _forks :: Forks