RON.Epoch

Documentation

data EpochClock a

Real epoch clock. Uses kind of global variable to ensure strict monotonicity.

Instances

Monad EpochClock

Defined in RON.Epoch

Methods

(>>=) :: EpochClock a -> (a -> EpochClock b) -> EpochClock b

(>>) :: EpochClock a -> EpochClock b -> EpochClock b

return :: a -> EpochClock a

fail :: String -> EpochClock a

Functor EpochClock

Defined in RON.Epoch

Methods

fmap :: (a -> b) -> EpochClock a -> EpochClock b

(<$) :: a -> EpochClock b -> EpochClock a

Applicative EpochClock

Defined in RON.Epoch

Methods

pure :: a -> EpochClock a

(<*>) :: EpochClock (a -> b) -> EpochClock a -> EpochClock b

liftA2 :: (a -> b -> c) -> EpochClock a -> EpochClock b -> EpochClock c

(*>) :: EpochClock a -> EpochClock b -> EpochClock b

(<*) :: EpochClock a -> EpochClock b -> EpochClock a

MonadIO EpochClock

Defined in RON.Epoch

Methods

liftIO :: IO a -> EpochClock a

ReplicaClock EpochClock

Defined in RON.Epoch

Methods

getPid :: EpochClock ReplicaId

getEvents :: EpochTime -> EpochClock [EpochEvent]

advance :: EpochTime -> EpochClock ()

decode :: EpochTime -> UTCTime

Decode date and time from UUID epoch timestamp

encode :: POSIXTime -> EpochTime

getCurrentEpochTime :: IO EpochTime

Get current time in EpochTime format (with 100 ns resolution). Monotonicity is not guaranteed.

localEpochTimeFromUnix :: Word64 -> LocalTime

Convert unix time in hundreds of milliseconds to RFC 4122 time.

runEpochClock :: ReplicaId -> IORef EpochTime -> EpochClock a -> IO a

Run EpochClock action with explicit time variable.

runEpochClockFromCurrentTime :: ReplicaId -> EpochClock a -> IO a

Like runEpochClock, but initialize time variable with current wall time.