constraints-extras-0.3.0.2: Utility package for constraints

Safe Haskell	None
Language	Haskell2010

Data.Constraint.Extras.TH

Synopsis

deriveArgDict :: Name -> Q [Dec]
deriveArgDictV :: Name -> Q [Dec]
gadtIndices :: Name -> Name -> Q [Either Type Type]

Documentation

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

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

Deprecated: Just use deriveArgDict

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