Data.Mergeful.Timed

Dealing with server times.

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

Documentation

data 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.

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]

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.0.0.0-LTwAvhb2uEKNxaCunTl9g" 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, this will only start repeating after at least 2^64 - 1 values, so you're probably fine.

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

ToJSON 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

FromJSON a => FromJSON (Timed a)

Defined in Data.Mergeful.Timed

Methods

parseJSON :: Value -> Parser (Timed a)

parseJSONList :: Value -> Parser [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.0.0.0-LTwAvhb2uEKNxaCunTl9g" False) (C1 (MetaCons "Timed" PrefixI True) (S1 (MetaSel (Just "timedValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Just "timedTime") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ServerTime)))