Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
GHC.Tc.TyCl.PatSyn
Description
Typechecking pattern synonym declarations
Documentation
tcPatSynDecl :: LocatedA (PatSynBind GhcRn GhcRn) -> TcSigFun -> TcPragEnv -> TcM (LHsBinds GhcTc, TcGblEnv) #
tcPatSynBuilderBind :: TcPragEnv -> PatSynBind GhcRn GhcRn -> TcM (LHsBinds GhcTc) #
patSynBuilderOcc :: PatSyn -> Maybe (HsExpr GhcTc, TcSigmaType) #