github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 21:31:48 +03:00
Code Issues Projects Releases Wiki Activity

Rename the value effects section to domain effects.

Browse Source
This commit is contained in:
Rob Rix 2018-12-12 09:48:08 -05:00
parent 49785f1718
commit 2c0f8b355b
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Control/Abstract/Value.hs
View File

@ -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∷