TcInteract
Documentation
solveInteract :: InertSet -> Bag FlavoredEvVar -> TcS (Bool, InertSet)
solveInteractWanted :: InertSet -> [WantedEvVar] -> TcS InertSet
type AtomicInert = CanonicalCt
tyVarsOfInert :: InertSet -> TcTyVarSet
data InertSet
Instances
updInertSet :: InertSet -> AtomicInert -> InertSet
extractUnsolved :: InertSet -> (InertSet, CanonicalCts)