ghc-8.0.2: The GHC API

Safe Haskell | None
Language | Haskell2010

TcPatSyn

# Documentation

tcPatSynSig :: Name -> LHsSigType Name -> TcM TcPatSynInfo Source #

tcInferPatSynDecl :: PatSynBind Name Name -> TcM (LHsBinds Id, TcGblEnv) Source #

tcCheckPatSynDecl :: PatSynBind Name Name -> TcPatSynInfo -> TcM (LHsBinds Id, TcGblEnv) Source #

tcPatSynBuilderBind :: TcSigFun -> PatSynBind Name Name -> TcM (LHsBinds Id) Source #

tcPatSynBuilderOcc :: PatSyn -> TcM (HsExpr TcId, TcSigmaType) Source #

nonBidirectionalErr :: Outputable name => name -> TcM a Source #