HaLeX-1.2.6: HaLeX enables modelling, manipulation and visualization of regular languages

Copyright(c) João Saraiva 2017
LicenseLGPL
Maintainerjas@di.uminho.pt
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Language.HaLex.Test_HaLex_Quickcheck

Contents

Description

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

Documentation

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

digRegExp :: RegExp Char Source #

digRegExp' :: RegExp Char Source #

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

exRegExp :: IO () Source #

Orphan instances