Test.QuickCheck.StringRandom

A text generator that generates a string that matches a regular expression.

    {-# LANGUAGE OverloadedStrings #-}
    import qualified Test.QuickCheck as QC
    import Test.QuickCheck.StringRandom (matchRegexp)

    prop_generateDigit :: QC.Property
    prop_generateDigit = QC.forAll (matchRegexp "\d") $ digit -> ...

    -- or

    newtype Upper = Upper Text.Text deriving (Eq, Show)

    instance QC.Arbitrary Upper where
      arbitrary = Upper $ matchRegexp "[A-Z]"

    prop_generateUpper :: Upper -> Bool
    prop_generateUpper (Upper upper) = ...

The shrink function has not been defined yet.

Documentation

matchRegexp :: Text -> Gen Text

The 'matchRegexp pat' defines a generator that produces a text that | matches a regular expression pat