Language.Pads.GenPretty

Documentation

getTyNames :: Type -> Set Name

Get all the names of types referenced within the given Type

getTyNamesFromCon :: Con -> Set Name

Get all the types referenced within the given Haskell constructor.

getNamedTys :: Name -> Q [Name]

Recursively reify types to get all the named types referenced by the given name

getNamedTys' :: Set Name -> Set Name -> Q (Set Name)

Helper for getNamedTys

baseTypeNames :: Set Name

All the base types supported by Pads

mkPrettyInstance :: Name -> Q [Dec]

Recursively make the pretty printing instance for a given named type by also making instances for all nested types.

mkPrettyInstance' :: Set Name -> Set Name -> [Dec] -> Q [Dec]

Helper for mkPrettyInstance

isTuple :: Type -> Bool

Is the given type a TupleT?

isDataType :: [Con] -> Bool

Is the given constructor a normal Haskell constructor?

isRecordType :: [Con] -> Bool

Is the given constructor a Haskell record constructor?

mkPatBody :: String -> (Exp -> Exp) -> Q (Pat, Body)

Make the pattern body of a pretty printer expression for a named Pads type

mkPatBodyNoArg :: String -> Q (Pat, Body)

Make the pattern body of a pretty printer expression for a Pads type / data constructor without arguments.

mkClause :: Con -> Q Match

Make the clause for the data constructor of a data type based on whether or not it has any arguments.

mkRecord :: Con -> Q Clause

Make the Haskell clause for a Pads record.

mkField :: (Name, b, c) -> Q ((Name, Pat), Exp)

Make the field pretty printer case.