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

Add a type family for monotypes.

Browse Source
This commit is contained in:
Rob Rix 2016-06-16 17:02:08 -04:00
parent ba1fc277eb
commit b18a30b441
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Data/Record.hs
View File

@ -1,4 +1,4 @@
{-# LANGUAGE DataKinds, FlexibleContexts, GADTs, GeneralizedNewtypeDeriving, KindSignatures, MultiParamTypeClasses, TypeOperators #-}
{-# LANGUAGE DataKinds, FlexibleContexts, GADTs, GeneralizedNewtypeDeriving, KindSignatures, MultiParamTypeClasses, TypeFamilies, TypeOperators #-}
module Data.Record where
import Prologue
@ -29,6 +29,11 @@ field :: b -> a :=> b
field = Field
-- Families
type family ValueOf field
-- Classes
-- | HasField enables indexing a Record by (phantom) type tags.