Data.GenValidity.Appendful.Collection

Documentation

splitSet :: Ord i => Set i -> Gen (Set i, Set i)

mapWithIds :: (Ord i, GenValid a) => Set i -> Gen (Map i a)

genServerStoreFromSet :: (Ord si, GenValid v) => Set si -> Gen (ServerStore si v)

genUnsyncedStore :: forall ci si a. (Show ci, Ord ci, Ord si, Ord a, GenValid ci, GenValid si, GenValid a) => Gen (ClientStore ci si a)

genClientStoreFromSet :: (Show ci, Ord ci, Ord si, GenValid ci, GenValid v) => Set si -> Gen (ClientStore ci si v)

Orphan instances

GenValid ClientId

Methods

genValid :: Gen ClientId

shrinkValid :: ClientId -> [ClientId]

(GenValid si, GenValid a, Show si, Show a, Ord si, Ord a) => GenValid (ServerStore si a)

Methods

genValid :: Gen (ServerStore si a)

shrinkValid :: ServerStore si a -> [ServerStore si a]

(GenValid ci, GenValid si, GenValid a, Show ci, Show si, Show a, Ord ci, Ord si, Ord a) => GenValid (ClientStore ci si a)

Methods

genValid :: Gen (ClientStore ci si a)

shrinkValid :: ClientStore ci si a -> [ClientStore ci si a]

(GenValid ci, GenValid si, GenValid a, Show ci, Show si, Show a, Ord ci, Ord si, Ord a) => GenValid (SyncRequest ci si a)

Methods

genValid :: Gen (SyncRequest ci si a)

shrinkValid :: SyncRequest ci si a -> [SyncRequest ci si a]

(GenValid ci, GenValid si, GenValid a, Show ci, Show si, Show a, Ord ci, Ord si, Ord a) => GenValid (SyncResponse ci si a)

Methods

genValid :: Gen (SyncResponse ci si a)

shrinkValid :: SyncResponse ci si a -> [SyncResponse ci si a]