constraints-extras-0.2.1.0: Utility package for constraints
Data.Constraint.Extras.TH
deriveArgDict :: Name -> Q [Dec] Source #
deriveArgDictV :: Name -> Q [Dec] Source #
gadtIndices :: Name -> Q [Type] Source #