diff --git a/src/Data/Record.hs b/src/Data/Record.hs index 56a8f97a4..6c04465c7 100644 --- a/src/Data/Record.hs +++ b/src/Data/Record.hs @@ -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.