Curry Package 'regexp'

API documentation

Package metadata:

regexp-1.1.0
------------
Version      1.1.0
Author       Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis     Library to specify the semantics of regular expressions
Category     Parsing
Dependencies
Compiler compatibility
    pakcs >= 2.0.0
    kics2 >= 2.0.0
Description
    This package contains a library which specifies the semantics of regular
    expressions and regular expression matching in a high-level manner via
    non-deterministic operations. This library might be useful as an oracle to
    test more efficient regular expression matchers. Furthermore, there is also
    a library which is used by the Curry preprocessor to translate regular
    expression in POSIX syntax occurring as integrated code in Curry programs.
Exported modules
    RegExpSem RegExp
Test suite
    Directory     examples
    Test modules  ABC
Test suite
    Directory     test
    Test modules  TestRegExp
Source
    Git https://git.ps.informatik.uni-kiel.de/curry-packages/regexp.git@v1.1.0
License
    BSD-3-Clause
License file
    LICENSE