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

newPolyFlexiTyVarTy :: TcM TcTypeSource

newMetaKindVar :: TcM TcKindSource

newMetaKindVars :: Int -> TcM [TcKind]Source

mkTcTyVarName :: Unique -> FastString -> NameSource

cloneMetaTyVar :: TcTyVar -> TcM TcTyVarSource

newMetaTyVar :: MetaInfo -> Kind -> TcM TcTyVarSource

readMetaTyVar :: TyVar -> TcM MetaDetailsSource

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

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

newMetaDetails :: MetaInfo -> TcM TcTyVarDetailsSource

isFilledMetaTyVar :: TyVar -> TcM BoolSource

isFlexiMetaTyVar :: TyVar -> TcM BoolSource

newEvVar :: TcPredType -> TcM EvVarSource

newEvVars :: TcThetaType -> TcM [EvVar]Source

newEq :: TcType -> TcType -> TcM EvVarSource

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

newWantedEvVar :: TcPredType -> TcM EvVarSource

newWantedEvVars :: TcThetaType -> TcM [EvVar]Source

newTcEvBinds :: TcM EvBindsVarSource

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

newFlatWanted :: CtOrigin -> PredType -> TcM CtSource

newFlatWanteds :: CtOrigin -> ThetaType -> TcM [Ct]Source

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

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

newSigTyVar :: Name -> Kind -> TcM TcTyVarSource

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

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

tcInstSkolTyVarsLoc :: SrcSpan -> [TyVar] -> TcRnIf gbl lcl (TvSubst, [TcTyVar])Source

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

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

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

tcInstSkolTyVar :: SrcSpan -> Bool -> TvSubst -> TyVar -> TcRnIf gbl lcl (TvSubst, TcTyVar)Source

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

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

tcSuperSkolTyVars :: [TyVar] -> (TvSubst, [TcTyVar])Source

zonkTcPredType :: TcPredType -> TcM TcPredTypeSource

skolemiseSigTv :: TcTyVar -> TcM TcTyVarSource

skolemiseUnboundMetaTyVar :: TcTyVar -> TcTyVarDetails -> TcM TyVarSource

zonkTcTyVar :: TcTyVar -> TcM TcTypeSource

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

zonkTyVarsAndFV :: TyVarSet -> TcM TyVarSetSource

zonkTcTypeAndFV :: TcType -> TcM TyVarSetSource

zonkQuantifiedTyVar :: TcTyVar -> TcM TcTyVarSource

quantifyTyVars :: TcTyVarSet -> TcTyVarSet -> TcM [TcTyVar]Source

zonkTcTyVarBndr :: TcTyVar -> TcM TcTyVarSource

zonkTcType :: TcType -> TcM TcTypeSource

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

zonkTcThetaType :: TcThetaType -> TcM TcThetaTypeSource

zonkTcKind :: TcKind -> TcM TcKindSource

defaultKindVarToStar :: TcTyVar -> TcM KindSource

zonkEvVar :: EvVar -> TcM EvVarSource

zonkWC :: EvBindsVar -> WantedConstraints -> TcM WantedConstraintsSource

zonkId :: TcId -> TcM TcIdSource

zonkCt :: Ct -> TcM CtSource

zonkCts :: Cts -> TcM CtsSource

zonkSkolemInfo :: SkolemInfo -> TcM SkolemInfoSource

tcGetGlobalTyVars :: TcM TcTyVarSetSource