Documentation

tcHsSigType :: UserTypeCtxt -> LHsType Name -> TcM TypeSource

tcHsSigTypeNC :: UserTypeCtxt -> LHsType Name -> TcM TypeSource

tcHsDeriv :: HsType Name -> TcM ([TyVar], Class, [Type])Source

tcHsVectInst :: LHsType Name -> TcM (Class, [Type])Source

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

tcHsQuantifiedType :: [LHsTyVarBndr Name] -> LHsType Name -> TcM ([TyVar], Type)Source

data UserTypeCtxt Source

kcHsTyVars :: [LHsTyVarBndr Name] -> ([LHsTyVarBndr Name] -> TcM r) -> TcM rSource

kcHsSigType :: LHsType Name -> TcM (LHsType Name)Source

kcHsLiftedSigType :: LHsType Name -> TcM (LHsType Name)Source

kcLHsType :: LHsType Name -> TcM (LHsType Name, TcKind)Source

kcCheckLHsType :: LHsType Name -> ExpKind -> TcM (LHsType Name)Source

kcHsContext :: LHsContext Name -> TcM (LHsContext Name)Source

kcApps :: Outputable a => a -> TcKind -> [LHsType Name] -> TcM ([LHsType Name], TcKind)Source

kindGeneralizeKind :: TcKind -> TcM ([KindVar], Kind)Source

kindGeneralizeKinds :: [TcKind] -> TcM ([KindVar], [Kind])Source

scDsLHsKind :: LHsKind Name -> TcM KindSource

scDsLHsMaybeKind :: Maybe (LHsKind Name) -> TcM (Maybe Kind)Source

tcHsType :: LHsType Name -> TcM TypeSource

tcCheckHsType :: LHsType Name -> Kind -> TcM TypeSource

tcHsKindedContext :: LHsContext Name -> TcM ThetaTypeSource

tcHsKindedType :: LHsType Name -> TcM TypeSource

tcHsBangType :: LHsType Name -> TcM TypeSource

tcTyVarBndrs :: [LHsTyVarBndr Name] -> ([TyVar] -> TcM r) -> TcM rSource

tcTyVarBndrsKindGen :: [LHsTyVarBndr Name] -> ([TyVar] -> TcM r) -> TcM rSource

dsHsType :: LHsType Name -> TcM TypeSource

tcDataKindSig :: Kind -> TcM [TyVar]Source

tcTyClTyVars :: Name -> [LHsTyVarBndr Name] -> ([TyVar] -> Kind -> TcM a) -> TcM aSource

data ExpKind Source

ekConstraint :: ExpKindSource

expArgKind :: SDoc -> TcKind -> Int -> ExpKindSource

checkExpectedKind :: Outputable a => a -> TcKind -> ExpKind -> TcM ()Source

tcHsPatSigType :: UserTypeCtxt -> LHsType Name -> TcM ([TyVar], Type)Source

tcPatSig :: UserTypeCtxt -> LHsType Name -> TcSigmaType -> TcM (TcType, [(Name, TcType)], HsWrapper)Source