1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00

Define a CellFor synonym.

This commit is contained in:
Rob Rix 2018-03-07 11:33:56 -05:00
parent 1c00a35d3c
commit 6c0a818269

View File

@ -81,6 +81,8 @@ type EnvironmentFor v = Environment (LocationFor v) v
-- | The store for an abstract value type.
type StoreFor v = Store (LocationFor v) v
type CellFor value = Cell (LocationFor value) value
-- | The location type (the body of 'Address'es) which should be used for an abstract value type.
type family LocationFor value :: * where
LocationFor (Value location term) = location