GenValid ClientId Source # | |
Instance details |
GenValid si => GenValid (ClientAddition si) Source # | |
Instance details |
(GenValid si, Show si, Ord si, GenValid a) => GenValid (ServerStore si a) Source # | |
Instance details |
(GenValid ci, GenValid si, Show ci, Show si, Ord ci, Ord si, GenValid a) => GenValid (ClientStore ci si a) Source # | |
Instance details |
(GenValid ci, GenValid si, Show ci, Show si, Ord ci, Ord si, GenValid a) => GenValid (SyncRequest ci si a) Source # | |
Instance details |
(GenValid ci, GenValid si, Show ci, Show si, Ord ci, Ord si, GenValid a) => GenValid (SyncResponse ci si a) Source # | |
Instance details |