Crate behavior 

Pure, typed actor-behavior primitives. A Behavior folds its associated event protocol into exactly Actions: sends, fresh creations, and its next behavior or termination. Higher capabilities are composed from these explicit transition parts.

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.

Births

This behavior may emit births of C.

Create

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

Delivery

One pure communication addressed to a concrete behavior protocol.

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.

InitializationTurn

Capability for defining one initialization fold.

MailAddr

NoBirths

This behavior cannot emit child births.

Recipient

Pure routing intent for one concrete destination behavior protocol.

ServiceSends

Requests interpreted by the runtime local to the emitting actor.

Stopped

The behavior has designated termination as its next state.

User

The user-message event at the Agha floor.

Enums

CreationKind

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

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.

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.

Behavior

A composed pure behavior. Event is the complete accepted protocol; 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.

EventInput

A statically proven injection of one semantic input into a concrete event sum.

RouteInput

Attempt to route one input through a nested event product.

SendAlgebra

The operation required to accumulate sends across transitions.

SendInput

Static evidence that a send algebra contains one request lane.

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.

Attribute Macros

behavior

Generate Behavior wiring for an inherent impl with an exact receive method and an optional exact init method. When omitted, initialization is the explicit empty transition: no sends, no creations, and Continue. Invalid receivers are rejected at compile time.