GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02
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