GHC.Tc.TyCl.PatSyn
Description
Typechecking pattern synonym declarations
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 #