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


-- | Standard spec's for persistent-related instances
--   
--   Standard spec's for persistent-related instances
@package genvalidity-hspec-persistent
@version 0.0.0.1


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

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

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

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

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

-- | <pre>
--   fromPersistValueAndToPersistValueAreInversesOnGen @Bool arbitrary shrink
--   </pre>
--   
--   <pre>
--   fromPersistValueAndToPersistValueAreInversesOnGen @Bool genUnchecked shrinkUnchecked
--   </pre>
--   
--   <pre>
--   fromPersistValueAndToPersistValueAreInversesOnGen @Bool genValid shrinkValid
--   </pre>
--   
--   <pre>
--   fromPersistValueAndToPersistValueAreInversesOnGen @Int arbitrary shrink
--   </pre>
--   
--   <pre>
--   fromPersistValueAndToPersistValueAreInversesOnGen @Int genUnchecked shrinkUnchecked
--   </pre>
--   
--   <pre>
--   fromPersistValueAndToPersistValueAreInversesOnGen @Int genValid shrinkValid
--   </pre>
fromPersistValueAndToPersistValueAreInversesOnGen :: (Show a, Eq a, PersistField a) => Gen a -> (a -> [a]) -> Property