@@ -43,15 +43,15 @@ type role Env nominal
43-- | A mutable, strict (elements are kept in weak head normal form), extensible
43-- | A mutable, strict (elements are kept in weak head normal form), extensible
44-- record indexed by effect data types.
44-- record indexed by effect data types.
46−-- Offers pretty much perfect performance characteristics:
46+-- Offers very good performance characteristics:
48-- - Extending: /O(1)/ (amortized).
48-- - Extending: /O(1)/ (amortized).
50-- - Shrinking: /O(1)/.
50-- - Shrinking: /O(1)/.
52−-- - Indexing via '(:>)': /O(1)/ (amortized).
52+-- - Indexing via '(:>)': /O(forks)/, usually /O(1)/ (amortized).
54−-- - Modification of a specific element: /O(1)/.
54+-- - Modification of a specific element: /O(forks)/, usually /O(1)/.
56data Env (es :: [Effect]) = Env Forks (IORef EnvRef)
56data Env (es :: [Effect]) = Env Forks (IORef EnvRef)