Data.Registry.Aeson.TH.TH

Documentation

indexConstructorTypes :: [Type] -> [Type] -> Q [(Type, Int, Int)]

From: - the list of all the types of a data type - the list of the parameters types for one of the constructors Return: - the type - its index in the list of parameter types - its index in the list of all the types

typesOf :: Con -> Q [Type]

Get the types of all the fields of a constructor

nameOf :: Con -> Q Name

Get the name of a constructor

fieldsOf :: Con -> Q [Name]

Get the list of names of a constructor

makeName :: ThOptions -> Name -> Name

Remove the module name from a qualified name

getSimpleTypeName :: ThOptions -> Type -> Name

Return the name of a given type with a modified name based on options