QuickCheckVariant 0.1.1.0 → 0.2.0.0

raw patch · 3 files changed

+10/−93 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• QuickCheckVariant.cabal +1/−1
• README.md +7/−4
• src/Test/QuickCheck/Variant.hs +2/−88

@@ -2,7 +2,7 @@ -- PVP summary:      +-+------- breaking API changes --                   | | +----- non-breaking API additions --                   | | | +--- code changes with no API change-version:             0.1.1.0+version:             0.2.0.0 synopsis:            Generator of "valid" and "invalid" data in a type class description:         Generator of "valid" and "invalid" data in a type class homepage:            https://github.com/sanjorgek/QuickCheckVariant

@@ -1,13 +1,16 @@ # QuickCheckVariant+ Generator of "valid" and "invalid" data in a type class  For example, if you created-~~~haskell++```haskell data Person = Anonymous { getId::String } | Client { getUsername::String, getName::String, getEmail::String} deriving(Show,Eq)-~~~+```  We can provide means to generate valid and invalid data, like:-~~~haskell++```haskell instance Variant Person where   valid = do     id <- alternative@@ -21,6 +24,6 @@     name <- alternative     return $ Client username name "" -~~~ +```   See [this post](https://wiki.haskell.org/QuickCheck_as_a_test_set_generator) for more details

@@ -11,7 +11,7 @@ To get random "invalid" and "valid" data -} module Test.QuickCheck.Variant where-import Test.QuickCheck+import           Test.QuickCheck  {-| You can define@@ -25,98 +25,12 @@   invalid :: Gen a  {-|-Variant of a list.--A valid list only had valid data.--A invalid list had only invalid data or some valid data with invalid data.--}-instance (Variant a) => Variant [a] where-  valid = do-    x <- valid-    xs <- valid-    (oneof . map return) [[], [x], x:xs]-  invalid = do-    x <- invalid-    xs <- invalid-    y <- valid-    ys <- valid-    (oneof . map return) [[x], x:xs, x:ys, y:xs]--{-|-Variant Maybe--Only Just data can be invalid, nothing always is valid.--}-instance (Variant a) => Variant (Maybe a) where-  invalid = do-    x <- invalid-    return (Just x)-  valid = do-    x <- valid-    (oneof . map return) [Nothing, Just x]--{-|-Varaint Either.--}-instance (Variant a, Variant b) => Variant (Either a b) where-  invalid = do-    x <- invalid-    y <- invalid-    (oneof . map return) [Left x, Right y]-  valid = do-    x <- valid-    y <- valid-    (oneof . map return) [Left x, Right y]--{-|-Varaint tuple--Invalid tuple may had some valid data with invalid data or only invalid data.--Valid tuple had only valid data.--}-instance (Variant a, Variant b) => Variant ((,) a b) where-  invalid = do-    x <- invalid-    y <- invalid-    z <- valid-    w <- valid-    (oneof . map return) [(x,y), (x,z), (w,y)]-  valid = do-    x <- valid-    y <- valid-    return (x, y)--{-|-Varaint 3-tuple--Invalid 3-tuple may had some valid data with invalid data or only invalid data.--Valid 3-tuple had only valid data.--}-instance (Variant a, Variant b, Variant c) => Variant ((,,) a b c) where-  invalid = do-    x <- invalid-    y <- invalid-    z <- invalid-    w <- valid-    v <- valid-    u <- valid -    (oneof . map return) [(x,y,z), (x,y,u), (x,v,z), (w,y,z), (w,v,z), (x,v,u), (w,y,u)]-  valid = do-    x <- valid-    y <- valid-    z <- valid    -    return (x, y, z)--{-| The class of things wich can be tested with invalid or valid input. -} class VarTesteable prop where   -- |Property for valid input   propertyValid::prop -> Property-  -- |Property for invalid input  +  -- |Property for invalid input   propertyInvalid::prop -> Property  {-|