TcInteract
Documentation
solveInteract :: InertSet -> CanonicalCts -> TcS InertSetSource
type AtomicInert = CanonicalCtSource
Instances
updInertSet :: InertSet -> AtomicInert -> InertSetSource
foldISEqCts :: (a -> AtomicInert -> a) -> a -> InertSet -> aSource