RERE.ST

Regular expression with explicit sharing.

RST is an opaque type, to maintain the invariants.

Documentation

data RST s

Knot-tied recursive regular expression.

Instances

Show (RST s)

Defined in RERE.ST

Methods

showsPrec :: Int -> RST s -> ShowS

show :: RST s -> String

showList :: [RST s] -> ShowS

matchST :: RE Void -> String -> Bool

Convert RE to RST and then match.

Significantly faster than match.

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

Match and print final RR + stats.