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

Define an AbstractValue typeclass with instances for Value & Type.

Browse Source
This commit is contained in:
Rob Rix 2018-03-14 10:58:08 -04:00
parent 426b48ea1c
commit 971ca6e5ad
1 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -116,10 +116,17 @@ type CellFor value = Cell (LocationFor value) value
-- | The address set type for an abstract value type.
type LiveFor value = Live (LocationFor value) value
-- | The location type (the body of 'Address'es) which should be used for an abstract value type.
type family LocationFor value :: *
type instance LocationFor (Value location term) = location
type instance LocationFor Type.Type = Monovariant
class Eq (LocationFor value) => AbstractValue value where
-- | The location type (the body of 'Address'es) which should be used for an abstract value type.
type LocationFor value :: *
instance Eq location => AbstractValue (Value location term) where
type LocationFor (Value location term) = location
instance AbstractValue Type.Type where
type LocationFor Type.Type = Monovariant
-- | Value types, e.g. closures, which can root a set of addresses.
class ValueRoots value where