Documentation

data WorkList Source

isEmptyWorkList :: WorkList -> BoolSource

emptyWorkList :: WorkListSource

workListFromEq :: Ct -> WorkListSource

workListFromNonEq :: Ct -> WorkListSource

workListFromCt :: Ct -> WorkListSource

extendWorkListEq :: Ct -> WorkList -> WorkListSource

extendWorkListFunEq :: Ct -> WorkList -> WorkListSource

extendWorkListNonEq :: Ct -> WorkList -> WorkListSource

extendWorkListCt :: Ct -> WorkList -> WorkListSource

extendWorkListCts :: [Ct] -> WorkList -> WorkListSource

extendWorkListEqs :: [Ct] -> WorkList -> WorkListSource

appendWorkList :: WorkList -> WorkList -> WorkListSource

selectWorkItem :: WorkList -> (Maybe Ct, WorkList)Source

withWorkList :: Cts -> TcS () -> TcS (Bag Implication)Source

workListSize :: WorkList -> IntSource

updWorkListTcS :: (WorkList -> WorkList) -> TcS ()Source

updWorkListTcS_return :: (WorkList -> (a, WorkList)) -> TcS aSource

updTcSImplics :: (Bag Implication -> Bag Implication) -> TcS ()Source

data Ct Source

type Xi = TypeSource

tyVarsOfCt :: Ct -> TcTyVarSetSource

tyVarsOfCts :: Cts -> TcTyVarSetSource

emitInsoluble :: Ct -> TcS ()Source

isWanted :: CtEvidence -> BoolSource

isDerived :: CtEvidence -> BoolSource

isGivenCt :: Ct -> BoolSource

isWantedCt :: Ct -> BoolSource

isDerivedCt :: Ct -> BoolSource

canRewrite :: CtFlavour -> CtFlavour -> BoolSource

canSolve :: CtFlavour -> CtFlavour -> BoolSource

mkGivenLoc :: SkolemInfo -> TcLclEnv -> CtLocSource

data TcS a Source

runTcS :: TcS a -> TcM (a, Bag EvBind)Source

runTcSWithEvBinds :: EvBindsVar -> TcS a -> TcM aSource

failTcS :: SDoc -> TcS aSource

panicTcS :: SDoc -> TcS aSource

traceTcS :: String -> SDoc -> TcS ()Source

traceFireTcS :: Ct -> SDoc -> TcS ()Source

bumpStepCountTcS :: TcS ()Source

tryTcS :: TcS a -> TcS aSource

nestTcS :: TcS a -> TcS aSource

nestImplicTcS :: EvBindsVar -> Untouchables -> InertSet -> TcS a -> TcS aSource

recoverTcS :: TcS a -> TcS a -> TcS aSource

wrapErrTcS :: TcM a -> TcS aSource

wrapWarnTcS :: TcM a -> TcS aSource

addSolvedDict :: CtEvidence -> TcS ()Source

addSolvedFunEq :: TcType -> CtEvidence -> TcType -> TcS ()Source

getFlattenSkols :: TcS [TcTyVar]Source

deferTcSForAllEq :: (CtLoc, EvVar) -> ([TyVar], TcType) -> ([TyVar], TcType) -> TcS ()Source

setEvBind :: EvVar -> EvTerm -> TcS ()Source

data XEvTerm Source

data MaybeNew Source

isFresh :: MaybeNew -> BoolSource

freshGoals :: [MaybeNew] -> [CtEvidence]Source

getEvTerms :: [MaybeNew] -> [EvTerm]Source

xCtFlavor :: CtEvidence -> [TcPredType] -> XEvTerm -> TcS [CtEvidence]Source

rewriteCtFlavor :: CtEvidence -> TcPredType -> TcCoercion -> TcS (Maybe CtEvidence)Source

newWantedEvVar :: TcPredType -> TcS MaybeNewSource

newWantedEvVarNC :: TcPredType -> TcS CtEvidenceSource

instDFunConstraints :: TcThetaType -> TcS [MaybeNew]Source

