structural-traversal-0.1.1.1: Initial project template from stack
Data.StructuralTraversal.TH
Synopsis
deriveStructTrav :: Name -> Q [Dec] Source #
Derive SmartTrav
createInstance :: Name -> [TyVarBndr] -> [Con] -> Q [Dec] Source #
createConstraint :: Name -> Type -> Pred Source #
isTypVar :: Type -> Bool Source #
getTypVarTyp :: TyVarBndr -> Type Source #
thExamine :: Q [Dec] -> Q [Dec] Source #