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

keepWanted :: Cts -> CtsSource

data Ct Source

type Xi = TypeSource

tyVarsOfCt :: Ct -> TcTyVarSetSource

tyVarsOfCts :: Cts -> TcTyVarSetSource

tyVarsOfCDicts :: Cts -> TcTyVarSetSource

emitFrozenError :: CtFlavor -> EvVar -> SubGoalDepth -> TcS ()Source

isWanted :: CtFlavor -> BoolSource

isGivenOrSolved :: CtFlavor -> BoolSource

isDerived :: CtFlavor -> BoolSource

isGivenOrSolvedCt :: Ct -> BoolSource

isGivenCt_maybe :: Ct -> Maybe GivenKindSource

isWantedCt :: Ct -> BoolSource

isDerivedCt :: Ct -> BoolSource

pprFlavorArising :: CtFlavor -> SDocSource

isFlexiTcsTv :: TyVar -> BoolSource

canRewrite :: CtFlavor -> CtFlavor -> BoolSource

canSolve :: CtFlavor -> CtFlavor -> BoolSource

combineCtLoc :: CtFlavor -> CtFlavor -> WantedLocSource

mkSolvedFlavor :: CtFlavor -> SkolemInfo -> EvTerm -> CtFlavorSource

mkGivenFlavor :: CtFlavor -> SkolemInfo -> CtFlavorSource

mkWantedFlavor :: CtFlavor -> CtFlavorSource

getWantedLoc :: Ct -> WantedLocSource

data TcS a Source

runTcS :: SimplContext -> Untouchables -> InertSet -> WorkList -> TcS a -> TcM (a, Bag EvBind)Source

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

data SimplContext Source

isInteractive :: SimplContext -> BoolSource

simplEqsOnly :: SimplContext -> BoolSource

performDefaulting :: SimplContext -> BoolSource

newEvVar :: CtFlavor -> TcPredType -> TcS EvVarCreatedSource

forceNewEvVar :: CtFlavor -> TcPredType -> TcS EvVarSource

delCachedEvVar :: EvVar -> CtFlavor -> TcS ()Source

updateFlatCache :: EvVar -> CtFlavor -> TyCon -> [Xi] -> TcType -> FlatEqOrigin -> TcS ()Source

flushFlatCache :: TcS ()Source

newGivenEqVar :: CtFlavor -> TcType -> TcType -> TcCoercion -> TcS (CtFlavor, EvVar)Source

newEqVar :: CtFlavor -> TcType -> TcType -> TcS EvVarCreatedSource

newKindConstraint :: TcTyVar -> Kind -> CtFlavor -> TcS EvVarCreatedSource

data EvVarCreated Source

isNewEvVar :: EvVarCreated -> BoolSource

data FlatEqOrigin Source

origin_matches :: FlatEqOrigin -> FlatEqOrigin -> BoolSource

setEqBind :: EqVar -> TcCoercion -> CtFlavor -> TcS CtFlavorSource

setEvBind :: EvVar -> EvTerm -> CtFlavor -> TcS CtFlavorSource

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

getTcSContext :: TcS SimplContextSource

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

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

getTcSEvVarCacheMap :: TcS (TypeMap (EvVar, CtFlavor))Source

getTcSEvVarFlatCache :: TcS (TypeMap (TcCoercion, (Type, CtFlavor, FlatEqOrigin)))Source

setTcSEvVarCacheMap :: TypeMap (EvVar, CtFlavor) -> TcS ()Source

pprEvVarCache :: TypeMap (TcCoercion, a) -> SDocSource

newFlattenSkolemTy :: TcType -> TcS TcTypeSource

data InertSet Source

getInertEqs :: TcS (TyVarEnv (Ct, TcCoercion), InScopeSet)Source

liftInertEqsTy :: (TyVarEnv (Ct, TcCoercion), InScopeSet) -> CtFlavor -> PredType -> TcCoercionSource

getCtCoercion :: Ct -> TcCoercionSource

emptyInert :: InertSetSource

getTcSInerts :: TcS InertSetSource

updInertSet :: InertSet -> AtomicInert -> InertSetSource

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

extractUnsolvedTcS :: TcS (Cts, Cts)Source

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

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

pprCtTypeMap :: TypeMap Ct -> SDocSource

mkPredKeyForTypeMap :: Ct -> PredTypeSource

partitionCtTypeMap :: (Ct -> Bool) -> TypeMap Ct -> (Cts, TypeMap Ct)Source

instDFunTypes :: [Either TyVar TcType] -> TcS [TcType]Source

instDFunConstraints :: TcThetaType -> CtFlavor -> TcS [EvVarCreated]Source

newFlexiTcSTy :: Kind -> TcS TcTypeSource

instFlexiTcS :: TyVar -> TcS TcTyVarSource

compatKind :: Kind -> Kind -> BoolSource

compatKindTcS :: Kind -> Kind -> TcS BoolSource

isSubKindTcS :: Kind -> Kind -> TcS BoolSource

unifyKindTcS :: Type -> Type -> Kind -> Kind -> TcS BoolSource

type TcsUntouchables = (Untouchables, TcTyVarSet)Source

isTouchableMetaTyVar :: TcTyVar -> TcS BoolSource

isTouchableMetaTyVar_InRange :: TcsUntouchables -> TcTyVar -> BoolSource

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

getDynFlags :: TcS DynFlagsSource

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

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

data MatchInstResult mi Source

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

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

pprEq :: TcType -> TcType -> SDocSource