Data.GenValidity.Mergeful

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 i, Ord i, GenUnchecked a) => GenUnchecked (ClientStore i a)

Methods

genUnchecked :: Gen (ClientStore i a)

shrinkUnchecked :: ClientStore i a -> [ClientStore i a]

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

Methods

genUnchecked :: Gen (ServerStore i a)

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

(GenUnchecked i, Ord i, GenUnchecked a) => GenUnchecked (SyncRequest i a)

Methods

genUnchecked :: Gen (SyncRequest i a)

shrinkUnchecked :: SyncRequest i a -> [SyncRequest i a]

(GenUnchecked i, Ord i, GenUnchecked a) => GenUnchecked (SyncResponse i a)

Methods

genUnchecked :: Gen (SyncResponse i a)

shrinkUnchecked :: SyncResponse i a -> [SyncResponse i a]

(GenValid i, Ord i, GenValid a) => GenValid (ClientStore i a)

Methods

genValid :: Gen (ClientStore i a)

shrinkValid :: ClientStore i a -> [ClientStore i a]

(GenValid i, Ord i, GenValid a) => GenValid (ServerStore i a)

Methods

genValid :: Gen (ServerStore i a)

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

(GenValid i, Ord i, GenValid a) => GenValid (SyncRequest i a)

Methods

genValid :: Gen (SyncRequest i a)

shrinkValid :: SyncRequest i a -> [SyncRequest i a]

(GenValid i, Ord i, GenValid a) => GenValid (SyncResponse i a)

Methods

genValid :: Gen (SyncResponse i a)

shrinkValid :: SyncResponse i a -> [SyncResponse i a]