GHC 9.14.1 · lts/ghc-9.14.x · 7a6c33e · 2026-10-12
Modulegenvalidity-sydtest-persistent-1.0.0.1Haskell2010
Standard test Specs and raw Propertys for PersistField instances.
You will need TypeApplications to use these.
persistSpec :: (Show a, Eq a, Typeable a, GenValid a, PersistField a) => TestDef outers ()Standard test spec for properties of persistent-related functions for valid values
Example usage:
persistSpec @IntpersistSpecOnArbitrary :: (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