Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcPatSyn
Documentation
tcPatSynSig :: Name -> LHsSigType Name -> TcM TcPatSynInfo
tcInferPatSynDecl :: PatSynBind Name Name -> TcM (LHsBinds Id, TcGblEnv)
tcCheckPatSynDecl :: PatSynBind Name Name -> TcPatSynInfo -> TcM (LHsBinds Id, TcGblEnv)
tcPatSynBuilderBind :: PatSynBind Name Name -> TcM (LHsBinds Id)
tcPatSynBuilderOcc :: PatSyn -> TcM (HsExpr TcId, TcSigmaType)
nonBidirectionalErr :: Outputable name => name -> TcM a