| !-> | Language.KURE.Combinators, Language.KURE |
| .+ | Language.KURE.Combinators, Language.KURE |
| <+ | Language.KURE.Combinators, Language.KURE |
| >-> | Language.KURE.Combinators, Language.KURE |
| ? | Language.KURE.Combinators, Language.KURE |
| acceptR | Language.KURE.Combinators, Language.KURE |
| allR | Language.KURE.Term, Language.KURE |
| alltdR | Language.KURE.Term, Language.KURE |
| apply | Language.KURE.Translate, Language.KURE |
| bottomupR | Language.KURE.Term, Language.KURE |
| catchM | Language.KURE.RewriteMonad, Language.KURE |
| chainM | Language.KURE.RewriteMonad, Language.KURE |
| changedR | Language.KURE.Combinators, Language.KURE |
| concatT | Language.KURE.Combinators, Language.KURE |
| constT | Language.KURE.Combinators, Language.KURE |
| crushU | Language.KURE.Term, Language.KURE |
| downupR | Language.KURE.Term, Language.KURE |
| extractR | Language.KURE.Term, Language.KURE |
| extractU | Language.KURE.Term, Language.KURE |
| failM | Language.KURE.RewriteMonad, Language.KURE |
| failR | Language.KURE.Combinators, Language.KURE |
| failT | Language.KURE.Combinators, Language.KURE |
| foldU | Language.KURE.Term, Language.KURE |
| Generic | Language.KURE.Term, Language.KURE |
| getDecsM | Language.KURE.RewriteMonad, Language.KURE |
| getDecsT | Language.KURE.Combinators, Language.KURE |
| idR | Language.KURE.Combinators, Language.KURE |
| inject | Language.KURE.Term, Language.KURE |
| innermostR | Language.KURE.Term, Language.KURE |
| liftQ | Language.KURE.RewriteMonad, Language.KURE |
| mapDecsM | Language.KURE.RewriteMonad, Language.KURE |
| mapDecsT | Language.KURE.Combinators, Language.KURE |
| markM | Language.KURE.RewriteMonad, Language.KURE |
| promoteR | Language.KURE.Term, Language.KURE |
| pureT | Language.KURE.Combinators, Language.KURE |
| readerT | Language.KURE.Combinators, Language.KURE |
| repeatR | Language.KURE.Combinators, Language.KURE |
| Rewrite | Language.KURE.Rewrite, Language.KURE |
| rewrite | Language.KURE.Rewrite, Language.KURE |
| RewriteFailureM | Language.KURE.RewriteMonad, Language.KURE |
| RewriteM | Language.KURE.RewriteMonad, Language.KURE |
| RewriteReturnM | Language.KURE.RewriteMonad, Language.KURE |
| RewriteStatusM | Language.KURE.RewriteMonad, Language.KURE |
| runRewrite | Language.KURE.Rewrite, Language.KURE |
| runRewriteM | Language.KURE.RewriteMonad, Language.KURE |
| runTranslate | Language.KURE.Translate, Language.KURE |
| select | Language.KURE.Term, Language.KURE |
| Term | Language.KURE.Term, Language.KURE |
| topdownR | Language.KURE.Term, Language.KURE |
| Translate | Language.KURE.Translate, Language.KURE |
| translate | Language.KURE.Translate, Language.KURE |
| transparently | Language.KURE.RewriteMonad, Language.KURE |
| tryR | Language.KURE.Combinators, Language.KURE |
| Walker | Language.KURE.Term, Language.KURE |