ghc-9.10.3: The GHC API

Safe Haskell | None
Language | GHC2021

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 #