github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity

🔥 Allocatable & Derefable.

Browse Source
This commit is contained in:
Rob Rix 2018-08-13 09:46:46 -04:00
parent c5234c0d62
commit 9c9fa333d6
3 changed files with 0 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
semantic.cabal
View File

@ -35,7 +35,6 @@ library
, Assigning.Assignment.Table
-- Control structures & interfaces for abstract interpretation
, Control.Abstract
, Control.Abstract.Addressable
, Control.Abstract.Context
, Control.Abstract.Environment
, Control.Abstract.Evaluator

1
src/Control/Abstract.hs
View File

@ -2,7 +2,6 @@ module Control.Abstract
( module X
) where
import Control.Abstract.Addressable as X
import Control.Abstract.Context as X
import Control.Abstract.Environment as X hiding (Lookup)
import Control.Abstract.Evaluator as X

15
src/Control/Abstract/Addressable.hs
View File

@ -1,15 +0,0 @@
module Control.Abstract.Addressable
( Allocatable(..)
, Derefable(..)
) where
import Control.Abstract.Evaluator
import Data.Abstract.Name
import Prologue
class (Ord address, Show address) => Allocatable address effects where
allocCell :: Name -> Evaluator address value effects address
class (Ord address, Show address) => Derefable address effects where
derefCell :: address -> Set value -> Evaluator address value effects (Maybe value)
assignCell :: Ord value => address -> value -> Set value -> Evaluator address value effects (Set value)