mirror of
https://github.com/github/semantic.git
synced 2024-12-28 09:21:35 +03:00
Alignment.
This commit is contained in:
parent
5acb7bee11
commit
46984f04c1
@ -50,6 +50,6 @@ data Domain term name value m k
|
|||||||
| String Text (value term name -> m k)
|
| String Text (value term name -> m k)
|
||||||
| AsString (value term name) (Text -> m k)
|
| AsString (value term name) (Text -> m k)
|
||||||
-- Record construction & elimination
|
-- Record construction & elimination
|
||||||
| Record [(name, value term name)] (value term name -> m k)
|
| Record [(name, value term name)] (value term name -> m k)
|
||||||
| Project (value term name) name (Maybe (value term name) -> m k)
|
| Project (value term name) name (Maybe (value term name) -> m k)
|
||||||
deriving (Functor)
|
deriving (Functor)
|
||||||
|
Loading…
Reference in New Issue
Block a user