Language.HaLex.Test_HaLex_Quickcheck

Generation of sentences of the (regular) languages defined via Regular Expressions and Finite Autumata

Documentation

genRegExp :: Integral n => n -> Gen (RegExp Char)

digRegExp :: RegExp Char

digRegExp' :: RegExp Char

genRegExp' :: Integral a => a -> Gen (RegExp Char)

exRegExp :: IO ()

Orphan instances

Arbitrary (RegExp Char)

Methods

arbitrary :: Gen (RegExp Char)

shrink :: RegExp Char -> [RegExp Char]