{- copyright (c) sreservoir. licensed under mit (x11). -} module Main where import Text.Regex.Less import Test.QuickCheck main :: IO () main = do putStr "all strings match null: " >> quickCheck matchEmpty matchEmpty a = truth (a =~ "")