-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Standard spec's for binary-related Instances
--   
--   Standard spec's for cereal-related Instances, see
--   <a>https://hackage.haskell.org/package/binary</a>.
@package genvalidity-hspec-binary
@version 0.0.0.0


-- | Standard test <a>Spec</a>s and raw <a>Property</a>s for <a>Binary</a>
--   instances.
--   
--   You will need <tt>TypeApplications</tt> to use these.
module Test.Validity.Binary

-- | Standard test spec for properties of <a>Binary</a>-related functions
--   for valid values
--   
--   Example usage:
--   
--   <pre>
--   BinarySpecOnValid @Double
--   </pre>
binarySpecOnValid :: forall a. (Show a, Eq a, Typeable a, GenValid a, Binary a) => Spec

-- | Standard test spec for properties of <a>Binary</a>-related functions
--   for unchecked values
--   
--   Example usage:
--   
--   <pre>
--   binarySpec @Int
--   </pre>
binarySpec :: forall a. (Show a, Eq a, Typeable a, GenUnchecked a, Binary a) => Spec

-- | Standard test spec for properties of <a>Binary</a>-related functions
--   for arbitrary values
--   
--   Example usage:
--   
--   <pre>
--   binarySpecOnArbitrary @Int
--   </pre>
binarySpecOnArbitrary :: forall a. (Show a, Eq a, Typeable a, Arbitrary a, Binary a) => Spec

-- | Standard test spec for properties of <a>Binary</a>-related functions
--   for a given generator (and a name for that generator).
--   
--   Example usage:
--   
--   <pre>
--   binarySpecOnGen (genListOf $ pure 'a') "sequence of 'a's"
--   </pre>
binarySpecOnGen :: forall a. (Show a, Eq a, Typeable a, Binary a) => Gen a -> String -> Spec

-- | <pre>
--   neverFailsToEncodeOnGen @Bool arbitrary
--   </pre>
--   
--   <pre>
--   neverFailsToEncodeOnGen @Bool genUnchecked
--   </pre>
--   
--   <pre>
--   neverFailsToEncodeOnGen @Bool genValid
--   </pre>
--   
--   <pre>
--   neverFailsToEncodeOnGen @Int arbitrary
--   </pre>
--   
--   <pre>
--   neverFailsToEncodeOnGen @Int genUnchecked
--   </pre>
--   
--   <pre>
--   neverFailsToEncodeOnGen @Int genValid
--   </pre>
neverFailsToEncodeOnGen :: (Show a, Binary a) => Gen a -> Property

-- | <pre>
--   encodeAndDecodeAreInversesOnGen @Bool arbitrary
--   </pre>
--   
--   <pre>
--   encodeAndDecodeAreInversesOnGen @Bool genUnchecked
--   </pre>
--   
--   <pre>
--   encodeAndDecodeAreInversesOnGen @Bool genValid
--   </pre>
--   
--   <pre>
--   encodeAndDecodeAreInversesOnGen @Int arbitrary
--   </pre>
--   
--   <pre>
--   encodeAndDecodeAreInversesOnGen @Int genUnchecked
--   </pre>
--   
--   <pre>
--   encodeAndDecodeAreInversesOnGen @Int genValid
--   </pre>
encodeAndDecodeAreInversesOnGen :: (Show a, Eq a, Binary a) => Gen a -> Property