antigen 0.1.0.0 → 0.1.1.0

raw patch · 2 files changed

+9/−1 lines, 2 filesdep ~QuickCheckdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: QuickCheck, base

API changes (from Hackage documentation)

Files

• antigen.cabal +1/−1
• src/Test/AntiGen/Internal.hs +8/−0

@@ -1,6 +1,6 @@ cabal-version:      3.0 name:               antigen-version:            0.1.0.0+version:            0.1.1.0 synopsis:           Negatable QuickCheck generators  description:   AntiGen is a library that helps with generating negative examples from a 

@@ -55,6 +55,8 @@   resize n = mapGen (resize n)   choose = liftGen . choose +-- | Create a negatable generator by providing a positive and a negative +-- generator (|!) :: Gen a -> Gen a -> AntiGen a pos |! neg = AntiGen $ F $ \p b -> b $ BiGen pos (Just neg) p @@ -124,8 +126,14 @@ evalPartial :: PartialGen a -> a evalPartial (PartialGen (F m)) = m id continue +-- | Create a negative generator from an `AntiGen` by introducing at most +-- `n` mistakes. If there are no negatable generators in the `AntiGen`, it will+-- return a positive generator. Also if the number of negatable generators in +-- the `AntiGen` is lower than `n`, then the number of negations will be less+-- than `n`. zapAntiGen :: Int -> AntiGen a -> Gen a zapAntiGen n = fmap evalPartial <$> zapNTimes n <=< evalToPartial +-- | Create a positive generator from the provided `AntiGen`. runAntiGen :: AntiGen a -> Gen a runAntiGen ag = evalPartial <$> evalToPartial ag