Standard test spec for properties of persistent-related functions for valid values
Example usage:
persistSpec @Int:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
Modulegenvalidity-sydtest-persistent-1.0.0.0Haskell2010
Standard test Specs and raw Propertys for PersistField instances.
You will need TypeApplications to use these.
Standard test spec for properties of persistent-related functions for valid values
Example usage:
persistSpec @IntStandard 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