newDerived :: TcPredType -> TcS (Maybe CtEvidence)Source

setWantedTyBind :: TcTyVar -> TcType -> TcS ()Source

getInstEnvs :: TcS (InstEnv, InstEnv)Source

getFamInstEnvs :: TcS (FamInstEnv, FamInstEnv)Source

getTopEnv :: TcS HscEnvSource

getGblEnv :: TcS TcGblEnvSource

getTcEvBinds :: TcS EvBindsVarSource

getUntouchables :: TcS UntouchablesSource

getTcEvBindsMap :: TcS EvBindMapSource

getTcSTyBinds :: TcS (IORef (TyVarEnv (TcTyVar, TcType)))Source

getTcSTyBindsMap :: TcS (TyVarEnv (TcTyVar, TcType))Source

lookupFlatEqn :: TcType -> TcS (Maybe (CtEvidence, TcType))Source

newFlattenSkolem :: CtFlavour -> TcType -> TcS (CtEvidence, TcType)Source

data Deque a Source

insertDeque :: a -> Deque a -> Deque aSource

emptyDeque :: Deque aSource

data InertSet Source

data InertCans Source

getInertEqs :: TcS (TyVarEnv Ct)Source

emptyInert :: InertSetSource

getTcSInerts :: TcS InertSetSource

lookupInInerts :: TcPredType -> TcS (Maybe CtEvidence)Source

getInertUnsolved :: TcS (Cts, Cts)Source

checkAllSolved :: TcS BoolSource

prepareInertsForImplications :: InertSet -> InertSetSource

modifyInertTcS :: (InertSet -> (a, InertSet)) -> TcS aSource

insertInertItemTcS :: Ct -> TcS ()Source

partitionCCanMap :: (Ct -> Bool) -> CCanMap a -> (Cts, CCanMap a)Source

partitionEqMap :: (Ct -> Bool) -> TyVarEnv (Ct, TcCoercion) -> ([Ct], TyVarEnv (Ct, TcCoercion))Source

getRelevantCts :: Uniquable a => a -> CCanMap a -> (Cts, CCanMap a)Source

extractRelevantInerts :: Ct -> TcS CtsSource

data CCanMap a Source

type CtTypeMap = TypeMap CtSource

type CtFamHeadMap = FamHeadMap CtSource

type CtPredMap = PredMap CtSource

data PredMap a Source

data FamHeadMap a Source

partCtFamHeadMap :: (Ct -> Bool) -> CtFamHeadMap -> (Cts, CtFamHeadMap)Source

lookupFamHead :: FamHeadMap a -> TcType -> Maybe aSource

lookupSolvedDict :: InertSet -> TcPredType -> Maybe CtEvidenceSource

filterSolved :: (CtEvidence -> Bool) -> PredMap CtEvidence -> PredMap CtEvidenceSource

instDFunType :: DFunId -> [DFunInstType] -> TcS ([TcType], TcType)Source

newFlexiTcSTy :: Kind -> TcS TcTypeSource

instFlexiTcS :: [TKVar] -> TcS (TvSubst, [TcType])Source

instFlexiTcSHelperTcS :: Name -> Kind -> TcS TcTypeSource

cloneMetaTyVar :: TcTyVar -> TcS TcTyVarSource

data Untouchables Source

isTouchableMetaTyVarTcS :: TcTyVar -> TcS BoolSource

isFilledMetaTyVar_maybe :: TcTyVar -> TcS (Maybe Type)Source

zonkTyVarsAndFV :: TcTyVarSet -> TcS TcTyVarSetSource

getDefaultInfo :: TcS ([Type], (Bool, Bool))Source

getDynFlags :: HasDynFlags m => m DynFlagsSource

matchFam :: TyCon -> [Type] -> TcS (Maybe (TcCoercion, TcType))Source

matchOpenFam :: TyCon -> [Type] -> TcS (Maybe FamInstMatch)Source

checkWellStagedDFun :: PredType -> DFunId -> CtLoc -> TcS ()Source

pprEq :: TcType -> TcType -> SDocSource