Data.Mergeful.Timed

Dealing with server times.

If you are importing this module, you are probably doing something wrong.

Documentation

newtype ServerTime

A "time", as "measured" by the server.

This is closer to a version number than an actual timestamp, but that distinction should not matter for your usage of this library.

In any case, a client should not be changing this value.

We use a Word64 instead of a natural. This will go wrong after 2^64 versions, but since that will not happen in practice, we will not worry about it. You would have to sync millions of modifications every second until long after the sun consumes the earth for this to be a problem.

Constructors

ServerTime

Fields

• unServerTime :: Word64

Instances

Eq ServerTime

Defined in Data.Mergeful.Timed

Methods

(==) :: ServerTime -> ServerTime -> Bool

(/=) :: ServerTime -> ServerTime -> Bool

Ord ServerTime

Defined in Data.Mergeful.Timed

Methods

compare :: ServerTime -> ServerTime -> Ordering

(<) :: ServerTime -> ServerTime -> Bool

(<=) :: ServerTime -> ServerTime -> Bool

(>) :: ServerTime -> ServerTime -> Bool

(>=) :: ServerTime -> ServerTime -> Bool

max :: ServerTime -> ServerTime -> ServerTime

min :: ServerTime -> ServerTime -> ServerTime

Show ServerTime

Defined in Data.Mergeful.Timed

Methods

showsPrec :: Int -> ServerTime -> ShowS

show :: ServerTime -> String

showList :: [ServerTime] -> ShowS

Generic ServerTime

Defined in Data.Mergeful.Timed

Associated Types

type Rep ServerTime :: Type -> Type

Methods

from :: ServerTime -> Rep ServerTime x

to :: Rep ServerTime x -> ServerTime

ToJSON ServerTime

Defined in Data.Mergeful.Timed

Methods

toJSON :: ServerTime -> Value

toEncoding :: ServerTime -> Encoding

toJSONList :: [ServerTime] -> Value

toEncodingList :: [ServerTime] -> Encoding

FromJSON ServerTime

Defined in Data.Mergeful.Timed

Methods

parseJSON :: Value -> Parser ServerTime

parseJSONList :: Value -> Parser [ServerTime]

HasCodec ServerTime

Defined in Data.Mergeful.Timed

Methods

codec :: JSONCodec ServerTime

listCodecForStringCompatibility :: JSONCodec [ServerTime]

NFData ServerTime

Defined in Data.Mergeful.Timed

Methods

rnf :: ServerTime -> ()

Validity ServerTime

Defined in Data.Mergeful.Timed

Methods

validate :: ServerTime -> Validation

type Rep ServerTime

Defined in Data.Mergeful.Timed

type Rep ServerTime = D1 ('MetaData "ServerTime" "Data.Mergeful.Timed" "mergeful-0.3.0.0-IufP8wiUmUb8vtwEhWnzS0" 'True) (C1 ('MetaCons "ServerTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "unServerTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

initialServerTime :: ServerTime

A server time to start with.

incrementServerTime :: ServerTime -> ServerTime

Increment a server time.

data Timed a

A value along with a server time.

Constructors

Timed

Fields

• timedValue :: !a
• timedTime :: !ServerTime

Instances

Eq a => Eq (Timed a)

Defined in Data.Mergeful.Timed

Methods

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

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

Show a => Show (Timed a)

Defined in Data.Mergeful.Timed

Methods

showsPrec :: Int -> Timed a -> ShowS

show :: Timed a -> String

showList :: [Timed a] -> ShowS

Generic (Timed a)

Defined in Data.Mergeful.Timed

Associated Types

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

Methods

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

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

HasCodec a => ToJSON (Timed a)

Defined in Data.Mergeful.Timed

Methods

toJSON :: Timed a -> Value

toEncoding :: Timed a -> Encoding

toJSONList :: [Timed a] -> Value

toEncodingList :: [Timed a] -> Encoding

HasCodec a => FromJSON (Timed a)

Defined in Data.Mergeful.Timed

Methods

parseJSON :: Value -> Parser (Timed a)

parseJSONList :: Value -> Parser [Timed a]

HasCodec a => HasCodec (Timed a)

Defined in Data.Mergeful.Timed

Methods

codec :: JSONCodec (Timed a)

listCodecForStringCompatibility :: JSONCodec [Timed a]

NFData a => NFData (Timed a)

Defined in Data.Mergeful.Timed

Methods

rnf :: Timed a -> ()

Validity a => Validity (Timed a)

Defined in Data.Mergeful.Timed

Methods

validate :: Timed a -> Validation

type Rep (Timed a)

Defined in Data.Mergeful.Timed

type Rep (Timed a) = D1 ('MetaData "Timed" "Data.Mergeful.Timed" "mergeful-0.3.0.0-IufP8wiUmUb8vtwEhWnzS0" 'False) (C1 ('MetaCons "Timed" 'PrefixI 'True) (S1 ('MetaSel ('Just "timedValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "timedTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ServerTime)))

timedObjectCodec :: HasCodec a => JSONObjectCodec (Timed a)