Data.GenValidity.Mergeless.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

GenUnchecked ClientId

Methods

genUnchecked :: Gen ClientId

shrinkUnchecked :: ClientId -> [ClientId]

GenValid ClientId

Methods

genValid :: Gen ClientId

shrinkValid :: ClientId -> [ClientId]

(GenUnchecked si, GenUnchecked a, Ord si, Ord a) => GenUnchecked (ServerStore si a)

Methods

genUnchecked :: Gen (ServerStore si a)

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

(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]

(GenUnchecked si, GenUnchecked a, Show si, Show a, GenInvalid si, GenInvalid a, Ord si, Ord a) => GenInvalid (ServerStore si a)

Methods

genInvalid :: Gen (ServerStore si a)

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

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

Methods

genUnchecked :: Gen (ClientStore ci si a)

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

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

Methods

genUnchecked :: Gen (SyncRequest ci si a)

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

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

Methods

genUnchecked :: Gen (SyncResponse ci si a)

shrinkUnchecked :: SyncResponse ci si a -> [SyncResponse ci 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]

(GenUnchecked ci, GenUnchecked si, GenUnchecked a, Show ci, Show si, Show a, GenInvalid ci, GenInvalid si, GenInvalid a, Ord ci, Ord si, Ord a) => GenInvalid (ClientStore ci si a)

Methods

genInvalid :: Gen (ClientStore ci si a)

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

(GenUnchecked ci, GenUnchecked si, GenUnchecked a, Show ci, Show si, Show a, GenInvalid ci, GenInvalid si, GenInvalid a, Ord ci, Ord si, Ord a) => GenInvalid (SyncRequest ci si a)

Methods

genInvalid :: Gen (SyncRequest ci si a)

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

(GenUnchecked ci, GenUnchecked si, GenUnchecked a, Show ci, Show si, Show a, GenInvalid ci, GenInvalid si, GenInvalid a, Ord ci, Ord si, Ord a) => GenInvalid (SyncResponse ci si a)

Methods

genInvalid :: Gen (SyncResponse ci si a)

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