Data.GenValidity.Mergeful.Collection

Documentation

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

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

Orphan instances

GenUnchecked ClientId

Methods

genUnchecked :: Gen ClientId

shrinkUnchecked :: ClientId -> [ClientId]

GenValid ClientId

Methods

genValid :: Gen ClientId

shrinkValid :: ClientId -> [ClientId]

GenUnchecked si => GenUnchecked (ClientAddition si)

Methods

genUnchecked :: Gen (ClientAddition si)

shrinkUnchecked :: ClientAddition si -> [ClientAddition si]

GenValid si => GenValid (ClientAddition si)

Methods

genValid :: Gen (ClientAddition si)

shrinkValid :: ClientAddition si -> [ClientAddition si]

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

Methods

genUnchecked :: Gen (ServerStore si a)

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

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

Methods

genValid :: Gen (ServerStore si a)

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

(GenUnchecked ci, GenUnchecked si, Ord ci, Ord si, GenUnchecked 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, Ord ci, Ord si, GenUnchecked 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, Ord ci, Ord si, GenUnchecked 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, Show ci, Show si, Ord ci, Ord si, GenValid 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, Show ci, Show si, Ord ci, Ord si, GenValid 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, Show ci, Show si, Ord ci, Ord si, GenValid a) => GenValid (SyncResponse ci si a)

Methods

genValid :: Gen (SyncResponse ci si a)

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