Documentation
solveInteract :: InertSet -> Bag FlavoredEvVar -> TcS (Bool, InertSet)Source
solveInteractWanted :: InertSet -> [WantedEvVar] -> TcS InertSetSource
type AtomicInert = CanonicalCtSource
updInertSet :: InertSet -> AtomicInert -> InertSetSource