Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Mergeless.Item
Synopsis
- data ClientItem a
- = ClientEmpty
- | ClientAdded !a
- | ClientSynced !a
- | ClientDeleted
- data ItemSyncRequest a
- makeItemSyncRequest :: ClientItem a -> ItemSyncRequest a
- data ItemSyncResponse a
- mergeItemSyncResponse :: ClientItem a -> ItemSyncResponse a -> ClientItem a
- data ServerItem a
- processServerItemSync :: ServerItem a -> ItemSyncRequest a -> (ItemSyncResponse a, ServerItem a)
Documentation
data ClientItem a Source #
Constructors
ClientEmpty | |
ClientAdded !a | |
ClientSynced !a | |
ClientDeleted |
Instances
data ItemSyncRequest a Source #
A synchronisation request for items with identifiers of type i
and values of type a
Instances
makeItemSyncRequest :: ClientItem a -> ItemSyncRequest a Source #
data ItemSyncResponse a Source #
A synchronisation response for items with identifiers of type i
and values of type a
Constructors
ItemSyncResponseInSyncEmpty | |
ItemSyncResponseInSyncFull | |
ItemSyncResponseClientAdded | |
ItemSyncResponseClientDeleted | |
ItemSyncResponseServerAdded !a | |
ItemSyncResponseServerDeleted |
Instances
mergeItemSyncResponse :: ClientItem a -> ItemSyncResponse a -> ClientItem a Source #
Merge a synchronisation response back into a client-side store.
data ServerItem a Source #
An item in a central store with a value of type a
Constructors
ServerItemEmpty | |
ServerItemFull !a |
Instances
processServerItemSync :: ServerItem a -> ItemSyncRequest a -> (ItemSyncResponse a, ServerItem a) Source #