GHC.Tc.TyCl.PatSyn

ghc-9.2.1: The GHC API

Safe Haskell | Safe-Inferred
Language | Haskell2010

GHC.Tc.TyCl.PatSyn

Description

Typechecking pattern synonym declarations

# Documentation

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

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

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