Searched defs:ForallT (Results 1 – 7 of 7) sorted by relevance
64 ForallT bs ctx ty -> let s' = s `Set.union` setOf typeVars bs function99 ForallT bs ctx ty -> let s' = s `Set.union` setOf typeVars bs function
300 | ForallT _ _ t' <- t = typeToName t' function
169 ground ForallT{} _ = rankNError function
2513 data Type = ForallT [TyVarBndr Specificity] Cxt Type -- ^ @forall \<vars\>. \<ctxt\> => \<type\>@ constructor
2355 data Type = ForallT [TyVarBndr] Cxt Type -- ^ @forall \<vars\>. \<ctxt\> => \<type\>@ constructor
2556 data Type = ForallT [TyVarBndr Specificity] Cxt Type -- ^ @forall \<vars\>. \<ctxt\> => \<type\>@ constructor