constraints-extras-0.2.2.1: Utility package for constraints

Safe HaskellNone
LanguageHaskell2010

Data.Constraint.Extras.TH

Documentation

deriveArgDict :: Name -> Q [Dec] Source #

deriveArgDictV :: Name -> Q [Dec] Source #

gadtIndices :: Name -> Q [Either Type Type] Source #