TcInteract
Documentation
solveInteract :: InertSet -> CanonicalCts -> TcS InertSetSource
type AtomicInert = CanonicalCtSource
Instances
updInertSet :: InertSet -> AtomicInert -> InertSetSource
ghc-7.0.0.20101028: The GHC API
TcInteract
solveInteract :: InertSet -> CanonicalCts -> TcS InertSetSource
type AtomicInert = CanonicalCtSource
Instances
updInertSet :: InertSet -> AtomicInert -> InertSetSource