-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Common quickcheck instances -- -- QuickCheck instances. -- -- The goal is to supply QuickCheck instances for types provided by the -- Haskell Platform. -- -- Since all of these instances are provided as orphans, I recommend that -- you do not use this library within another library module, so that you -- don't impose these instances on down-stream consumers of your code. -- -- For information on writing a test-suite with Cabal see -- https://www.haskell.org/cabal/users-guide/developing-packages.html#test-suites @package quickcheck-instances @version 0.3.13 -- | Instances are provided for the types in the packages: -- -- -- -- Since all of these instances are provided as orphans, I recommend that -- you do not use this library within another library module, so that you -- don't impose these instances on down-stream consumers of your code. -- -- For information on writing a test-suite with Cabal see -- http://www.haskell.org/cabal/users-guide/#test-suites module Test.QuickCheck.Instances instance (GHC.Arr.Ix i, Test.QuickCheck.Arbitrary.Arbitrary i, Test.QuickCheck.Arbitrary.Arbitrary e) => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Arr.Array i e) instance (Data.Array.Base.IArray Data.Array.Base.UArray e, GHC.Arr.Ix i, Test.QuickCheck.Arbitrary.Arbitrary i, Test.QuickCheck.Arbitrary.Arbitrary e) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Array.Base.UArray i e) instance (GHC.Arr.Ix i, Test.QuickCheck.Arbitrary.CoArbitrary i, Test.QuickCheck.Arbitrary.CoArbitrary e) => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Arr.Array i e) instance (Data.Array.Base.IArray Data.Array.Base.UArray e, GHC.Arr.Ix i, Test.QuickCheck.Arbitrary.CoArbitrary i, Test.QuickCheck.Arbitrary.CoArbitrary e) => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Array.Base.UArray i e) instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Vector.Vector a) instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Vector.Vector a) instance (Foreign.Storable.Storable a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Vector.Storable.Vector a) instance (Foreign.Storable.Storable a, Test.QuickCheck.Arbitrary.CoArbitrary a) => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Vector.Storable.Vector a) instance (Data.Vector.Unboxed.Base.Unbox a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Vector.Unboxed.Base.Vector a) instance (Data.Vector.Unboxed.Base.Unbox a, Test.QuickCheck.Arbitrary.CoArbitrary a) => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Vector.Unboxed.Base.Vector a) instance Test.QuickCheck.Arbitrary.Arbitrary Data.Scientific.Scientific instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Scientific.Scientific instance Test.QuickCheck.Arbitrary.Arbitrary Data.ByteString.Internal.ByteString instance Test.QuickCheck.Arbitrary.Arbitrary Data.ByteString.Lazy.Internal.ByteString instance Test.QuickCheck.Arbitrary.CoArbitrary Data.ByteString.Internal.ByteString instance Test.QuickCheck.Arbitrary.CoArbitrary Data.ByteString.Lazy.Internal.ByteString instance Test.QuickCheck.Arbitrary.Arbitrary Data.Text.Internal.Text instance Test.QuickCheck.Arbitrary.Arbitrary Data.Text.Internal.Lazy.Text instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Text.Internal.Text instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Text.Internal.Lazy.Text instance Test.QuickCheck.Function.Function Data.Text.Internal.Text instance Test.QuickCheck.Function.Function Data.Text.Internal.Lazy.Text instance (Data.Hashable.Class.Hashable a, GHC.Classes.Eq a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Data.HashSet.HashSet a) instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.HashSet.HashSet a) instance (Data.Hashable.Class.Hashable k, GHC.Classes.Eq k, Test.QuickCheck.Arbitrary.Arbitrary k, Test.QuickCheck.Arbitrary.Arbitrary v) => Test.QuickCheck.Arbitrary.Arbitrary (Data.HashMap.Base.HashMap k v) instance (Test.QuickCheck.Arbitrary.CoArbitrary k, Test.QuickCheck.Arbitrary.CoArbitrary v) => Test.QuickCheck.Arbitrary.CoArbitrary (Data.HashMap.Base.HashMap k v) instance (Data.Hashable.Class.Hashable a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Hashable.Class.Hashed a) instance Test.QuickCheck.Arbitrary.CoArbitrary (Data.Hashable.Class.Hashed a) instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Tree.Tree a) instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Tree.Tree a) instance Test.QuickCheck.Arbitrary.Arbitrary System.Time.Month instance Test.QuickCheck.Arbitrary.CoArbitrary System.Time.Month instance Test.QuickCheck.Arbitrary.Arbitrary System.Time.Day instance Test.QuickCheck.Arbitrary.CoArbitrary System.Time.Day instance Test.QuickCheck.Arbitrary.Arbitrary System.Time.ClockTime instance Test.QuickCheck.Arbitrary.CoArbitrary System.Time.ClockTime instance Test.QuickCheck.Arbitrary.Arbitrary System.Time.TimeDiff instance Test.QuickCheck.Arbitrary.CoArbitrary System.Time.TimeDiff instance Test.QuickCheck.Arbitrary.Arbitrary System.Time.CalendarTime instance Test.QuickCheck.Arbitrary.CoArbitrary System.Time.CalendarTime instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Calendar.Days.Day instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.Calendar.Days.Day instance Test.QuickCheck.Function.Function Data.Time.Calendar.Days.Day instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Clock.Scale.UniversalTime instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.Clock.Scale.UniversalTime instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Clock.Scale.DiffTime instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.Clock.Scale.DiffTime instance Test.QuickCheck.Function.Function Data.Time.Clock.Scale.DiffTime instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Clock.UTC.UTCTime instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.Clock.UTC.UTCTime instance Test.QuickCheck.Function.Function Data.Time.Clock.UTC.UTCTime instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Clock.UTC.NominalDiffTime instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.Clock.UTC.NominalDiffTime instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.LocalTime.TimeZone.TimeZone instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.LocalTime.TimeZone.TimeZone instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.LocalTime.TimeOfDay.TimeOfDay instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.LocalTime.TimeOfDay.TimeOfDay instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.LocalTime.LocalTime.LocalTime instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.LocalTime.LocalTime.LocalTime instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.LocalTime.LocalTime.ZonedTime instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.LocalTime.LocalTime.ZonedTime instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Clock.TAI.AbsoluteTime instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.Clock.TAI.AbsoluteTime instance (Data.CaseInsensitive.Internal.FoldCase a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Data.CaseInsensitive.Internal.CI a) instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.CaseInsensitive.Internal.CI a) instance (Data.CaseInsensitive.Internal.FoldCase a, Test.QuickCheck.Function.Function a) => Test.QuickCheck.Function.Function (Data.CaseInsensitive.Internal.CI a) instance Test.QuickCheck.Arbitrary.Arbitrary b => Test.QuickCheck.Arbitrary.Arbitrary (Data.Tagged.Tagged a b) instance Test.QuickCheck.Arbitrary.CoArbitrary b => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Tagged.Tagged a b) instance Test.QuickCheck.Function.Function b => Test.QuickCheck.Function.Function (Data.Tagged.Tagged a b)