Language.Haskell.TH.Compat.Reify

This module provides compatibility definitions of destructuring result type of reify for before temaplate-haskell-2.11

Interfaces to destruct reify result

unClassOpI :: Info -> Maybe (Name, Type, ParentName)

Compatible interface to destruct ClassOpI

unDataConI :: Info -> Maybe (Name, Type, ParentName)

Compatible interface to destruct DataConI

unVarI :: Info -> Maybe (Name, Type, Maybe Dec)

Compatible interface to destruct VarI

Interface to get operator fixity

reifyFixity :: Name -> Q (Maybe Fixity)

reifyFixity nm attempts to find a fixity declaration for nm. For example, if the function foo has the fixity declaration infixr 7 foo, then reifyFixity 'foo would return Just (Fixity 7 InfixR). If the function bar does not have a fixity declaration, then reifyFixity 'bar returns Nothing, so you may assume bar has defaultFixity.

Interface of type alias name

type ParentName = Name

In ClassOpI and DataConI, name of the parent class or type