Haskus.Utils.Types.Generics

Fields

data Field name t

type family FieldType f where ...

type family LookupField (fs :: [*]) (s :: Symbol) where ...

type family LookupFieldType fs s where ...

Data type fields

type family ExtractFields (a :: *) where ...

type family ExtractFieldTypes (a :: *) where ...