Safe Haskell | None |
---|---|
Language | Haskell2010 |
Lamport clock network simulation.
ReplicaSimT
provides Replica
and Clock
instances,
replicas may interchange data while they are connected in a NetworkSimT
.
Synopsis
- type NetworkSim = NetworkSimT Identity
- data NetworkSimT m a
- type ReplicaSim = ReplicaSimT Identity
- data ReplicaSimT m a
- runNetworkSim :: NetworkSim a -> a
- runNetworkSimT :: Monad m => NetworkSimT m a -> m a
- runReplicaSim :: ReplicaId -> ReplicaSim a -> NetworkSim a
- runReplicaSimT :: ReplicaId -> ReplicaSimT m a -> NetworkSimT m a
Documentation
type NetworkSim = NetworkSimT Identity Source #
data NetworkSimT m a Source #
Lamport clock simulation. Key is ReplicaId
.
Non-present value is equivalent to (0, initial).
Instances
type ReplicaSim = ReplicaSimT Identity Source #
data ReplicaSimT m a Source #
ReplicaSim inside Lamport clock simulation.
Instances
runNetworkSim :: NetworkSim a -> a Source #
Execute network simulation
Usage:
runNetworkSim $ dorunReplicaSim
r1 $ do actions...runReplicaSim
r2 $ do actions...runReplicaSim
r1 $ ...
Each runNetworkSim
starts its own networks.
One shouldn't use in one network events generated in another.
runNetworkSimT :: Monad m => NetworkSimT m a -> m a Source #
runReplicaSim :: ReplicaId -> ReplicaSim a -> NetworkSim a Source #
runReplicaSimT :: ReplicaId -> ReplicaSimT m a -> NetworkSimT m a Source #