Convenience-constructors
Utilities to convniently construct PFCS abstract syntax.
These functions and macros have short and evocative names,
to support the concise and readable construction of (constituents of) rules
in the abstract syntax.
Subtopics
- Constraint/constraintlist-p
- Recognize constraints and lists of constraints.
- Pfdef
- Construct a definition with zero or more constraints.
- Constraint/constraintlist-listp
- Recognize lists of constraints and lists of constraints.
- Pfname
- Construct a name.
- Yyyjoin
- Spread a binary function over two or more arguments.
- Pf+
- Construct an addition of any number of expressions.
- Pf*
- Construct a multiplication of any number of expressions.
- Pfnames
- Construct a list of indexed names.
- Pfmon
- Construct a monomial, i.e. a product of a constant by a variable,
from an integer and a name.
- Pf=
- Construct an equality constraint.
- Pfconst
- Construct a constant expression from an integer.
- Pfcall
- Construct a relation call constraint.
- Pfvar
- Construct a variable expression from a name.
