Crate tramli 

tramli

Constrained flow engine — state machines that prevent invalid transitions at build time. Intentionally synchronous. See docs/async-integration.md for async I/O patterns.

Modules

pipeline

sub_flow

Macros

data_types

Shorthand for creating a Vec from type names. Use in requires() and produces() implementations.

requires

Alias for data_types!. Kept for backward compatibility.

Structs

BranchBuilder

Builder

DataFlowGraph

Bipartite graph of data types (TypeId) and processors/guards. Built automatically during FlowDefinition::build().

ErrorLogEntry

Log entry for errors.

FlowContext

Accumulator for flow data. Keyed by TypeId — each type appears at most once.

FlowDefinition

FlowEngine

FlowError

FlowInstance

FromBuilder

GuardLogEntry

Log entry for guard results.

InMemoryFlowStore

In-memory FlowStore for testing.

MermaidGenerator

Generates Mermaid diagrams from FlowDefinition.

NodeInfo

Info about a processor/guard that produces or consumes a type.

SubFlowBuilder

Transition

A single transition in the flow definition.

TransitionLogEntry

Generic engine that drives all flow state machines.

TransitionRecord

Enums

GuardOutput

Guard output.

TransitionType

Traits

BranchProcessor

Decides which branch to take.

CloneAny

Trait combining Any + Clone + Send for type-erased cloneable storage.

FlowState

Marker trait for flow state enums.

FlowStore

FlowStore trait — abstraction over flow persistence.

StateProcessor

Processes a state transition. Must be fast and sync — no I/O.

TransitionGuard

Guards an external transition. Must not mutate FlowContext.