HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulegenvalidity-sydtest-persistent-1.0.0.0Haskell2010

Test.Syd.Validity.Persist

Standard test Specs and raw Propertys for PersistField instances.

You will need TypeApplications to use these.

  • 4 values
valuepersistSpecOnGen
  1. :: (Show a, Eq a, Typeable a, PersistField a)
  2. => Gen a
  3. -> String
  4. -> a -> [a]
  5. -> 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"
Property
fromPersistValueAndToPersistValueAreInversesOnGen @Bool arbitrary shrink
Property
fromPersistValueAndToPersistValueAreInversesOnGen @Bool genValid shrinkValid
Property
fromPersistValueAndToPersistValueAreInversesOnGen @Bool genValid shrinkValid
Property
fromPersistValueAndToPersistValueAreInversesOnGen @Int arbitrary shrink
Property
fromPersistValueAndToPersistValueAreInversesOnGen @Int genValid shrinkValid
Property
fromPersistValueAndToPersistValueAreInversesOnGen @Int genValid shrinkValid