Parsable

Next: eval Up: Basic Categories Previous: rightExactQuotient Contents Index

Parsable

$\begin{usage} Parsable: Category \end{usage}$

$\begin{descr} Parsable~is the category of types that convert expression trees into themselves whenever possible. \end{descr}$

Exports

InputType

eval: ExpressionTree $\to$ Partial % Interpret a tree

eval: ExpressionTreeLeaf $\to$ Partial % Interpret a leaf

eval: (MachineInteger, List ExpressionTree) $\to$ Partial % Interpret a node

Subsections

eval

Manuel Bronstein 2000-12-13

`InputType`
`eval`:	`ExpressionTree` $\to$ `Partial` %	Interpret a tree
`eval`:	`ExpressionTreeLeaf` $\to$ `Partial` %	Interpret a leaf
`eval`:	(`MachineInteger`, `List` `ExpressionTree`) $\to$ `Partial` %	Interpret a node