FrontEnd.Tc.Class

Documentation

data Pred

Instances

Eq Pred

Ord Pred

Show Pred

Binary Pred

UnVar Pred

Tickleable Type Pred

FreeVars Type b => FreeVars Pred b

DocLike d => PPrint d Pred

data ClassHierarchy

Instances

Monoid ClassHierarchy

Binary ClassHierarchy

splitPreds :: Monad m => ClassHierarchy -> Set MetaVar -> Preds -> m (Preds, Preds)

split predicates into ones that only mention metavars in the list vs other ones

generalize :: [Pred] -> Rho -> Tc Sigma

splitReduce

Arguments

:: Set MetaVar

Meta vars from the environment

-> Set MetaVar

-> [Pred]

Relevant predicates

-> Tc ([MetaVar], [Pred], [Pred])

(retained ??? meta-vars, untouched predicates, altered predicates)

topDefaults :: [Pred] -> Tc ()

freeMetaVarsPreds :: Preds -> Set MetaVar

simplify :: ClassHierarchy -> [Pred] -> [Pred]

assertEntailment :: Preds -> Preds -> Tc ()

assertEquivalant :: Preds -> Preds -> Tc ()

type Preds = [Pred]