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

GenValid ClientId

Methods

genValid :: Gen ClientId

shrinkValid :: ClientId -> [ClientId]

GenValid si => GenValid (ClientAddition si)

Methods

genValid :: Gen (ClientAddition si)

shrinkValid :: ClientAddition si -> [ClientAddition si]

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

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