Documentation

data WorkList Source

isEmptyWorkList :: WorkList -> BoolSource

emptyWorkList :: WorkListSource

workListFromEq :: Ct -> WorkListSource

workListFromNonEq :: Ct -> WorkListSource

workListFromCt :: Ct -> WorkListSource

extendWorkListEq :: Ct -> WorkList -> WorkListSource

extendWorkListNonEq :: Ct -> WorkList -> WorkListSource

extendWorkListCt :: Ct -> WorkList -> WorkListSource

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

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

unionWorkList :: WorkList -> WorkList -> WorkListSource

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

getTcSWorkList :: TcS WorkListSource

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

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

getTcSWorkListTvs :: TcS TyVarSetSource

getTcSImplics :: TcS (Bag Implication)Source

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

emitTcSImplication :: Implication -> TcS ()Source

data Ct Source

type Xi = TypeSource

tyVarsOfCt :: Ct -> TcTyVarSetSource

tyVarsOfCts :: Cts -> TcTyVarSetSource

tyVarsOfCDicts :: Cts -> TcTyVarSetSource

emitFrozenError :: CtEvidence -> SubGoalDepth -> TcS ()Source

isWanted :: CtEvidence -> BoolSource

isDerived :: CtEvidence -> BoolSource

isGivenCt :: Ct -> BoolSource

isWantedCt :: Ct -> BoolSource

isDerivedCt :: Ct -> BoolSource

pprFlavorArising :: CtEvidence -> SDocSource

isFlexiTcsTv :: TyVar -> BoolSource

instFlexiTcSHelperTcS :: Name -> Kind -> TcS TcTypeSource

canRewrite :: CtEvidence -> CtEvidence -> BoolSource

canSolve :: CtEvidence -> CtEvidence -> BoolSource

mkGivenLoc :: WantedLoc -> SkolemInfo -> GivenLocSource

ctWantedLoc :: Ct -> WantedLocSource

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 :: SubGoalDepth -> SDoc -> TcS ()Source

bumpStepCountTcS :: TcS ()Source

doWithInert :: InertSet -> TcS a -> TcS aSource

tryTcS :: TcS a -> TcS aSource

nestImplicTcS :: EvBindsVar -> TcsUntouchables -> TcS a -> TcS aSource

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

wrapErrTcS :: TcM a -> TcS aSource

wrapWarnTcS :: TcM a -> TcS aSource

getFlatCache :: TcS CtTypeMapSource

updFlatCache :: Ct -> TcS ()Source

addToSolved :: CtEvidence -> TcS ()Source

addSolvedFunEq :: CtEvidence -> TcS ()Source

deferTcSForAllEq :: (WantedLoc, 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 :: WantedLoc -> TcPredType -> TcS MaybeNewSource

instDFunConstraints :: WantedLoc -> TcThetaType -> TcS [MaybeNew]Source

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

xCtFlavor_cache :: Bool -> CtEvidence -> [TcPredType] -> XEvTerm -> TcS [CtEvidence]Source

rewriteCtFlavor_cache :: Bool -> CtEvidence -> TcPredType -> TcCoercion -> 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 TcsUntouchablesSource

getTcEvBindsMap :: TcS EvBindMapSource

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

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

newFlattenSkolemTy :: TcType -> TcS TcTypeSource

data InertSet Source

data InertCans Source

getInertEqs :: TcS (TyVarEnv Ct, InScopeSet)Source

getCtCoercion :: EvBindMap -> Ct -> TcCoercionSource

emptyInert :: InertSetSource

getTcSInerts :: TcS InertSetSource

lookupInInerts :: InertSet -> TcPredType -> Maybe CtEvidenceSource

getInertUnsolved :: InertSet -> CtsSource

getInertInsols :: InertSet -> CtsSource

splitInertsForImplications :: InertSet -> ([Ct], InertSet)Source

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

updInertSetTcS :: 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

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

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

newFlexiTcSTy :: Kind -> TcS TcTypeSource

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

compatKind :: Kind -> Kind -> BoolSource

mkKindErrorCtxtTcS :: Type -> Kind -> Type -> Kind -> ErrCtxtSource

type TcsUntouchables = (Untouchables, TcTyVarSet)Source

isTouchableMetaTyVar :: TcTyVar -> TcS BoolSource

isTouchableMetaTyVar_InRange :: TcsUntouchables -> TcTyVar -> BoolSource

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

getDynFlags :: HasDynFlags m => m DynFlagsSource

matchClass :: Class -> [Type] -> TcS (MatchInstResult (DFunId, [Maybe TcType]))Source

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

data MatchInstResult mi Source

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

warnTcS :: CtLoc orig -> Bool -> SDoc -> TcS ()Source

pprEq :: TcType -> TcType -> SDocSource