Data.Mergeless.Item

Documentation

data ClientItem a

Constructors

ClientEmpty

ClientAdded !a

ClientSynced !a

ClientDeleted

Instances

Eq a => Eq (ClientItem a)

Defined in Data.Mergeless.Item

Methods

(==) :: ClientItem a -> ClientItem a -> Bool

(/=) :: ClientItem a -> ClientItem a -> Bool

Ord a => Ord (ClientItem a)

Defined in Data.Mergeless.Item

Methods

compare :: ClientItem a -> ClientItem a -> Ordering

(<) :: ClientItem a -> ClientItem a -> Bool

(<=) :: ClientItem a -> ClientItem a -> Bool

(>) :: ClientItem a -> ClientItem a -> Bool

(>=) :: ClientItem a -> ClientItem a -> Bool

max :: ClientItem a -> ClientItem a -> ClientItem a

min :: ClientItem a -> ClientItem a -> ClientItem a

Show a => Show (ClientItem a)

Defined in Data.Mergeless.Item

Methods

showsPrec :: Int -> ClientItem a -> ShowS

show :: ClientItem a -> String

showList :: [ClientItem a] -> ShowS

Generic (ClientItem a)

Defined in Data.Mergeless.Item

Associated Types

type Rep (ClientItem a) :: Type -> Type

Methods

from :: ClientItem a -> Rep (ClientItem a) x

to :: Rep (ClientItem a) x -> ClientItem a

ToJSON a => ToJSON (ClientItem a)

Defined in Data.Mergeless.Item

Methods

toJSON :: ClientItem a -> Value

toEncoding :: ClientItem a -> Encoding

toJSONList :: [ClientItem a] -> Value

toEncodingList :: [ClientItem a] -> Encoding

FromJSON a => FromJSON (ClientItem a)

Defined in Data.Mergeless.Item

Methods

parseJSON :: Value -> Parser (ClientItem a)

parseJSONList :: Value -> Parser [ClientItem a]

NFData a => NFData (ClientItem a)

Defined in Data.Mergeless.Item

Methods

rnf :: ClientItem a -> ()

Validity a => Validity (ClientItem a)

Defined in Data.Mergeless.Item

Methods

validate :: ClientItem a -> Validation

type Rep (ClientItem a)

Defined in Data.Mergeless.Item

