Data.GenValidity.Persist

Documentation

validsWithSeperateIDs :: forall a. (ToBackendKey SqlBackend a, GenValid a) => Gen [Entity a]

genValidsWithSeperateIDs :: forall a. (PersistEntity a, ToBackendKey SqlBackend a) => Gen a -> Gen [Entity a]

genSeperateIdsForNE :: forall a. (PersistEntity a, ToBackendKey SqlBackend a, GenValid a) => NonEmpty a -> Gen (NonEmpty (Entity a))

genSeperateIds :: forall a. (PersistEntity a, ToBackendKey SqlBackend a) => Gen [Key a]

genSeperateIdsFor :: forall a. (ToBackendKey SqlBackend a, GenValid a) => [a] -> Gen [Entity a]

shrinkValidWithSeperateIds :: (PersistEntity a, ToBackendKey SqlBackend a, GenValid a) => [Entity a] -> [[Entity a]]

Orphan instances

ToBackendKey SqlBackend record => GenUnchecked (Key record)

Methods

genUnchecked :: Gen (Key record)

shrinkUnchecked :: Key record -> [Key record]

(GenUnchecked a, ToBackendKey SqlBackend a) => GenUnchecked (Entity a)

Methods

genUnchecked :: Gen (Entity a)

shrinkUnchecked :: Entity a -> [Entity a]

ToBackendKey SqlBackend record => GenValid (Key record)

Methods

genValid :: Gen (Key record)

shrinkValid :: Key record -> [Key record]

(GenValid a, ToBackendKey SqlBackend a) => GenValid (Entity a)

Methods

genValid :: Gen (Entity a)

shrinkValid :: Entity a -> [Entity a]