Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xaa25b892026-10-10Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · aa25b89 · 2026-10-10

Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Gen.App

2 values

Packageghc-10.0.0.20260917
Exports2
LanguageGHC2024
LicenceBSD-3-Clause

valuetcApp

:: HsExpr GhcRn
The whole application (For error messages)
-> HsExpr GhcRn
The Function head
-> [HsExprArg 'TcpRn]
The list of arguments
-> ExpRhoType
When checking, -XDeepSubsumption = deeply skolemised
-> TcM (HsExpr GhcTc)

valuetcExprPrag :: HsPragE GhcRn -> HsPragE GhcTc