github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00
Code Issues Projects Releases Wiki Activity

📝 the methods in AbstractValue.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 09:49:01 -05:00
parent 09ed71177c
commit 8e3a14ce4d
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Data/Abstract/Value.hs
View File

@ -83,9 +83,16 @@ class ValueRoots l v | v -> l where
-- | An interface for constructing abstract values. -- | An interface for constructing abstract values.
class AbstractValue v where class AbstractValue v where
-- | Construct an abstract unit value.
unit :: v unit :: v
-- | Construct an abstract integral value.
integer :: Prelude.Integer -> v integer :: Prelude.Integer -> v
-- | Construct an abstract boolean value.
boolean :: Bool -> v boolean :: Bool -> v
-- | Construct an abstract string value.
string :: ByteString -> v string :: ByteString -> v