checkers-0.2.3: src/Test/QuickCheck/Instances/Maybe.hs

module Test.QuickCheck.Instances.Maybe (maybeGen) where

import Test.QuickCheck
import Control.Applicative

maybeGen :: Gen a -> Gen (Maybe a)
maybeGen x = oneof [pure Nothing
                   ,Just <$> x]