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

HasCodec 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

HasCodec a => FromJSON (ClientItem a)

Defined in Data.Mergeless.Item

Methods

parseJSON :: Value -> Parser (ClientItem a)

parseJSONList :: Value -> Parser [ClientItem a]

HasCodec a => HasCodec (ClientItem a)

Defined in Data.Mergeless.Item

Methods

codec :: JSONCodec (ClientItem a)

listCodecForStringCompatibility :: JSONCodec [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.4.0.0-9fBBdk4jjdm1sIN7SjvtgQ" '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

HasCodec 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

HasCodec a => FromJSON (ItemSyncRequest a)

Defined in Data.Mergeless.Item

Methods

parseJSON :: Value -> Parser (ItemSyncRequest a)

parseJSONList :: Value -> Parser [ItemSyncRequest a]

HasCodec a => HasCodec (ItemSyncRequest a)

Defined in Data.Mergeless.Item

Methods

codec :: JSONCodec (ItemSyncRequest a)

listCodecForStringCompatibility :: JSONCodec [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.4.0.0-9fBBdk4jjdm1sIN7SjvtgQ" 'False) ((C1 ('MetaCons "ItemSyncRequestPoll" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ItemSyncRequestNew" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (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

HasCodec 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

HasCodec a => FromJSON (ItemSyncResponse a)

Defined in Data.Mergeless.Item

Methods

parseJSON :: Value -> Parser (ItemSyncResponse a)

parseJSONList :: Value -> Parser [ItemSyncResponse a]

HasCodec a => HasCodec (ItemSyncResponse a)

Defined in Data.Mergeless.Item

Methods

codec :: JSONCodec (ItemSyncResponse a)

listCodecForStringCompatibility :: JSONCodec [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.4.0.0-9fBBdk4jjdm1sIN7SjvtgQ" '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

HasCodec 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

HasCodec a => FromJSON (ServerItem a)

Defined in Data.Mergeless.Item

Methods

parseJSON :: Value -> Parser (ServerItem a)

parseJSONList :: Value -> Parser [ServerItem a]

HasCodec a => HasCodec (ServerItem a)

Defined in Data.Mergeless.Item

Methods

codec :: JSONCodec (ServerItem a)

listCodecForStringCompatibility :: JSONCodec [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.4.0.0-9fBBdk4jjdm1sIN7SjvtgQ" '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)