{-# OPTIONS_GHC -fno-warn-orphans #-} module Data.GenValidity.Mergeful.Item where import Data.GenValidity import Data.GenValidity.Mergeful.Timed () import Data.Mergeful.Item instance GenValid a => GenValid (ItemMergeResult a) where genValid :: Gen (ItemMergeResult a) genValid = forall a. (Generic a, GGenValid (Rep a)) => Gen a genValidStructurallyWithoutExtraChecking shrinkValid :: ItemMergeResult a -> [ItemMergeResult a] shrinkValid = forall a. (Generic a, GValidRecursivelyShrink (Rep a), GValidSubterms (Rep a) a) => a -> [a] shrinkValidStructurallyWithoutExtraFiltering instance GenValid a => GenValid (ClientItem a) where genValid :: Gen (ClientItem a) genValid = forall a. (Generic a, GGenValid (Rep a)) => Gen a genValidStructurallyWithoutExtraChecking shrinkValid :: ClientItem a -> [ClientItem a] shrinkValid = forall a. (Generic a, GValidRecursivelyShrink (Rep a), GValidSubterms (Rep a) a) => a -> [a] shrinkValidStructurallyWithoutExtraFiltering instance GenValid a => GenValid (ServerItem a) where genValid :: Gen (ServerItem a) genValid = forall a. (Generic a, GGenValid (Rep a)) => Gen a genValidStructurallyWithoutExtraChecking shrinkValid :: ServerItem a -> [ServerItem a] shrinkValid = forall a. (Generic a, GValidRecursivelyShrink (Rep a), GValidSubterms (Rep a) a) => a -> [a] shrinkValidStructurallyWithoutExtraFiltering instance GenValid a => GenValid (ItemSyncRequest a) where genValid :: Gen (ItemSyncRequest a) genValid = forall a. (Generic a, GGenValid (Rep a)) => Gen a genValidStructurallyWithoutExtraChecking shrinkValid :: ItemSyncRequest a -> [ItemSyncRequest a] shrinkValid = forall a. (Generic a, GValidRecursivelyShrink (Rep a), GValidSubterms (Rep a) a) => a -> [a] shrinkValidStructurallyWithoutExtraFiltering instance GenValid a => GenValid (ItemSyncResponse a) where genValid :: Gen (ItemSyncResponse a) genValid = forall a. (Generic a, GGenValid (Rep a)) => Gen a genValidStructurallyWithoutExtraChecking shrinkValid :: ItemSyncResponse a -> [ItemSyncResponse a] shrinkValid = forall a. (Generic a, GValidRecursivelyShrink (Rep a), GValidSubterms (Rep a) a) => a -> [a] shrinkValidStructurallyWithoutExtraFiltering