Standard test spec for properties of persistent-related functions for valid values
Example usage:
persistSpec @IntModulegenvalidity-sydtest-persistent-1.0.0.1Haskell2010
Test.Syd.Validity.Persist
Standard test Specs and raw Propertys for PersistField instances.
You will need TypeApplications to use these.
- 4 values
- Packagegenvalidity-sydtest-persistent-1.0.0.1
- Exports4
- LanguageHaskell2010
- LicenceMIT
- SourcePersist.hs
value
persistSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, PersistField a) => TestDef outers ()Standard test spec for properties of persistent-related functions for arbitrary values
Example usage:
persistSpecOnArbitrary @IntStandard 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 @Bool arbitrary shrinkfromPersistValueAndToPersistValueAreInversesOnGen @Bool genValid shrinkValidfromPersistValueAndToPersistValueAreInversesOnGen @Bool genValid shrinkValidfromPersistValueAndToPersistValueAreInversesOnGen @Int arbitrary shrinkfromPersistValueAndToPersistValueAreInversesOnGen @Int genValid shrinkValidfromPersistValueAndToPersistValueAreInversesOnGen @Int genValid shrinkValid