Mention forking in the description of Env

This commit is contained in:
Andrzej Rybczak 2021-06-19 13:35:09 +02:00
parent 209f61507b
commit e8f2bf6dff

View File

@ -43,6 +43,9 @@ type role Env nominal
-- | A mutable, strict (elements are kept in weak head normal form), extensible
-- record indexed by effect data types.
--
-- Supports forking, i.e. introducing branches for encapsulation of
-- interpreter-local data.
--
-- Offers very good performance characteristics:
--
-- - Extending: /O(1)/ (amortized).