| !-> | 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 |
| Count | |
| 1 (Type/Class) | Language.KURE.RewriteMonad, Language.KURE |
| 2 (Data Constructor) | Language.KURE.RewriteMonad, 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 |
| Failable | Language.KURE.Combinators, Language.KURE |
| failM | Language.KURE.RewriteMonad, Language.KURE |
| failR | Language.KURE.Combinators, Language.KURE |
| failT | Language.KURE.Combinators, Language.KURE |
| failure | Language.KURE.Combinators, Language.KURE |
| foldU | Language.KURE.Term, Language.KURE |
| Generic | Language.KURE.Term, 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 |
| listR | Language.KURE.Combinators, Language.KURE |
| listU | Language.KURE.Combinators, Language.KURE |
| LoneTransform | Language.KURE.RewriteMonad, Language.KURE |
| mapEnvM | Language.KURE.RewriteMonad, Language.KURE |
| mapEnvT | Language.KURE.Combinators, Language.KURE |
| markM | Language.KURE.RewriteMonad, Language.KURE |
| maybeR | Language.KURE.Combinators, Language.KURE |
| maybeU | Language.KURE.Combinators, Language.KURE |
| promoteR | Language.KURE.Term, Language.KURE |
| promoteU | Language.KURE.Term, Language.KURE |
| pureT | Language.KURE.Combinators, Language.KURE |
| readEnvM | Language.KURE.RewriteMonad, Language.KURE |
| readEnvT | 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 |
| theCount | Language.KURE.RewriteMonad, Language.KURE |
| topdownR | Language.KURE.Term, Language.KURE |
| Translate | Language.KURE.Translate, Language.KURE |
| translate | Language.KURE.Translate, Language.KURE |
| transparently | Language.KURE.Translate, Language.KURE |
| transparentlyM | Language.KURE.RewriteMonad, Language.KURE |
| tryR | Language.KURE.Combinators, Language.KURE |
| tuple2R | Language.KURE.Combinators, Language.KURE |
| tuple2U | Language.KURE.Combinators, Language.KURE |
| Walker | Language.KURE.Term, Language.KURE |
| writeEnvM | Language.KURE.RewriteMonad, Language.KURE |
| writeEnvT | Language.KURE.Combinators, Language.KURE |