ghc-lib-0.20221001: The GHC API, decoupled from GHC versions
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Tc.TyCl.PatSyn

Description

Typechecking pattern synonym declarations

Documentation

tcPatSynDecl :: LocatedA (PatSynBind GhcRn GhcRn) -> TcSigFun -> TcPragEnv -> TcM (LHsBinds GhcTc, TcGblEnv) Source #

tcPatSynBuilderBind :: TcPragEnv -> PatSynBind GhcRn GhcRn -> TcM (LHsBinds GhcTc) Source #

patSynBuilderOcc :: PatSyn -> Maybe (HsExpr GhcTc, TcSigmaType) Source #