Module AbstractCurry.Match

Some useful operations to support selection of AbstractCurry expressions via deep pattern matching.

Exported Functions:
cfunWithExpwithExp

Exported Functions

withExp :: CExpr -> CExpr  Non-deterministic 

Returns (non-deterministically) some expression that contains the given expression as a subexpression. If they are used as functional patterns, they implement deep pattern matching.

cfunWithExp :: (String, String) -> CExpr -> CFuncDecl  Non-deterministic 

Returns (non-deterministically) a function declaration containing the given expression in the right-hand side.