quickcheck-instances 0.3.21 → 0.3.22

raw patch · 4 files changed

+29/−5 lines, 4 filesdep +voiddep ~QuickCheckdep ~basedep ~base-compatPVP ok

version bump matches the API change (PVP)

Dependencies added: void

Dependency ranges changed: QuickCheck, base, base-compat, bytestring

API changes (from Hackage documentation)

Files

• CHANGES +4/−0
• quickcheck-instances.cabal +7/−5
• src/Test/QuickCheck/Instances.hs +1/−0
• src/Test/QuickCheck/Instances/Void.hs +17/−0

@@ -1,3 +1,7 @@+0.3.22++* Add `Void` instances.+ 0.3.21  * Use time-compat

@@ -1,5 +1,5 @@ Name:                quickcheck-instances-Version:             0.3.21+Version:             0.3.22  Synopsis:            Common quickcheck instances Description:         QuickCheck instances.@@ -65,11 +65,12 @@                        Test.QuickCheck.Instances.UUID                        Test.QuickCheck.Instances.UnorderedContainers                        Test.QuickCheck.Instances.Vector+                       Test.QuickCheck.Instances.Void   Hs-Source-Dirs:      src   Build-depends:-    base       >=4.5   && <4.13,-    QuickCheck >=2.13  && <2.14,-    splitmix   >=0.0.2 && <0.1,+    base       >=4.5    && <4.13,+    QuickCheck >=2.13.2 && <2.14,+    splitmix   >=0.0.2  && <0.1,      array                >=0.4.0.0 && <0.6,     base-compat          >=0.9.3   && <0.11,@@ -97,7 +98,8 @@    if !impl(ghc >= 7.10)     build-depends:-      nats >=1 && <1.2+      nats >=1 && <1.2,+      void >=0.7.2 && <0.8    if flag(bytestring-builder)     build-depends:

@@ -46,3 +46,4 @@ import Test.QuickCheck.Instances.UUID () import Test.QuickCheck.Instances.UnorderedContainers () import Test.QuickCheck.Instances.Vector ()+import Test.QuickCheck.Instances.Void ()

@@ -0,0 +1,17 @@+{-# OPTIONS_GHC -fno-warn-orphans #-}+module Test.QuickCheck.Instances.Void where++import Test.QuickCheck++import Data.Void (Void, absurd)++-------------------------------------------------------------------------------+-- void+-------------------------------------------------------------------------------++instance CoArbitrary Void where+    coarbitrary = absurd++-- | All @'Void' -> a@ functions are 'absurd'.+instance Function Void where+    function _ = functionVoid absurd