Safe Haskell	None
Language	Haskell2010

Data.Vector.Fixed.Instances.QuickCheck

Contents

Description

Module with aeson instances for data types defined in fixed vector

Orphan instances

Arbitrary a => Arbitrary (Only a) Source #
Instance details Methods arbitrary :: Gen (Only a) # shrink :: Only a -> [Only a] #
Arbitrary (Empty a) Source #
Instance details Methods arbitrary :: Gen (Empty a) # shrink :: Empty a -> [Empty a] #
(Arity n, Arbitrary a) => Arbitrary (VecList n a) Source #
Instance details Methods arbitrary :: Gen (VecList n a) # shrink :: VecList n a -> [VecList n a] #
(ArityPeano n, Arbitrary a) => Arbitrary (VecPeano n a) Source #
Instance details Methods arbitrary :: Gen (VecPeano n a) # shrink :: VecPeano n a -> [VecPeano n a] #
(Arity n, Arbitrary a) => Arbitrary (Vec n a) Source #
Instance details Methods arbitrary :: Gen (Vec n a) # shrink :: Vec n a -> [Vec n a] #
(Arity n, Arbitrary a, Prim a) => Arbitrary (Vec n a) Source #
Instance details Methods arbitrary :: Gen (Vec n a) # shrink :: Vec n a -> [Vec n a] #
(Arity n, Arbitrary a, Storable a) => Arbitrary (Vec n a) Source #
Instance details Methods arbitrary :: Gen (Vec n a) # shrink :: Vec n a -> [Vec n a] #
(Arity n, Arbitrary a) => Arbitrary (Vec n a) Source #
Instance details Methods arbitrary :: Gen (Vec n a) # shrink :: Vec n a -> [Vec n a] #
(Arity n, Arbitrary a, Unbox n a) => Arbitrary (Vec n a) Source #
Instance details Methods arbitrary :: Gen (Vec n a) # shrink :: Vec n a -> [Vec n a] #
(Vector v a, Arbitrary a) => Arbitrary (ViaFixed v a) Source #
Instance details Methods arbitrary :: Gen (ViaFixed v a) # shrink :: ViaFixed v a -> [ViaFixed v a] #