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

data UserTypeCtxt Source

kcTyClTyVars :: Name -> LHsTyVarBndrs Name -> (TcKind -> TcM a) -> TcM aSource

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

tcHsConArgType :: NewOrData -> LHsType Name -> TcM TypeSource

tcDataKindSig :: Kind -> TcM [TyVar]Source

tcClassSigType :: LHsType Name -> TcM TypeSource

kcHsTyVarBndrs :: Bool -> LHsTyVarBndrs Name -> ([TcKind] -> TcM r) -> TcM rSource

tcHsTyVarBndrs :: LHsTyVarBndrs Name -> ([TyVar] -> TcM r) -> TcM rSource

tcHsLiftedType :: LHsType Name -> TcM TcTypeSource

tcHsOpenType :: LHsType Name -> TcM TcTypeSource

tcLHsType :: LHsType Name -> TcM (TcType, TcKind)Source

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

tcHsContext :: LHsContext Name -> TcM [PredType]Source

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

tcHsArgTys :: SDoc -> [LHsType Name] -> [Kind] -> TcM [TcType]Source

data ExpKind Source

ekConstraint :: ExpKindSource

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

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

kindGeneralize :: TyVarSet -> [Name] -> TcM [KindVar]Source

tcLHsKind :: LHsKind Name -> TcM KindSource

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

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