RERE.Ref

Regular expression with explicit sharing.

RR is an opaque type, to maintain the invariants.

Documentation

data RR s

Knot-tied recursive regular expression.

Instances

Show (RR s)

Defined in RERE.Ref

Methods

showsPrec :: Int -> RR s -> ShowS

show :: RR s -> String

showList :: [RR s] -> ShowS

matchR :: RE Void -> String -> Bool

Convert RE to RR and then match.

Significantly faster than match.

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

Match and print final RR + stats.