KiCS2
Exported names: Imported modules:

Module AbstractCurryMatch

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

Summary of exported operations:

withExp :: CExpr -> CExpr   
Returns (non-deterministically) some expression that contains the given expression as a subexpression.
ldeclWithExp :: CExpr -> CLocalDecl   
statWithExp :: CExpr -> CStatement   
rhsWithExp :: CExpr -> CRhs   
cfunWithExp :: (String,String) -> CExpr -> CFuncDecl   
Returns (non-deterministically) a function declaration containing the given expression in the right-hand side.

Exported operations:

withExp :: CExpr -> CExpr   

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

Further infos:
  • solution complete, i.e., able to compute all solutions

ldeclWithExp :: CExpr -> CLocalDecl   

Further infos:
  • solution complete, i.e., able to compute all solutions

statWithExp :: CExpr -> CStatement   

Further infos:
  • solution complete, i.e., able to compute all solutions

rhsWithExp :: CExpr -> CRhs   

Further infos:
  • solution complete, i.e., able to compute all solutions

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

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

Further infos:
  • solution complete, i.e., able to compute all solutions