Module AbstractCurryMatch

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

Summary of exported operations:

withExp :: CExpr -> CExpr  Non-deterministic 
Returns (non-deterministically) some expression that contains the given expression as a subexpression.
cfunWithExp :: (String,String) -> CExpr -> CFuncDecl  Non-deterministic 
Returns (non-deterministically) a function declaration containing the given expression in the right-hand side.

Exported operations:

withExp :: CExpr -> CExpr  Non-deterministic 

Returns (non-deterministically) some expression that contains the given expression as a subexpression.

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

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