Documentation
type CanonicalCts = Bag CanonicalCtSource
andCCans :: [CanonicalCts] -> CanonicalCtsSource
isCTyEqCan :: CanonicalCt -> BoolSource
isCIPCan_Maybe :: CanonicalCt -> Maybe (IPName Name)Source
mkFrozenError :: CtFlavor -> EvVar -> CanonicalCtSource
isGivenCt :: CanonicalCt -> BoolSource
isWantedCt :: CanonicalCt -> BoolSource
isDerivedCt :: CanonicalCt -> BoolSource
isFlexiTcsTv :: TyVar -> BoolSource
canRewrite :: CtFlavor -> CtFlavor -> BoolSource
combineCtLoc :: CtFlavor -> CtFlavor -> WantedLocSource
mkGivenFlavor :: CtFlavor -> SkolemInfo -> CtFlavorSource
runTcS :: SimplContext -> Untouchables -> TcS a -> TcM (a, Bag EvBind)Source
traceFireTcS :: Int -> SDoc -> TcS ()Source
bumpStepCountTcS :: TcS ()Source
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
newEvVar :: TcPredType -> TcS EvVarSource
newDerivedId :: TcPredType -> TcS EvVarSource
setDictBind :: EvVar -> EvTerm -> TcS ()Source
setWantedTyBind :: TcTyVar -> TcType -> TcS ()Source
getInstEnvs :: TcS (InstEnv, InstEnv)Source
instDFunConstraints :: TcThetaType -> TcS [EvVar]Source
newFlexiTcSTy :: Kind -> TcS TcTypeSource
instFlexiTcS :: TyVar -> TcS TcTyVarSource
compatKind :: Kind -> Kind -> BoolSource
type TcsUntouchables = (Untouchables, TcTyVarSet)Source
getDefaultInfo :: TcS (SimplContext, [Type], (Bool, Bool))Source
matchClass :: Class -> [Type] -> TcS (MatchInstResult (DFunId, [Either TyVar TcType]))Source