github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 15:35:14 +03:00
Code Issues Projects Releases Wiki Activity

Revert "Define Cell as an open type family."

Browse Source 
This reverts commit 678ccd0d90a687d4e7a606a90a2fc60cde62f424.
This commit is contained in:
Rob Rix 2018-03-14 15:41:31 -04:00
parent 5e24aba4b7
commit b854009e82
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Data/Abstract/Address.hs
View File

@ -24,9 +24,9 @@ newtype Monovariant = Monovariant { unMonovariant :: Name }
-- | The type into which stored values will be written for a given location type.
type family Cell location = (res :: * -> *) | res -> location
type instance Cell Precise = Latest
type instance Cell Monovariant = Set
type family Cell location = res | res -> location where
Cell Precise = Latest
Cell Monovariant = Set
-- | A cell holding a single value. Writes will replace any prior value.