Crate behavior 

Pure, typed actor-behavior primitives.

Protocol is stable public destination identity (Addr plus Msg). A Behavior separately owns state and folds its complete Behavior::Event algebra into exactly Actions: sends, fresh creations, and its next behavior or termination. A protocol is not a behavior, and Behavior is not a Protocol supertrait. Higher capabilities extend internal event and effect algebras while transparent wrappers preserve Behavior::Protocol.

Structs

ActionReducer

A left fold over Bombay actions.

Actions

Bombay’s typed realization of the actor transition effects: communications, fresh actor creation, and next behavior or termination.

ActiveTurn

Capability for defining one active mailbox fold.

BirthProtocol

One behavior protocol followed by the remaining closed birth projection.

BirthProtocolHead

Structural position selecting the current projected birth protocol.

BirthProtocolTail

Structural position selecting inside the remaining protocol projection.

Births

This behavior may emit births of C.

ChildCons

One creation appended to an ordered heterogeneous child product.

ChildHead

Position selecting the head of a closed ChildChoice sum.

ChildRecipient

A creator-local route to one staged or established direct child.

ChildRoute

A named creator-local route for one statically declared child role.

ChildTail

Position selecting inside the tail of a closed ChildChoice sum.

Children

A pure, ordered heterogeneous product of staged direct-child creations.

Create

A staged request to establish a fresh child at a creator-local nonce.

Delivery

One pure communication addressed to a concrete protocol signature.

Effect

Effects emitted by one ordinary infallible, no-birth behavior turn.

Effects

The accumulated observable effects of a transition prefix.

FoldFailure

A controlled fold failure together with every previously committed effect.

Folded

The result of folding initialization and an event stream.

Here

The current layer of a structurally composed event algebra owns an input.

Ingress

Address-free destination for one interpreter-originated input.

InitializationTurn

Capability for defining one initialization fold.

Inside

An inner event algebra owns an input at Path.

InterpreterRequests

Requests interpreted by the runtime local to the emitting actor.

MailAddr

MessageProtocol

Reusable zero-state protocol identity for messages M addressed by A.

NoBirthProtocols

Empty protocol projection of a closed behavior-birth algebra.

NoBirths

This behavior cannot emit child births.

NoChildren

The empty heterogeneous creation product.

NoSends

Send effects containing no communications or interpreter requests.

Recipient

Pure established identity for one concrete destination protocol signature.

ReturnsToEmitter

An interpreter request whose later Input returns to the emitting actor at Path, relative to the effect lane that owns the request.

SendLayer

Send effects introduced by one wrapper around inner send effects.

Stopped

The behavior has designated termination as its next state.

User

The user-message event at the Agha floor.

Enums

ChildChoice

One alternative in a closed, recursively composed child-creation sum.

ChildrenError

Rejection while converting a heterogeneous child product into creations.

CreationKind

Behavior-owned provenance for a staged fresh actor creation request.

DeliveryTarget

Exhaustive destination of one delivery.

EventLayer

One statically owned input lane composed in front of an inner event algebra.

Never

The uninhabited type with two structural jobs. As a phase menu, Step<Never> has no constructible Goto — a plain actor is a one-phase machine. As an outbound/offspring menu, it proves a layer sends or creates nothing. The law is the type, not a convention.

NoReturnToEmitter

An interpreter request that produces no later fact for the emitting actor.

Own

The lane owned by the current named send product.

Step

A generic next-state verdict. Bombay Behavior pins R to Stopped, so actor-specific lifecycle data cannot enter the become seat.

Traits

Address

A pure actor-address namespace.

AppendSend

Capability to append one communication at a statically selected lane while preserving every other actor-transition effect.

Behavior

A composed pure behavior. Event is the complete accepted input algebra; the separately declared Protocol is stable public destination identity, and every successful transition returns the declared Actions value.

BehaviorBase

Static projection from a composed behavior to its authored base behavior.

BirthMode

A type-level description of a behavior’s creation capability.

BirthProtocolAt

Static membership evidence for one occurrence in a birth-protocol product.

BirthProtocols

Closed static projection of a behavior’s own protocol and every protocol reachable through its transitive staged-birth algebra.

ChildPosition

Static proof that Child occupies Position in a closed child sum.

ChildProduct

Closed recursive conversion implemented only by Bombay child products.

ChildRole

Static proof that Role names one exact direct child of Parent.

ComposedEvent

A complete event algebra formed by adding owned inputs around an inner behavior event algebra.

DispatchBirth

Exhaustive static dispatch of one creation-only child sum.

InjectEvent

Path-indexed injection into a structural event coproduct.

InstallBirth

Static interpreter capability for installing one concrete child behavior.

InterpretDelivery

Interpreter capability for deliveries to one concrete actor protocol.

InterpretRequest

Interpreter capability for one request at one exact root-event path.

InterpretSends

Static interpretation of one complete sends value at an absolute event path.

InterpreterRequest

Declares only the continuation returning to the actor that emitted this interpreter request. Destinations owned by a child, parent, ancestor, or established actor are separate capabilities and are not reindexed when the emitter is wrapped.

Protocol

The statically known address and message signature of an actor protocol.

SendEffects

Send effects emitted by a pure actor transition.

SendInput

Static evidence that a sends type contains one request lane.

SendInterpreter

Error domain shared by one concrete effect interpreter.

SendsFor

Proof that send effects are lawful for one complete event type.

UserEvent

Construction/extraction of the user lane through a composed event type.

Functions

fold_events

Initialize a behavior and left-fold events until exhaustion, controlled failure, or the first stop verdict.

Type Aliases

Acted

Become

BehaviorActed

The only successful effect shape admitted by a Behavior implementation.

BehaviorAddr

Address namespace projected from a behavior’s stable public protocol.

BehaviorMessage

Public message algebra projected from a behavior’s stable protocol.

Attribute Macros

behavior

Generate the nominal protocol, closed effect products, and exact Behavior wiring for an inherent impl. addr and message are required. Omitting sends, births, or error selects the capability-free NoSends, NoBirths, or Never type respectively.