Language.HaLex.RegExp

Data type with recursion pattern

data RegExp sy

cataRegExp

Matching

matchesRE

matches'

Size

sizeRegExp

Printing

showRE

Simplification

simplifyRegExp

Normalization

extREtoRE