Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.GenValidity.Mergeful.Collection

Contents

Documentation

Orphan instances

GenValid ClientId Source #
Instance details Methods genValid :: Gen ClientId # shrinkValid :: ClientId -> [ClientId] #
GenValid si => GenValid (ClientAddition si) Source #
Instance details Methods genValid :: Gen (ClientAddition si) # shrinkValid :: ClientAddition si -> [ClientAddition si] #
(GenValid si, Show si, Ord si, GenValid a) => GenValid (ServerStore si a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Methods genValid :: Gen (SyncResponse ci si a) # shrinkValid :: SyncResponse ci si a -> [SyncResponse ci si a] #