Type Members

1.  trait Env[E <: Env[E]] extends AnyRef

   An environment defines the concrete actor context, reference and timer times for a specific actor framework, such as Pekko or the deterministic simulation testing framework.

2.  trait Module[E <: Env[E], AcceptedMessageT] extends NamedLogging

   Modules abstract actors away from the concrete actor framework, mainly so that their logic can be more easily deterministically simulation-tested.

   Modules abstract actors away from the concrete actor framework, mainly so that their logic can be more easily deterministically simulation-tested.

   E

   An environment corresponding to the actor framework, such as pekko or the deterministic simulation testing framework.

   AcceptedMessageT

   The root message type understood by the actor.

3.  trait ModuleContext[E <: Env[E], MessageT] extends AnyRef

   An abstraction of actor contexts for deterministic simulation testing purposes.

4.  final case class ModuleName(name: String) extends Product with Serializable
5.  trait ModuleRef[-AcceptedMessageT] extends AnyRef

   Modules abstract actor references away from the concrete actor framework, mainly so that their logic can be more easily deterministically simulation-tested.

   Modules abstract actor references away from the concrete actor framework, mainly so that their logic can be more easily deterministically simulation-tested.

   AcceptedMessageT

   The root message type understood by the actor.

6.  trait ModuleSystem[E <: Env[E]] extends AnyRef

   A module system abstracts how modules are constructed away from the concrete actors framework, such as Pekko or the deterministic simulation testing framework.

   A module system abstracts how modules are constructed away from the concrete actors framework, such as Pekko or the deterministic simulation testing framework.

   Note that modules, unlike actors, are arranged in a static topology at bootstrap.

7.  trait P2PNetworkManager[E <: Env[E], -P2PMessageT] extends AnyRef

   An abstraction of the P2P network manager for deterministic simulation testing purposes.

8.  trait P2PNetworkRef[-P2PMessageT] extends FlagCloseable

   An abstraction of the network for deterministic simulation testing purposes.

9.  final case class Peer(address: Endpoint) extends Product with Serializable