ghc-7.0.4: The GHC API

TcInteract

# Documentation

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

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

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

type AtomicInert = CanonicalCt

tyVarsOfInert :: InertSet -> TcTyVarSet

data InertSet

Instances

Outputable InertSet |

emptyInert :: InertSet

updInertSet :: InertSet -> AtomicInert -> InertSet

extractUnsolved :: InertSet -> (InertSet, CanonicalCts)

solveOne :: InertSet -> WorkItem -> TcS InertSet