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

Safe HaskellSafe
LanguageHaskell2010

RERE.Ref

Description

Regular expression with explicit sharing.

RR is an opaque type, to maintain the invariants.

Synopsis

Documentation

data RR s Source #

Knot-tied recursive regular expression.

Instances
Show (RR s) Source # 
Instance details

Defined in RERE.Ref

Methods

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

show :: RR s -> String #

showList :: [RR s] -> ShowS #

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

Convert RE to RR and then match.

Significantly faster than match.

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

Match and print final RR + stats.