Searched defs:noFreeVarsOfType (Results 1 – 4 of 4) sorted by relevance
713 noFreeVarsOfType (TyVarTy _) = False function714 noFreeVarsOfType (AppTy t1 t2) = noFreeVarsOfType t1 && noFreeVarsOfType t2 function715 noFreeVarsOfType (TyConApp _ tys) = all noFreeVarsOfType tys function716 noFreeVarsOfType ty@(ForAllTy {}) = isEmptyVarSet (tyCoVarsOfType ty) function717 noFreeVarsOfType (FunTy _ t1 t2) = noFreeVarsOfType t1 && noFreeVarsOfType t2 function718 noFreeVarsOfType (LitTy _) = True function719 noFreeVarsOfType (CastTy ty co) = noFreeVarsOfType ty && noFreeVarsOfCo co function720 noFreeVarsOfType (CoercionTy co) = noFreeVarsOfCo co function
877 noFreeVarsOfType ty = DM.getAll (nfv_ty ty) function
892 noFreeVarsOfType ty = not $ DM.getAny (f ty) function