type Rep (ClientItem a) = D1 (MetaData "ClientItem" "Data.Mergeless.Item" "mergeless-0.2.0.2-Et004pdJDKv6ElzJLO2Ifg" False) ((C1 (MetaCons "ClientEmpty" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ClientAdded" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a))) :+: (C1 (MetaCons "ClientSynced" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a)) :+: C1 (MetaCons "ClientDeleted" PrefixI False) (U1 :: Type -> Type)))

data ItemSyncRequest a

A synchronisation request for items with identifiers of type i and values of type a

Constructors

ItemSyncRequestPoll

ItemSyncRequestNew a

ItemSyncRequestKnown

ItemSyncRequestDeleted

Instances

Eq a => Eq (ItemSyncRequest a)

Defined in Data.Mergeless.Item

Methods

(==) :: ItemSyncRequest a -> ItemSyncRequest a -> Bool

(/=) :: ItemSyncRequest a -> ItemSyncRequest a -> Bool

Ord a => Ord (ItemSyncRequest a)

Defined in Data.Mergeless.Item

Methods

compare :: ItemSyncRequest a -> ItemSyncRequest a -> Ordering

(<) :: ItemSyncRequest a -> ItemSyncRequest a -> Bool

(<=) :: ItemSyncRequest a -> ItemSyncRequest a -> Bool

(>) :: ItemSyncRequest a -> ItemSyncRequest a -> Bool

(>=) :: ItemSyncRequest a -> ItemSyncRequest a -> Bool

max :: ItemSyncRequest a -> ItemSyncRequest a -> ItemSyncRequest a

min :: ItemSyncRequest a -> ItemSyncRequest a -> ItemSyncRequest a

Show a => Show (ItemSyncRequest a)

Defined in Data.Mergeless.Item

Methods

showsPrec :: Int -> ItemSyncRequest a -> ShowS

show :: ItemSyncRequest a -> String

showList :: [ItemSyncRequest a] -> ShowS

Generic (ItemSyncRequest a)

Defined in Data.Mergeless.Item

Associated Types

type Rep (ItemSyncRequest a) :: Type -> Type

Methods

from :: ItemSyncRequest a -> Rep (ItemSyncRequest a) x

to :: Rep (ItemSyncRequest a) x -> ItemSyncRequest a

ToJSON a => ToJSON (ItemSyncRequest a)

Defined in Data.Mergeless.Item

Methods

toJSON :: ItemSyncRequest a -> Value

toEncoding :: ItemSyncRequest a -> Encoding

toJSONList :: [ItemSyncRequest a] -> Value

toEncodingList :: [ItemSyncRequest a] -> Encoding

FromJSON a => FromJSON (ItemSyncRequest a)

Defined in Data.Mergeless.Item

Methods

parseJSON :: Value -> Parser (ItemSyncRequest a)

parseJSONList :: Value -> Parser [ItemSyncRequest a]

NFData a => NFData (ItemSyncRequest a)

Defined in Data.Mergeless.Item

Methods

rnf :: ItemSyncRequest a -> ()

Validity a => Validity (ItemSyncRequest a)

Defined in Data.Mergeless.Item

Methods

validate :: ItemSyncRequest a -> Validation

type Rep (ItemSyncRequest a)

Defined in Data.Mergeless.Item

type Rep (ItemSyncRequest a) = D1 (MetaData "ItemSyncRequest" "Data.Mergeless.Item" "mergeless-0.2.0.2-Et004pdJDKv6ElzJLO2Ifg" False) ((C1 (MetaCons "ItemSyncRequestPoll" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ItemSyncRequestNew" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :+: (C1 (MetaCons "ItemSyncRequestKnown" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ItemSyncRequestDeleted" PrefixI False) (U1 :: Type -> Type)))

makeItemSyncRequest :: ClientItem a -> ItemSyncRequest a

data ItemSyncResponse a

A synchronisation response for items with identifiers of type i and values of type a

Constructors

ItemSyncResponseInSyncEmpty

ItemSyncResponseInSyncFull

ItemSyncResponseClientAdded

ItemSyncResponseClientDeleted

ItemSyncResponseServerAdded !a

ItemSyncResponseServerDeleted

Instances

Eq a => Eq (ItemSyncResponse a)

Defined in Data.Mergeless.Item

Methods

(==) :: ItemSyncResponse a -> ItemSyncResponse a -> Bool

(/=) :: ItemSyncResponse a -> ItemSyncResponse a -> Bool

Ord a => Ord (ItemSyncResponse a)

Defined in Data.Mergeless.Item

Methods

compare :: ItemSyncResponse a -> ItemSyncResponse a -> Ordering

(<) :: ItemSyncResponse a -> ItemSyncResponse a -> Bool

(<=) :: ItemSyncResponse a -> ItemSyncResponse a -> Bool

(>) :: ItemSyncResponse a -> ItemSyncResponse a -> Bool

(>=) :: ItemSyncResponse a -> ItemSyncResponse a -> Bool

max :: ItemSyncResponse a -> ItemSyncResponse a -> ItemSyncResponse a

min :: ItemSyncResponse a -> ItemSyncResponse a -> ItemSyncResponse a

Show a => Show (ItemSyncResponse a)

Defined in Data.Mergeless.Item

Methods

showsPrec :: Int -> ItemSyncResponse a -> ShowS

show :: ItemSyncResponse a -> String

showList :: [ItemSyncResponse a] -> ShowS

Generic (ItemSyncResponse a)

Defined in Data.Mergeless.Item

Associated Types

type Rep (ItemSyncResponse a) :: Type -> Type

Methods

from :: ItemSyncResponse a -> Rep (ItemSyncResponse a) x

to :: Rep (ItemSyncResponse a) x -> ItemSyncResponse a

ToJSON a => ToJSON (ItemSyncResponse a)

Defined in Data.Mergeless.Item

Methods

toJSON :: ItemSyncResponse a -> Value

toEncoding :: ItemSyncResponse a -> Encoding

toJSONList :: [ItemSyncResponse a] -> Value

toEncodingList :: [ItemSyncResponse a] -> Encoding

FromJSON a => FromJSON (ItemSyncResponse a)

Defined in Data.Mergeless.Item

Methods

parseJSON :: Value -> Parser (ItemSyncResponse a)

parseJSONList :: Value -> Parser [ItemSyncResponse a]

NFData a => NFData (ItemSyncResponse a)

Defined in Data.Mergeless.Item

Methods

rnf :: ItemSyncResponse a -> ()

Validity a => Validity (ItemSyncResponse a)

Defined in Data.Mergeless.Item

Methods

validate :: ItemSyncResponse a -> Validation

type Rep (ItemSyncResponse a)

Defined in Data.Mergeless.Item

type Rep (ItemSyncResponse a) = D1 (MetaData "ItemSyncResponse" "Data.Mergeless.Item" "mergeless-0.2.0.2-Et004pdJDKv6ElzJLO2Ifg" False) ((C1 (MetaCons "ItemSyncResponseInSyncEmpty" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ItemSyncResponseInSyncFull" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ItemSyncResponseClientAdded" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "ItemSyncResponseClientDeleted" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ItemSyncResponseServerAdded" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a)) :+: C1 (MetaCons "ItemSyncResponseServerDeleted" PrefixI False) (U1 :: Type -> Type))))

mergeItemSyncResponse :: ClientItem a -> ItemSyncResponse a -> ClientItem a

Merge a synchronisation response back into a client-side store.

data ServerItem a

An item in a central store with a value of type a

Constructors

ServerItemEmpty

ServerItemFull !a

Instances

Eq a => Eq (ServerItem a)

Defined in Data.Mergeless.Item

Methods

(==) :: ServerItem a -> ServerItem a -> Bool

(/=) :: ServerItem a -> ServerItem a -> Bool

Ord a => Ord (ServerItem a)

Defined in Data.Mergeless.Item

Methods

compare :: ServerItem a -> ServerItem a -> Ordering

(<) :: ServerItem a -> ServerItem a -> Bool

(<=) :: ServerItem a -> ServerItem a -> Bool

(>) :: ServerItem a -> ServerItem a -> Bool

(>=) :: ServerItem a -> ServerItem a -> Bool

max :: ServerItem a -> ServerItem a -> ServerItem a

min :: ServerItem a -> ServerItem a -> ServerItem a

Show a => Show (ServerItem a)

Defined in Data.Mergeless.Item

Methods

showsPrec :: Int -> ServerItem a -> ShowS

show :: ServerItem a -> String

showList :: [ServerItem a] -> ShowS

Generic (ServerItem a)

Defined in Data.Mergeless.Item

Associated Types

type Rep (ServerItem a) :: Type -> Type

Methods

from :: ServerItem a -> Rep (ServerItem a) x

to :: Rep (ServerItem a) x -> ServerItem a

ToJSON a => ToJSON (ServerItem a)

Defined in Data.Mergeless.Item

Methods

toJSON :: ServerItem a -> Value

toEncoding :: ServerItem a -> Encoding

toJSONList :: [ServerItem a] -> Value

toEncodingList :: [ServerItem a] -> Encoding

FromJSON a => FromJSON (ServerItem a)

Defined in Data.Mergeless.Item

Methods

parseJSON :: Value -> Parser (ServerItem a)

parseJSONList :: Value -> Parser [ServerItem a]

NFData a => NFData (ServerItem a)

Defined in Data.Mergeless.Item

Methods

rnf :: ServerItem a -> ()

Validity a => Validity (ServerItem a)

Defined in Data.Mergeless.Item

Methods

validate :: ServerItem a -> Validation

type Rep (ServerItem a)

Defined in Data.Mergeless.Item

type Rep (ServerItem a) = D1 (MetaData "ServerItem" "Data.Mergeless.Item" "mergeless-0.2.0.2-Et004pdJDKv6ElzJLO2Ifg" False) (C1 (MetaCons "ServerItemEmpty" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ServerItemFull" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a)))

processServerItemSync :: ServerItem a -> ItemSyncRequest a -> (ItemSyncResponse a, ServerItem a)