From 2c0f8b355beacabc81b8821ada6e134d9ad24b27 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Wed, 12 Dec 2018 09:48:08 -0500
Subject: [PATCH] Rename the value effects section to domain effects.

---
 src/Control/Abstract/Value.hs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/Control/Abstract/Value.hs b/src/Control/Abstract/Value.hs
index d905a321d..86b88ca7e 100644
--- a/src/Control/Abstract/Value.hs
+++ b/src/Control/Abstract/Value.hs
@@ -3,8 +3,8 @@ module Control.Abstract.Value
 ( AbstractValue(..)
 , AbstractIntro(..)
 , Comparator(..)
--- * Value effects
--- $valueEffects
+-- * Domain effects
+-- $domainEffects
 , function
 , BuiltIn(..)
 , builtIn
@@ -55,9 +55,9 @@ data Comparator
   = Concrete (forall a . Ord a => a -> a -> Bool)
   | Generalized
 
--- Value effects
+-- Domain effects
 
--- $valueEffects
+-- $domainEffects
 -- Value effects are effects modelling the /introduction/ & /elimination/ of some specific kind of value.
 --
 -- Modelling each of these as effects has several advantages∷