Data.GenValidity.Mergeless

Documentation

Orphan instances

GenUnchecked a => GenUnchecked (Added a)

Methods

genUnchecked :: Gen (Added a)

shrinkUnchecked :: Added a -> [Added a]

GenUnchecked a => GenUnchecked (CentralItem a)

Methods

genUnchecked :: Gen (CentralItem a)

shrinkUnchecked :: CentralItem a -> [CentralItem a]

GenValid a => GenValid (Added a)

Methods

genValid :: Gen (Added a)

shrinkValid :: Added a -> [Added a]

GenValid a => GenValid (CentralItem a)

Methods

genValid :: Gen (CentralItem a)

shrinkValid :: CentralItem a -> [CentralItem a]

GenInvalid a => GenInvalid (Added a)

Methods

genInvalid :: Gen (Added a)

shrinkInvalid :: Added a -> [Added a]

GenInvalid a => GenInvalid (CentralItem a)

Methods

genInvalid :: Gen (CentralItem a)

shrinkInvalid :: CentralItem a -> [CentralItem a]

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

Methods

genUnchecked :: Gen (Store i a)

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

(GenUnchecked i, GenUnchecked a) => GenUnchecked (StoreItem i a)

Methods

genUnchecked :: Gen (StoreItem i a)

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

(GenUnchecked i, GenUnchecked a) => GenUnchecked (Synced i a)

Methods

genUnchecked :: Gen (Synced i a)

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

(GenUnchecked i, GenUnchecked 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, 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 (CentralStore i a)

Methods

genUnchecked :: Gen (CentralStore i a)

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

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

Methods

genValid :: Gen (Store i a)

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

(GenValid i, GenValid a) => GenValid (StoreItem i a)

Methods

genValid :: Gen (StoreItem i a)

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

(GenValid i, GenValid a) => GenValid (Synced i a)

Methods

genValid :: Gen (Synced i a)

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

(GenValid i, GenValid 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, 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, Ord i, Ord a) => GenValid (CentralStore i a)

Methods

genValid :: Gen (CentralStore i a)

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

(GenInvalid i, GenInvalid a, Ord i, Ord a) => GenInvalid (Store i a)

Methods

genInvalid :: Gen (Store i a)

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

(GenInvalid i, GenInvalid a) => GenInvalid (StoreItem i a)

Methods

genInvalid :: Gen (StoreItem i a)

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

(GenInvalid i, GenInvalid a) => GenInvalid (Synced i a)

Methods

genInvalid :: Gen (Synced i a)

shrinkInvalid :: Synced i a -> [Synced i 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]

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

(GenInvalid i, GenInvalid a, Ord i, Ord a) => GenInvalid (CentralStore i a)

Methods

genInvalid :: Gen (CentralStore i a)

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