Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcPatSyn
Documentation
tcInferPatSynDecl :: PatSynBind Name Name -> TcM (PatSyn, LHsBinds Id)
tcCheckPatSynDecl :: PatSynBind Name Name -> TcPatSynInfo -> TcM (PatSyn, LHsBinds Id)
tcPatSynBuilderBind :: PatSynBind Name Name -> TcM (LHsBinds Id)