Module CPP.ICode.Parser.RegexParser

A Regex Parser It is based on the bachelor thesis "Foreign Code Integration in Curry" of Jasper Sikorra (March 2014).

Author: Corinna Wambsganz

Version: September 2022

Summary of exported operations:

parse :: Pos -> String -> IO (PM String)  Deterministic 
The parse function allows the translation of extended regular expression to normal Curry code.

Exported operations:

parse :: Pos -> String -> IO (PM String)  Deterministic 

The parse function allows the translation of extended regular expression to normal Curry code.

Example call:
(parse po st)
Parameters:
  • po : The position of the ERE code
  • st : The ERE code
Returns:
A string containg normal curry code with the same semantics as the original ERE code