constraints-extras-0.2.1.0: 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 [Type] Source #