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

Derive a Lower instance for Cache.

Browse Source
This commit is contained in:
Rob Rix 2018-05-02 18:12:02 -04:00
parent 587dc4155a
commit dc1a33f111
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Data/Abstract/Cache.hs
View File

@ -5,10 +5,12 @@ import Data.Abstract.Address
import Data.Abstract.Configuration
import Data.Abstract.Heap
import Data.Map.Monoidal as Monoidal
import Data.Semilattice.Lower
import Prologue
-- | A map of 'Configuration's to 'Set's of resulting values & 'Heap's.
newtype Cache l t v = Cache { unCache :: Monoidal.Map (Configuration l t v) (Set (v, Heap l v)) }
deriving (Lower)
type Cacheable location term value = (Ord (Cell location value), Ord location, Ord term, Ord value)