CRDT.LamportClock.Simulation

Lamport clock simulation

type LamportClockSim = LamportClockSimT Identity

newtype LamportClockSimT m a

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

Constructors

LamportClockSim (ExceptT String (StateT (Map Pid LocalTime) m) a)

Instances

MonadTrans LamportClockSimT

Defined in CRDT.LamportClock.Simulation

Methods

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

Monad m => MonadError String (LamportClockSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

throwError :: String -> LamportClockSimT m a

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

Monad m => Monad (LamportClockSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

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

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

return :: a -> LamportClockSimT m a

fail :: String -> LamportClockSimT m a

Functor m => Functor (LamportClockSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

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

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

Monad m => MonadFail (LamportClockSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

fail :: String -> LamportClockSimT m a

Monad m => Applicative (LamportClockSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

pure :: a -> LamportClockSimT m a

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

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

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

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

MonadIO m => MonadIO (LamportClockSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

liftIO :: IO a -> LamportClockSimT m a

type ProcessSim = ProcessSimT Identity

newtype ProcessSimT m a

ProcessSim inside Lamport clock simulation.

Constructors

ProcessSim (ReaderT Pid (LamportClockSimT m) a)

Instances

MonadTrans ProcessSimT

Defined in CRDT.LamportClock.Simulation

Methods

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

Monad m => Monad (ProcessSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

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

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

return :: a -> ProcessSimT m a

fail :: String -> ProcessSimT m a

Functor m => Functor (ProcessSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

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

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

Monad m => MonadFail (ProcessSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

fail :: String -> ProcessSimT m a

Monad m => Applicative (ProcessSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

pure :: a -> ProcessSimT m a

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

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

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

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

MonadIO m => MonadIO (ProcessSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

liftIO :: IO a -> ProcessSimT m a

Monad m => Clock (ProcessSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

getTimes :: Natural -> ProcessSimT m LamportTime

advance :: LocalTime -> ProcessSimT m ()

Monad m => Process (ProcessSimT m)

Defined in CRDT.LamportClock.Simulation

Methods

getPid :: ProcessSimT m Pid

runLamportClockSim :: LamportClockSim a -> Either String a

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

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

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