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