-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Generators for ppend-only cooperative agreement
@package genvalidity-appendful
@version 0.1.0.0

module Data.GenValidity.Appendful.Collection
splitSet :: Ord i => Set i -> Gen (Set i, Set i)
mapWithIds :: (Ord i, GenValid a) => Set i -> Gen (Map i a)
genServerStoreFromSet :: (Ord si, GenValid v) => Set si -> Gen (ServerStore si v)
genUnsyncedStore :: forall ci si a. (Show ci, Ord ci, Ord si, Ord a, GenValid ci, GenValid si, GenValid a) => Gen (ClientStore ci si a)
genClientStoreFromSet :: (Show ci, Ord ci, Ord si, GenValid ci, GenValid v) => Set si -> Gen (ClientStore ci si v)
instance Data.GenValidity.GenValid Data.Appendful.Collection.ClientId
instance (Data.GenValidity.GenValid ci, Data.GenValidity.GenValid si, Data.GenValidity.GenValid a, GHC.Show.Show ci, GHC.Show.Show si, GHC.Show.Show a, GHC.Classes.Ord ci, GHC.Classes.Ord si, GHC.Classes.Ord a) => Data.GenValidity.GenValid (Data.Appendful.Collection.ClientStore ci si a)
instance (Data.GenValidity.GenValid ci, Data.GenValidity.GenValid si, Data.GenValidity.GenValid a, GHC.Show.Show ci, GHC.Show.Show si, GHC.Show.Show a, GHC.Classes.Ord ci, GHC.Classes.Ord si, GHC.Classes.Ord a) => Data.GenValidity.GenValid (Data.Appendful.Collection.SyncRequest ci si a)
instance (Data.GenValidity.GenValid ci, Data.GenValidity.GenValid si, Data.GenValidity.GenValid a, GHC.Show.Show ci, GHC.Show.Show si, GHC.Show.Show a, GHC.Classes.Ord ci, GHC.Classes.Ord si, GHC.Classes.Ord a) => Data.GenValidity.GenValid (Data.Appendful.Collection.SyncResponse ci si a)
instance (Data.GenValidity.GenValid si, Data.GenValidity.GenValid a, GHC.Show.Show si, GHC.Show.Show a, GHC.Classes.Ord si, GHC.Classes.Ord a) => Data.GenValidity.GenValid (Data.Appendful.Collection.ServerStore si a)

module Data.GenValidity.Appendful