Inner state of actor module.

s

- State of next module, the states are chained via nesting.

Monad transformer of actor core module.

s

- State of next core module in modules chain;

m

- Next monad in modules monad stack;

a

- Type of result value;

How to embed module:

type AppStack = ModuleStack [ActorT, ... other modules ... ] IO

newtype AppMonad a = AppMonad (AppStack a)
  deriving (Functor, Applicative, Monad, MonadFix, MonadIO, ActorMonad)

The module is pure within first phase (see ModuleStack docs) but requires MonadThrow instance of end monad, therefore currently only IO end monad can handler the module.

Low level monadic API for module.

Exceptions thrown by ActorMonad

Game wire that has its own id

Common pattern in game for creating incapsulated objects

Usually wires that are actors need context to register themselfes in core. Major part of wire functions operates with such wrapped indexed arrows thats why the convinient type synonym is exists.

The typeclass separates message API's of different type of actors

In general you don't want to have one global type to handle all possible types of messages, it will break modularity. Thats why you creates (with newtype) separate types of ids for each actor and statically binds message type (usually algebraic type) to the id.

The class implies that your id is some integer type, but it could be not. Just provide way to stable convertion of you id to integer and vice-versa.

Compose actor and wire, the wire is added at the end of actor controller

Compose actor and wire, the wire is added at the beginning of actor controller

Registers new index for wire and makes an actor wire

Registers new actor with fixed id, can fail with ActorException if there is already registered actor for that id

If need no dynamic switching, you can use the function to embed index wire just at time

Same as runActor, but doesn't return id of actor

Helper to get actor fingerprint from id value

Returns hashable fingerprint of actor that is stable across applications (unique by type name)

Sends message to statically known actor

Sends many messages to statically known actor

Sends message to actor with incoming id

Sends many messages, dynamic version of actorSendMany which takes actor id as arrow input

Helper to process all messages from message queue and update a state

Helper to process all messages from message queue and update a state (monadic version)

Non-centric style of subscribing to messages

Dynamic collection for control wire that automates handling collections of FRP actors. The class defines minimum set of actions that collection should support to be used as base for collection of actors.

Elements that contains id

Makes dynamic collection of wires.

• First input of wire is input for each inner wire.
• Second input is event for adding several wires to collection.
• Third input is event for removing several wires from collection.
• Wire returns list of outputs of inner wires.

Note: if ihibits one of the wires, it is removed from output result during its inhibition

Makes dynamic collection of wires.

• First input of wire is input for each inner wire.
• Second input is event for adding several wires to collection.
• Third input is event for removing several wires from collection.
• Wire returns list of outputs of inner wires.

Note: it is delayed version of dynCollection, removing and adding of agents performs on next step after current.

Note: if ihibits one of the wires, it is removed from output result while it inhibits.