Documentation

solveInteract :: InertSet -> Bag FlavoredEvVar -> TcS (Bool, InertSet)Source

solveInteractGiven :: InertSet -> GivenLoc -> [EvVar] -> TcS InertSetSource

solveInteractWanted :: InertSet -> [WantedEvVar] -> TcS InertSetSource

type AtomicInert = CanonicalCtSource

tyVarsOfInert :: InertSet -> TcTyVarSetSource

data InertSet Source

emptyInert :: InertSetSource

updInertSet :: InertSet -> AtomicInert -> InertSetSource

extractUnsolved :: InertSet -> (InertSet, CanonicalCts)Source

solveOne :: InertSet -> WorkItem -> TcS InertSetSource