Commit 9484150a authored by lewie's avatar lewie
Browse files

[project @ 2001-04-12 21:20:28 by lewie]

Export a useful predicate.
parent cf9c51f6
...@@ -51,7 +51,7 @@ module Type ( ...@@ -51,7 +51,7 @@ module Type (
-- Predicates and the like -- Predicates and the like
PredType(..), getClassPredTys_maybe, getClassPredTys, PredType(..), getClassPredTys_maybe, getClassPredTys,
isClassPred, isTyVarClassPred, isPredTy, isClassPred, isTyVarClassPred,
mkDictTy, mkPredTy, mkPredTys, splitPredTy_maybe, predTyUnique, mkDictTy, mkPredTy, mkPredTys, splitPredTy_maybe, predTyUnique,
splitDictTy, splitDictTy_maybe, isDictTy, predRepTy, splitDFunTy, splitDictTy, splitDictTy_maybe, isDictTy, predRepTy, splitDFunTy,
mkClassPred, predMentionsIPs, inheritablePred, isIPPred, mkPredName, mkClassPred, predMentionsIPs, inheritablePred, isIPPred, mkPredName,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment