rere-0.1: Regular-expressions extended with fixpoints for context-free powers

Safe HaskellSafe
LanguageHaskell2010

RERE.ST

Description

Regular expression with explicit sharing.

RST is an opaque type, to maintain the invariants.

Synopsis

Documentation

data RST s Source #

Knot-tied recursive regular expression.

Instances
Show (RST s) Source # 
Instance details

Defined in RERE.ST

Methods

showsPrec :: Int -> RST s -> ShowS #

show :: RST s -> String #

showList :: [RST s] -> ShowS #

matchST :: RE Void -> String -> Bool Source #

Convert RE to RST and then match.

Significantly faster than match.

matchDebugST :: RE Void -> String -> IO () Source #

Match and print final RR + stats.