Documentation

solveInteract :: InertSet -> CanonicalCts -> TcS InertSetSource

type AtomicInert = CanonicalCtSource

data InertSet Source

emptyInert :: InertSetSource

updInertSet :: InertSet -> AtomicInert -> InertSetSource

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

solveOne :: InertSet -> WorkItem -> TcS InertSetSource

foldISEqCts :: (a -> AtomicInert -> a) -> a -> InertSet -> aSource