Tailrec-input-processing
Input processing performed by tailrec.
See input processing for general background.
Subtopics
- Tailrec-process-inputs
- Process all the inputs.
- Tailrec-process-old
- Process the old input.
- Tailrec-process-domain
- Process the :domain input.
- Tailrec-decompose-recursive-branch
- Decompose the recursive branch of the target function
into its components,
as described in the documentation.
- Tailrec-check-nonrec-conditions
- Check whether nonrec? satisfies the conditions
for nonrec<x1,...,xn> described in the documentation.
- Tailrec-process-variant
- Process the variant input.
- Tailrec-infer-domain
- Infer the domain over which some applicability conditions must hold.
- Tailrec-find-nonrec-term-in-term/terms
- Decompose combine<nonrec<x1,...,xn>,r> into
nonrec<x1,...,xn> and combine<q,r>,
as described in the documentation.
- Tailrec-process-accumulator
- Process the :accumulator input.
- Tailrec-variantp
- Variants of the tail recursion transformation.
