Documentation

bndrName :: TyVarBndr -> Name Source

replaceTypeVar :: Name -> Name -> Type -> Type Source

replaceCxtVar :: Name -> Name -> Cxt -> Cxt Source

replaceTvbsVar :: Name -> Name -> [TyVarBndr] -> [TyVarBndr] Source

judgeName :: Name -> Name -> Name -> Name Source

type2List :: Type -> [Name] Source

cxt2List :: Cxt -> [Name] Source

tvbs2List :: [TyVarBndr] -> [Name] Source