Language.Haskell.DTC.DataInfo

Documentation

data DataInfo

Information about names in a data declaration.

Constructors

DataInfo

Fields

dataName :: Name

The data type name.

consList :: [(Name, Int)]

Ordinary constructor names, and their number of arguments.

rconsList :: [(Name, [Name])]

Record constructor names and their field names.

Instances

Show DataInfo

dataInfo :: Decl -> Maybe DataInfo

Extract a DataInfo from a declaration. Returns Nothing if the argument is not a data declaration.

moduleDataInfo :: Module -> [DataInfo]

Extract DataInfo from all data declarations in a module.