Module RegexParser

A Regex Parser

Author: Jasper Sikorra

Version: July 2017

Summary of exported operations:

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

Exported operations:

parse :: Pos -> String -> IO (WM (PR String))   

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