ghc-9.6.0.20230111: The GHC API
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 #