Test.Syd.Validity.Persist

Standard test Specs and raw Propertys for PersistField instances.

You will need TypeApplications to use these.

Documentation

persistSpecOnValid :: forall a. (Show a, Eq a, Typeable a, GenValid a, PersistField a) => Spec

Standard test spec for properties of persistent-related functions for valid values

Example usage:

persistSpecOnValid @Rational

persistSpec :: forall a. (Show a, Eq a, Typeable a, GenUnchecked a, PersistField a) => Spec

Standard test spec for properties of persistent-related functions for unchecked values

Example usage:

persistSpec @Int

persistSpecOnArbitrary :: forall a. (Show a, Eq a, Typeable a, Arbitrary a, PersistField a) => Spec

Standard test spec for properties of persistent-related functions for arbitrary values

Example usage:

persistSpecOnArbitrary @Int

persistSpecOnGen :: forall a. (Show a, Eq a, Typeable a, PersistField a) => Gen a -> String -> (a -> [a]) -> Spec

Standard test spec for properties of persistent-related functions for a given generator (and a name for that generator).

Example usage:

persistSpecOnGen (genListOf $ pure 'a') "sequence of 'a's"

fromPersistValueAndToPersistValueAreInversesOnGen :: (Show a, Eq a, PersistField a) => Gen a -> (a -> [a]) -> Property

fromPersistValueAndToPersistValueAreInversesOnGen @Bool arbitrary shrink

fromPersistValueAndToPersistValueAreInversesOnGen @Bool genUnchecked shrinkUnchecked

fromPersistValueAndToPersistValueAreInversesOnGen @Bool genValid shrinkValid

fromPersistValueAndToPersistValueAreInversesOnGen @Int arbitrary shrink

fromPersistValueAndToPersistValueAreInversesOnGen @Int genUnchecked shrinkUnchecked

fromPersistValueAndToPersistValueAreInversesOnGen @Int genValid shrinkValid