Safe Haskell	None
Language	Haskell2010

Prolude.Test

Contents

QuickCheck re-exports
Type
Function

Synopsis

class Arbitrary a where
- arbitrary :: Gen a
sublistOf :: [a] -> Gen [a]
generate :: Gen a -> IO a
resize :: Int -> Gen a -> Gen a
newtype ArbitraryUniform a = ArbitraryUniform {
- unArbitraryUniform :: a
}
arbitraryIO :: (Arbitrary a, MonadIO m) => m a

QuickCheck re-exports

class Arbitrary a where #

Random generation and shrinking of values.

QuickCheck provides Arbitrary instances for most types in base, except those which incur extra dependencies. For a wider range of Arbitrary instances see the quickcheck-instances package.

Methods

arbitrary :: Gen a #

A generator for values of the given type.

It is worth spending time thinking about what sort of test data you want - good generators are often the difference between finding bugs and not finding them. You can use sample, label and classify to check the quality of your test data.

There is no generic arbitrary implementation included because we don't know how to make a high-quality one. If you want one, consider using the testing-feat or generic-random packages.

The QuickCheck manual goes into detail on how to write good generators. Make sure to look at it, especially if your type is recursive!

Instances

Instances details

Arbitrary QCGen
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen QCGen # shrink :: QCGen -> [QCGen] #
Arbitrary Key	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.Key Methods arbitrary :: Gen Key # shrink :: Key -> [Key] #
Arbitrary Value	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.Types.Internal Methods arbitrary :: Gen Value # shrink :: Value -> [Value] #
Arbitrary All
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen All # shrink :: All -> [All] #
Arbitrary Any
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Any # shrink :: Any -> [Any] #
Arbitrary Version	Generates `Version` with non-empty non-negative `versionBranch`, and empty `versionTags`
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Version # shrink :: Version -> [Version] #
Arbitrary CChar
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CChar # shrink :: CChar -> [CChar] #
Arbitrary CClock
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CClock # shrink :: CClock -> [CClock] #
Arbitrary CDouble
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CDouble # shrink :: CDouble -> [CDouble] #
Arbitrary CFloat
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CFloat # shrink :: CFloat -> [CFloat] #
Arbitrary CInt
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CInt # shrink :: CInt -> [CInt] #
Arbitrary CIntMax
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CIntMax # shrink :: CIntMax -> [CIntMax] #
Arbitrary CIntPtr
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CIntPtr # shrink :: CIntPtr -> [CIntPtr] #
Arbitrary CLLong
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CLLong # shrink :: CLLong -> [CLLong] #
Arbitrary CLong
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CLong # shrink :: CLong -> [CLong] #
Arbitrary CPtrdiff
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CPtrdiff # shrink :: CPtrdiff -> [CPtrdiff] #
Arbitrary CSChar
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CSChar # shrink :: CSChar -> [CSChar] #
Arbitrary CSUSeconds
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CSUSeconds # shrink :: CSUSeconds -> [CSUSeconds] #
Arbitrary CShort
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CShort # shrink :: CShort -> [CShort] #
Arbitrary CSigAtomic
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CSigAtomic # shrink :: CSigAtomic -> [CSigAtomic] #
Arbitrary CSize
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CSize # shrink :: CSize -> [CSize] #
Arbitrary CTime
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CTime # shrink :: CTime -> [CTime] #
Arbitrary CUChar
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CUChar # shrink :: CUChar -> [CUChar] #
Arbitrary CUInt
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CUInt # shrink :: CUInt -> [CUInt] #
Arbitrary CUIntMax
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CUIntMax # shrink :: CUIntMax -> [CUIntMax] #
Arbitrary CUIntPtr
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CUIntPtr # shrink :: CUIntPtr -> [CUIntPtr] #
Arbitrary CULLong
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CULLong # shrink :: CULLong -> [CULLong] #
Arbitrary CULong
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CULong # shrink :: CULong -> [CULong] #
Arbitrary CUSeconds
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CUSeconds # shrink :: CUSeconds -> [CUSeconds] #
Arbitrary CUShort
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CUShort # shrink :: CUShort -> [CUShort] #
Arbitrary CWchar
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CWchar # shrink :: CWchar -> [CWchar] #
Arbitrary ExitCode
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen ExitCode # shrink :: ExitCode -> [ExitCode] #
Arbitrary Int16
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Int16 # shrink :: Int16 -> [Int16] #
Arbitrary Int32
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Int32 # shrink :: Int32 -> [Int32] #
Arbitrary Int64
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Int64 # shrink :: Int64 -> [Int64] #
Arbitrary Int8
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Int8 # shrink :: Int8 -> [Int8] #
Arbitrary Word16
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Word16 # shrink :: Word16 -> [Word16] #
Arbitrary Word32
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Word32 # shrink :: Word32 -> [Word32] #
Arbitrary Word64
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Word64 # shrink :: Word64 -> [Word64] #
Arbitrary Word8
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Word8 # shrink :: Word8 -> [Word8] #
Arbitrary IntSet
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen IntSet # shrink :: IntSet -> [IntSet] #
Arbitrary Ordering
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Ordering # shrink :: Ordering -> [Ordering] #
Arbitrary Integer
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Integer # shrink :: Integer -> [Integer] #
Arbitrary ()
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen () # shrink :: () -> [()] #
Arbitrary Bool
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Bool # shrink :: Bool -> [Bool] #
Arbitrary Char
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Char # shrink :: Char -> [Char] #
Arbitrary Double
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Double # shrink :: Double -> [Double] #
Arbitrary Float
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Float # shrink :: Float -> [Float] #
Arbitrary Int
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Int # shrink :: Int -> [Int] #
Arbitrary Word
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Word # shrink :: Word -> [Word] #
Arbitrary v => Arbitrary (KeyMap v)	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.KeyMap Methods arbitrary :: Gen (KeyMap v) # shrink :: KeyMap v -> [KeyMap v] #
Arbitrary a => Arbitrary (ZipList a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (ZipList a) # shrink :: ZipList a -> [ZipList a] #
Arbitrary a => Arbitrary (Complex a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Complex a) # shrink :: Complex a -> [Complex a] #
Arbitrary a => Arbitrary (Identity a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Identity a) # shrink :: Identity a -> [Identity a] #
Arbitrary a => Arbitrary (First a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (First a) # shrink :: First a -> [First a] #
Arbitrary a => Arbitrary (Last a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Last a) # shrink :: Last a -> [Last a] #
Arbitrary a => Arbitrary (Dual a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Dual a) # shrink :: Dual a -> [Dual a] #
(Arbitrary a, CoArbitrary a) => Arbitrary (Endo a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Endo a) # shrink :: Endo a -> [Endo a] #
Arbitrary a => Arbitrary (Product a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Product a) # shrink :: Product a -> [Product a] #
Arbitrary a => Arbitrary (Sum a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Sum a) # shrink :: Sum a -> [Sum a] #
Integral a => Arbitrary (Ratio a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Ratio a) # shrink :: Ratio a -> [Ratio a] #
Arbitrary a => Arbitrary (IntMap a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (IntMap a) # shrink :: IntMap a -> [IntMap a] #
Arbitrary a => Arbitrary (Seq a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Seq a) # shrink :: Seq a -> [Seq a] #
(Ord a, Arbitrary a) => Arbitrary (Set a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Set a) # shrink :: Set a -> [Set a] #
Arbitrary a => Arbitrary (Tree a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Tree a) # shrink :: Tree a -> [Tree a] #
(GArbitrary UnsizedOpts a, Weights_ (Rep a) ~ L c0) => Arbitrary (GenericArbitrarySingle a)
Instance details Defined in Generic.Random.DerivingVia Methods arbitrary :: Gen (GenericArbitrarySingle a) # shrink :: GenericArbitrarySingle a -> [GenericArbitrarySingle a] #
(GArbitrary UnsizedOpts a, GUniformWeight a) => Arbitrary (GenericArbitraryU a)
Instance details Defined in Generic.Random.DerivingVia Methods arbitrary :: Gen (GenericArbitraryU a) # shrink :: GenericArbitraryU a -> [GenericArbitraryU a] #
(GArbitrary UnsizedOpts a, GUniformWeight a) => Arbitrary (ArbitraryUniform a) Source #
Instance details Defined in Prolude.Test Methods arbitrary :: Gen (ArbitraryUniform a) # shrink :: ArbitraryUniform a -> [ArbitraryUniform a] #
Arbitrary a => Arbitrary (Maybe a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Maybe a) # shrink :: Maybe a -> [Maybe a] #
Arbitrary a => Arbitrary [a]
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen [a] # shrink :: [a] -> [[a]] #
Arbitrary (m a) => Arbitrary (WrappedMonad m a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (WrappedMonad m a) # shrink :: WrappedMonad m a -> [WrappedMonad m a] #
(Arbitrary a, Arbitrary b) => Arbitrary (Either a b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Either a b) # shrink :: Either a b -> [Either a b] #
HasResolution a => Arbitrary (Fixed a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Fixed a) # shrink :: Fixed a -> [Fixed a] #
(Ord k, Arbitrary k, Arbitrary v) => Arbitrary (Map k v)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Map k v) # shrink :: Map k v -> [Map k v] #
(CoArbitrary a, Arbitrary b) => Arbitrary (a -> b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a -> b) # shrink :: (a -> b) -> [a -> b] #
(Arbitrary a, Arbitrary b) => Arbitrary (a, b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b) # shrink :: (a, b) -> [(a, b)] #
Arbitrary (a b c) => Arbitrary (WrappedArrow a b c)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (WrappedArrow a b c) # shrink :: WrappedArrow a b c -> [WrappedArrow a b c] #
Arbitrary a => Arbitrary (Const a b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Const a b) # shrink :: Const a b -> [Const a b] #
Arbitrary (f a) => Arbitrary (Alt f a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Alt f a) # shrink :: Alt f a -> [Alt f a] #
(Arbitrary (f a), Coercible (f a) a, Generic a, RecursivelyShrink (Rep a), GSubterms (Rep a) a) => Arbitrary (AndShrinking f a)
Instance details Defined in Generic.Random.DerivingVia Methods arbitrary :: Gen (AndShrinking f a) # shrink :: AndShrinking f a -> [AndShrinking f a] #
(GArbitrary UnsizedOpts a, TypeLevelWeights' weights a) => Arbitrary (GenericArbitrary weights a)
Instance details Defined in Generic.Random.DerivingVia Methods arbitrary :: Gen (GenericArbitrary weights a) # shrink :: GenericArbitrary weights a -> [GenericArbitrary weights a] #
(GArbitrary SizedOptsDef a, TypeLevelWeights' weights a) => Arbitrary (GenericArbitraryRec weights a)
Instance details Defined in Generic.Random.DerivingVia Methods arbitrary :: Gen (GenericArbitraryRec weights a) # shrink :: GenericArbitraryRec weights a -> [GenericArbitraryRec weights a] #
(GArbitrary (SetGens genList UnsizedOpts) a, Weights_ (Rep a) ~ L c0, TypeLevelGenList genList', genList ~ TypeLevelGenList' genList') => Arbitrary (GenericArbitrarySingleG genList' a)
Instance details Defined in Generic.Random.DerivingVia Methods arbitrary :: Gen (GenericArbitrarySingleG genList' a) # shrink :: GenericArbitrarySingleG genList' a -> [GenericArbitrarySingleG genList' a] #
(GArbitrary (SetGens genList UnsizedOpts) a, GUniformWeight a, TypeLevelGenList genList', genList ~ TypeLevelGenList' genList') => Arbitrary (GenericArbitraryUG genList' a)
Instance details Defined in Generic.Random.DerivingVia Methods arbitrary :: Gen (GenericArbitraryUG genList' a) # shrink :: GenericArbitraryUG genList' a -> [GenericArbitraryUG genList' a] #
Arbitrary a => Arbitrary (Constant a b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Constant a b) # shrink :: Constant a b -> [Constant a b] #
(Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (a, b, c)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c) # shrink :: (a, b, c) -> [(a, b, c)] #
(Arbitrary1 f, Arbitrary1 g, Arbitrary a) => Arbitrary (Product f g a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Product f g a) # shrink :: Product f g a -> [Product f g a] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => Arbitrary (a, b, c, d)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d) # shrink :: (a, b, c, d) -> [(a, b, c, d)] #
(Arbitrary1 f, Arbitrary1 g, Arbitrary a) => Arbitrary (Compose f g a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Compose f g a) # shrink :: Compose f g a -> [Compose f g a] #
(GArbitrary (SetGens genList UnsizedOpts) a, GUniformWeight a, TypeLevelWeights' weights a, TypeLevelGenList genList', genList ~ TypeLevelGenList' genList') => Arbitrary (GenericArbitraryG genList' weights a)
Instance details Defined in Generic.Random.DerivingVia Methods arbitrary :: Gen (GenericArbitraryG genList' weights a) # shrink :: GenericArbitraryG genList' weights a -> [GenericArbitraryG genList' weights a] #
(GArbitrary (SetGens genList SizedOpts) a, TypeLevelWeights' weights a, TypeLevelGenList genList', genList ~ TypeLevelGenList' genList') => Arbitrary (GenericArbitraryRecG genList' weights a)
Instance details Defined in Generic.Random.DerivingVia Methods arbitrary :: Gen (GenericArbitraryRecG genList' weights a) # shrink :: GenericArbitraryRecG genList' weights a -> [GenericArbitraryRecG genList' weights a] #
(GArbitrary opts a, TypeLevelWeights' weights a, TypeLevelOpts opts', opts ~ TypeLevelOpts' opts') => Arbitrary (GenericArbitraryWith opts' weights a)
Instance details Defined in Generic.Random.DerivingVia Methods arbitrary :: Gen (GenericArbitraryWith opts' weights a) # shrink :: GenericArbitraryWith opts' weights a -> [GenericArbitraryWith opts' weights a] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e) => Arbitrary (a, b, c, d, e)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d, e) # shrink :: (a, b, c, d, e) -> [(a, b, c, d, e)] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f) => Arbitrary (a, b, c, d, e, f)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d, e, f) # shrink :: (a, b, c, d, e, f) -> [(a, b, c, d, e, f)] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g) => Arbitrary (a, b, c, d, e, f, g)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d, e, f, g) # shrink :: (a, b, c, d, e, f, g) -> [(a, b, c, d, e, f, g)] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h) => Arbitrary (a, b, c, d, e, f, g, h)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d, e, f, g, h) # shrink :: (a, b, c, d, e, f, g, h) -> [(a, b, c, d, e, f, g, h)] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i) => Arbitrary (a, b, c, d, e, f, g, h, i)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d, e, f, g, h, i) # shrink :: (a, b, c, d, e, f, g, h, i) -> [(a, b, c, d, e, f, g, h, i)] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j) => Arbitrary (a, b, c, d, e, f, g, h, i, j)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d, e, f, g, h, i, j) # shrink :: (a, b, c, d, e, f, g, h, i, j) -> [(a, b, c, d, e, f, g, h, i, j)] #

sublistOf :: [a] -> Gen [a] #

Generates a random subsequence of the given list.

generate :: Gen a -> IO a #

Run a generator. The size passed to the generator is always 30; if you want another size then you should explicitly use resize.

resize :: Int -> Gen a -> Gen a #

Overrides the size parameter. Returns a generator which uses the given size instead of the runtime-size parameter.

Type

newtype ArbitraryUniform a Source #

Constructors

ArbitraryUniform
Fields unArbitraryUniform :: a

Instances

Instances details

(GArbitrary UnsizedOpts a, GUniformWeight a) => Arbitrary (ArbitraryUniform a) Source #
Instance details Defined in Prolude.Test Methods arbitrary :: Gen (ArbitraryUniform a) # shrink :: ArbitraryUniform a -> [ArbitraryUniform a] #
Generic a => Generic (ArbitraryUniform a) Source #
Instance details Defined in Prolude.Test Associated Types type Rep (ArbitraryUniform a) :: Type -> Type # Methods from :: ArbitraryUniform a -> Rep (ArbitraryUniform a) x # to :: Rep (ArbitraryUniform a) x -> ArbitraryUniform a #
type Rep (ArbitraryUniform a) Source #
Instance details Defined in Prolude.Test type Rep (ArbitraryUniform a) = Rep a

Function

arbitraryIO :: (Arbitrary a, MonadIO m) => m a Source #