rere-0.1: Regular-expressions extended with fixpoints for context-free powers
RERE.Gen
Description
Using RE to generate example Strings.
RE
String
generate Source #
Arguments
star upper size
fix unroll
Generate strings.
>>> runGen 42 $ generate 10 10 $ star_ (ch_ 'a') "aaa"
>>>
runGen 42 $ generate 10 10 $ star_ (ch_ 'a')
>>> runGen 44 $ generate 10 10 $ star_ (ch_ 'a') "aaaaaaaaaa"
runGen 44 $ generate 10 10 $ star_ (ch_ 'a')