Text.GRead.Derive.BindingGroup

Module used internally by the Derive module for binding group calculation.

Binding group

type BindingGroup = [(Name, [(Name, [[Type]])])]

Mapping from types to the list of types (with specific constructor instantiations, the '[[Type]]') in the same binding group.

getBindingGroup :: Name -> Q BindingGroup

Find cyclic type dependencies (binding groups)

showBindingGroup :: Name -> Q Exp

Template Haskell helpers

data UserType

Uniform representation of 'data' and 'newtype'

Constructors

UserD Name [Name] [Con]

getUserType :: Name -> Q UserType

Get a unified type for 'data' and 'newtype'

unrollApp :: Type -> [Type]

Get the types of a type application