Documentation

type TcTyVar = TyVarSource

type TcKind = KindSource

type TcType = TypeSource

type TcTauType = TcTypeSource

type TcThetaType = ThetaTypeSource

type TcTyVarSet = TyVarSetSource

newFlexiTyVar :: Kind -> TcM TcTyVarSource

newFlexiTyVarTy :: Kind -> TcM TcTypeSource

newFlexiTyVarTys :: Int -> Kind -> TcM [TcType]Source

newKindVar :: TcM TcKindSource

newKindVars :: Int -> TcM [TcKind]Source

newMetaTyVar :: MetaInfo -> Kind -> TcM TcTyVarSource

readMetaTyVar :: TyVar -> TcM MetaDetailsSource

writeMetaTyVar :: TcTyVar -> TcType -> TcM ()Source

writeMetaTyVarRef :: TcTyVar -> TcRef MetaDetails -> TcType -> TcM ()Source

isFilledMetaTyVar :: TyVar -> TcM BoolSource

isFlexiMetaTyVar :: TyVar -> TcM BoolSource

newEvVar :: TcPredType -> TcM EvVarSource

newCoVar :: TcType -> TcType -> TcM CoVarSource

newEvVars :: TcThetaType -> TcM [EvVar]Source

newWantedCoVar :: TcType -> TcType -> TcM CoVarSource

writeWantedCoVar :: CoVar -> Coercion -> TcM ()Source

readWantedCoVar :: CoVar -> TcM MetaDetailsSource

newIP :: IPName Name -> TcType -> TcM IpIdSource

newDict :: Class -> [TcType] -> TcM DictIdSource

newSelfDict :: Class -> [TcType] -> TcM DictIdSource

isSelfDict :: EvVar -> BoolSource

newWantedEvVar :: TcPredType -> TcM EvVarSource

newWantedEvVars :: TcThetaType -> TcM [EvVar]Source

newTcEvBinds :: TcM EvBindsVarSource

addTcEvBind :: EvBindsVar -> EvVar -> EvTerm -> TcM ()Source

tcInstTyVar :: TyVar -> TcM TcTyVarSource

tcInstTyVars :: [TyVar] -> TcM ([TcTyVar], [TcType], TvSubst)Source

tcInstSigTyVars :: [TyVar] -> TcM [TcTyVar]Source

tcInstType :: ([TyVar] -> TcM [TcTyVar]) -> TcType -> TcM ([TcTyVar], TcThetaType, TcType)Source

tcInstSigType :: Bool -> Name -> TcType -> TcM ([TcTyVar], TcThetaType, TcRhoType)Source

instMetaTyVar :: MetaInfo -> TyVar -> TcM TcTyVarSource

tcInstSkolTyVars :: SkolemInfo -> [TyVar] -> TcM [TcTyVar]Source

tcInstSkolTyVar :: SkolemInfo -> TyVar -> TcM TcTyVarSource

tcInstSkolType :: SkolemInfo -> TcType -> TcM ([TcTyVar], TcThetaType, TcType)Source

tcSkolSigType :: SkolemInfo -> Type -> TcM ([TcTyVar], TcThetaType, TcType)Source

tcSkolSigTyVars :: SkolemInfo -> [TyVar] -> [TcTyVar]Source

data Rank Source

data UserTypeCtxt Source

checkValidType :: UserTypeCtxt -> Type -> TcM ()Source

checkValidMonoType :: Type -> TcM ()Source

data SourceTyCtxt Source

checkValidTheta :: SourceTyCtxt -> ThetaType -> TcM ()Source

checkValidInstHead :: Type -> TcM (Class, [TcType])Source

checkValidInstance :: LHsType Name -> [TyVar] -> ThetaType -> Type -> TcM (Class, [TcType])Source

checkInstTermination :: [TcType] -> ThetaType -> [Message]Source

checkValidTypeInst :: [Type] -> Type -> TcM ()Source

checkTyFamFreeness :: Type -> TcM ()Source

arityErr :: Outputable a => String -> a -> Int -> Int -> SDocSource

growPredTyVars :: TcPredType -> TyVarSet -> TyVarSetSource

growThetaTyVars :: TcThetaType -> TyVarSet -> TyVarSetSource

validDerivPred :: PredType -> BoolSource

zonkType :: (TcTyVar -> TcM Type) -> TcType -> TcM TypeSource

mkZonkTcTyVar :: (TcTyVar -> TcM Type) -> TcTyVar -> TcM TcTypeSource

zonkTcPredType :: TcPredType -> TcM TcPredTypeSource

zonkTcTypeCarefully :: TcType -> TcM TcTypeSource

skolemiseUnboundMetaTyVar :: SkolemInfo -> TcTyVar -> TcM TyVarSource

zonkTcTyVar :: TcTyVar -> TcM TcTypeSource

zonkTcTyVars :: [TcTyVar] -> TcM [TcType]Source

zonkTcTyVarsAndFV :: TcTyVarSet -> TcM TcTyVarSetSource

zonkSigTyVar :: TcTyVar -> TcM TcTyVarSource

zonkQuantifiedTyVar :: TcTyVar -> TcM TcTyVarSource

zonkQuantifiedTyVars :: [TcTyVar] -> TcM [TcTyVar]Source

zonkTcType :: TcType -> TcM TcTypeSource

zonkTcTypes :: [TcType] -> TcM [TcType]Source

zonkTcThetaType :: TcThetaType -> TcM TcThetaTypeSource

zonkTcKindToKind :: TcKind -> TcM KindSource

zonkTcKind :: TcKind -> TcM TcKindSource

zonkImplication :: Implication -> TcM ImplicationSource

zonkWanted :: WantedConstraint -> TcM WantedConstraintSource

zonkEvVar :: EvVar -> TcM EvVarSource

zonkWantedEvVar :: WantedEvVar -> TcM WantedEvVarSource

zonkTcTypeAndSubst :: TvSubst -> TcType -> TcM TcTypeSource

tcGetGlobalTyVars :: TcM TcTyVarSetSource

readKindVar :: KindVar -> TcM MetaDetailsSource

writeKindVar :: KindVar -> TcKind -> TcM ()Source