ghc-7.0.3: The GHC API

TcInteract

# Documentation

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

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

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

type AtomicInert = CanonicalCt Source

tyVarsOfInert :: InertSet -> TcTyVarSet Source

data InertSet Source

Instances

Outputable InertSet |

emptyInert :: InertSet Source

updInertSet :: InertSet -> AtomicInert -> InertSet Source

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

solveOne :: InertSet -> WorkItem -> TcS InertSet Source