Documentation

IfExprs is a tree of if expressions, which contains a list of resulting patterns on each of its leaves.

IfExpr contains a condition and a return pattern for each of the two cases.

newIfExpr creates an IfExpr.

valIfExprs evaluates a tree of if expressions and returns the resulting patterns or an error.

compileIfExprs compiles a list of if expressions in an IfExprs tree, for efficient evaluation.

ZippedIfExprs is a tree of if expressions, but with a zipped pattern list and a zipper on each of the leaves.

zipIfExprs compresses an if expression tree's leaves.

evalZippedIfExprs evaulates a ZippedIfExprs tree and returns the zipped pattern list and zipper from the resulting leaf.