TcInteract
Documentation
solveInteract :: InertSet -> CanonicalCts -> TcS InertSet
type AtomicInert = CanonicalCt
data InertSet
Instances
updInertSet :: InertSet -> AtomicInert -> InertSet
extractUnsolved :: InertSet -> (InertSet, CanonicalCts)
foldISEqCts :: (a -> AtomicInert -> a) -> a -> InertSet -> a