CRDT.LamportClock.Simulation

Lamport clock simulation

type LamportClockSim s = LamportClockSimT s Identity

newtype LamportClockSimT s m a

Lamport clock simulation. Key is Pid. Non-present value is equivalent to (0, initial).

Constructors

LamportClockSim (ExceptT String (RWST s () (Map Pid (ProcessState s)) m) a)

Instances

Monad m => MonadError String (LamportClockSimT s m)

Methods

throwError :: String -> LamportClockSimT s m a

catchError :: LamportClockSimT s m a -> (String -> LamportClockSimT s m a) -> LamportClockSimT s m a

MonadTrans (LamportClockSimT s)

Methods

lift :: Monad m => m a -> LamportClockSimT s m a

Monad m => Monad (LamportClockSimT s m)

Methods

(>>=) :: LamportClockSimT s m a -> (a -> LamportClockSimT s m b) -> LamportClockSimT s m b

(>>) :: LamportClockSimT s m a -> LamportClockSimT s m b -> LamportClockSimT s m b

return :: a -> LamportClockSimT s m a

fail :: String -> LamportClockSimT s m a

Functor m => Functor (LamportClockSimT s m)

Methods

fmap :: (a -> b) -> LamportClockSimT s m a -> LamportClockSimT s m b

(<$) :: a -> LamportClockSimT s m b -> LamportClockSimT s m a

Monad m => MonadFail (LamportClockSimT s m)

Methods

fail :: String -> LamportClockSimT s m a

Monad m => Applicative (LamportClockSimT s m)

Methods

pure :: a -> LamportClockSimT s m a

(<*>) :: LamportClockSimT s m (a -> b) -> LamportClockSimT s m a -> LamportClockSimT s m b

liftA2 :: (a -> b -> c) -> LamportClockSimT s m a -> LamportClockSimT s m b -> LamportClockSimT s m c

(*>) :: LamportClockSimT s m a -> LamportClockSimT s m b -> LamportClockSimT s m b

(<*) :: LamportClockSimT s m a -> LamportClockSimT s m b -> LamportClockSimT s m a

type ProcessSim s = ProcessSimT s Identity

newtype ProcessSimT s m a

ProcessSim inside Lamport clock simulation.

Constructors

ProcessSim (ReaderT Pid (LamportClockSimT s m) a)

Instances

Monad m => MonadState s (ProcessSimT s m)

Methods

get :: ProcessSimT s m s

put :: s -> ProcessSimT s m ()

state :: (s -> (a, s)) -> ProcessSimT s m a

MonadTrans (ProcessSimT s)

Methods

lift :: Monad m => m a -> ProcessSimT s m a

Monad m => Monad (ProcessSimT s m)

Methods

(>>=) :: ProcessSimT s m a -> (a -> ProcessSimT s m b) -> ProcessSimT s m b

(>>) :: ProcessSimT s m a -> ProcessSimT s m b -> ProcessSimT s m b

return :: a -> ProcessSimT s m a

fail :: String -> ProcessSimT s m a

Functor m => Functor (ProcessSimT s m)

Methods

fmap :: (a -> b) -> ProcessSimT s m a -> ProcessSimT s m b

(<$) :: a -> ProcessSimT s m b -> ProcessSimT s m a

Monad m => MonadFail (ProcessSimT s m)

Methods

fail :: String -> ProcessSimT s m a

Monad m => Applicative (ProcessSimT s m)

Methods

pure :: a -> ProcessSimT s m a

(<*>) :: ProcessSimT s m (a -> b) -> ProcessSimT s m a -> ProcessSimT s m b

liftA2 :: (a -> b -> c) -> ProcessSimT s m a -> ProcessSimT s m b -> ProcessSimT s m c

(*>) :: ProcessSimT s m a -> ProcessSimT s m b -> ProcessSimT s m b

(<*) :: ProcessSimT s m a -> ProcessSimT s m b -> ProcessSimT s m a

Monad m => Clock (ProcessSimT s m)

Methods

getTime :: ProcessSimT s m LamportTime

advance :: LocalTime -> ProcessSimT s m ()

Monad m => Process (ProcessSimT s m)

Methods

getPid :: ProcessSimT s m Pid

runLamportClockSim :: s -> LamportClockSim s a -> Either String a

runLamportClockSimT :: Monad m => s -> LamportClockSimT s m a -> m (Either String a)

runProcessSim :: Pid -> ProcessSim s a -> LamportClockSim s a

runProcessSimT :: Pid -> ProcessSimT s m a -> LamportClockSimT s m a