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 Cell as an open type family.

Browse Source
This commit is contained in:
Rob Rix 2018-03-14 11:15:23 -04:00
parent 8ac251c45b
commit 6dd03c72d5
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 where
Cell Precise = Latest
Cell Monovariant = Set
type family Cell location = (res :: * -> *) | res -> location
type instance Cell Precise = Latest
type instance Cell Monovariant = Set
-- | A cell holding a single value. Writes will replace any prior value.