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)

genUnsyncedStore :: forall i a. (Ord i, Ord a, GenValid i, GenValid a) => Gen (ClientStore i a)

Orphan instances

GenUnchecked ClientId

Methods

genUnchecked :: Gen ClientId

shrinkUnchecked :: ClientId -> [ClientId]

GenValid ClientId

Methods

genValid :: Gen ClientId

shrinkValid :: ClientId -> [ClientId]

(GenUnchecked i, GenUnchecked a, Show i, Show a, Ord i, Ord a) => GenUnchecked (ClientStore i a)

Methods

genUnchecked :: Gen (ClientStore i a)

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

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

Methods

genUnchecked :: Gen (SyncRequest i a)

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

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

Methods

genUnchecked :: Gen (SyncResponse i a)

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

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

Methods

genUnchecked :: Gen (ServerStore i a)

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

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

Methods

genValid :: Gen (ClientStore i a)

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

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

Methods

genValid :: Gen (SyncRequest i a)

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

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

Methods

genValid :: Gen (SyncResponse i a)

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

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

Methods

genValid :: Gen (ServerStore i a)

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

(GenUnchecked i, GenUnchecked a, Show i, Show a, GenInvalid i, GenInvalid a, Ord i, Ord a) => GenInvalid (ClientStore i a)

Methods

genInvalid :: Gen (ClientStore i a)

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

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

Methods

genInvalid :: Gen (SyncRequest i a)

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

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

Methods

genInvalid :: Gen (SyncResponse i a)

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

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

Methods

genInvalid :: Gen (ServerStore i a)

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