Safe Haskell	Safe-Inferred
Language	GHC2021

Data.Registry.Aeson.TH.TH

Synopsis

indexConstructorTypes :: [Type] -> [Type] -> Q [(Type, Int, Int)]
typesOf :: Con -> Q [Type]
nameOf :: Con -> Q Name
fieldsOf :: Con -> Q [Name]
makeName :: ThOptions -> Name -> Name
getSimpleTypeName :: ThOptions -> Type -> Name

Documentation

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

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] Source #

Get the types of all the fields of a constructor

nameOf :: Con -> Q Name Source #

Get the name of a constructor

fieldsOf :: Con -> Q [Name] Source #

Get the list of names of a constructor

makeName :: ThOptions -> Name -> Name Source #

Remove the module name from a qualified name

getSimpleTypeName :: ThOptions -> Type -> Name Source #

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