List of all items

Structs

• ChannelCapacity
• Choreography
• CodegenContext
• ExtensionRegistry
• GrammarComposer
• GrammarComposerBuilder
• MessageLenBytes
• MessageType
• MockClock
• ParseContext
• ProjectionContext
• QueueCapacity
• Role
• SeededRng
• ast::AgreementProfileDeclaration
• ast::Annotations
• ast::AuthorityMetatheoryStatus
• ast::Branch
• ast::CaseBranch
• ast::CasePattern
• ast::ChildEffectAggregation
• ast::Choreography
• ast::ChoreographyWithHints
• ast::DslAnnotationEntry
• ast::EffectContractDeclaration
• ast::EffectInterfaceDeclaration
• ast::EffectOperationDeclaration
• ast::ExecutionHints
• ast::ExecutionHintsBuilder
• ast::ExecutionProfileDeclaration
• ast::GuestRuntimeDeclaration
• ast::Label
• ast::LanguageTierStatus
• ast::LocalAction
• ast::MessageType
• ast::NonEmptyError
• ast::NonEmptyVec
• ast::OperationAgreementAttachment
• ast::OperationDeclaration
• ast::OperationHints
• ast::OperationParameterDeclaration
• ast::OperationPath
• ast::ProgressAttachment
• ast::RegionDeclaration
• ast::Role
• ast::RoleBoundsChecker
• ast::RoleRange
• ast::RoleSetDeclaration
• ast::TheoremPackDeclaration
• ast::TopologyDeclaration
• ast::TypeConstructorDeclaration
• ast::TypeDeclaration
• ast::annotation::Annotations
• ast::annotation::DslAnnotationEntry
• ast::choreography::AgreementProfileDeclaration
• ast::choreography::AuthorityMetatheoryStatus
• ast::choreography::ChildEffectAggregation
• ast::choreography::Choreography
• ast::choreography::EffectContractDeclaration
• ast::choreography::EffectInterfaceDeclaration
• ast::choreography::EffectOperationDeclaration
• ast::choreography::ExecutionProfileDeclaration
• ast::choreography::GuestRuntimeDeclaration
• ast::choreography::LanguageTierStatus
• ast::choreography::OperationAgreementAttachment
• ast::choreography::OperationDeclaration
• ast::choreography::OperationParameterDeclaration
• ast::choreography::ProgressAttachment
• ast::choreography::RegionDeclaration
• ast::choreography::RoleSetDeclaration
• ast::choreography::TheoremPackDeclaration
• ast::choreography::TopologyDeclaration
• ast::choreography::TypeConstructorDeclaration
• ast::choreography::TypeDeclaration
• ast::execution_hints::ChoreographyWithHints
• ast::execution_hints::ExecutionHints
• ast::execution_hints::ExecutionHintsBuilder
• ast::execution_hints::OperationHints
• ast::execution_hints::OperationPath
• ast::global_type::Label
• ast::message::MessageType
• ast::non_empty::NonEmptyError
• ast::non_empty::NonEmptyVec
• ast::protocol::Branch
• ast::protocol::CaseBranch
• ast::protocol::CasePattern
• ast::role::Role
• ast::role::RoleBoundsChecker
• ast::role::RoleRange
• compiler::ErrorSpan
• compiler::GrammarComposer
• compiler::GrammarComposerBuilder
• compiler::LintDiagnostic
• compiler::analysis::AnalysisResult
• compiler::analysis::CommunicationGraph
• compiler::analysis::ParticipationInfo
• compiler::choice_analysis::ChoiceAnalysisResult
• compiler::choice_analysis::ChoiceAnalyzer
• compiler::choice_analysis::ChoiceId
• compiler::choice_analysis::ChoiceKnowledge
• compiler::codegen::InlineTopology
• compiler::diagnostics::Diagnostic
• compiler::diagnostics::DiagnosticCollector
• compiler::diagnostics::RelatedInfo
• compiler::diagnostics::SourceLocation
• compiler::extension_parser::ExtensionParser
• compiler::extension_parser::ExtensionParserBuilder
• compiler::extension_parser::ExtensionStats
• compiler::grammar::GrammarComposer
• compiler::grammar::GrammarComposerBuilder
• compiler::layout::LayoutError
• compiler::parser::ErrorSpan
• compiler::parser::LintDiagnostic
• compiler::pretty::PrettyConfig
• effects::algebra::InterpretResult
• effects::algebra::Program
• effects::algebra::ProgramBuilder
• effects::contract::ExtensionDispatchContract
• effects::contract::HandlerContractProfile
• effects::contract::ProtocolSemanticContract
• effects::contract::TransportPolicyContract
• effects::handler::MessageTag
• effects::handler::NoOpHandler
• effects::handlers::in_memory::InMemoryHandler
• effects::handlers::recording::RecordingHandler
• effects::handlers::telltale::SessionMetadata
• effects::handlers::telltale::SessionUpdate
• effects::handlers::telltale::TelltaleEndpoint
• effects::handlers::telltale::TelltaleHandler
• effects::handlers::telltale::TelltaleSession
• effects::interpreter::testing::MockHandler
• effects::middleware::metrics::Metrics
• effects::middleware::retry::Retry
• effects::middleware::trace::Trace
• effects::registry::ExtensionRegistry
• extensions::CodegenContext
• extensions::ExtensionDocumentation
• extensions::ExtensionExample
• extensions::ExtensionRegistry
• extensions::ParseContext
• extensions::ProjectionContext
• extensions::discovery::ExtensionDiscovery
• extensions::discovery::ExtensionMetadata
• extensions::discovery::ExtensionPackage
• extensions::timeout::TimeoutGrammarExtension
• extensions::timeout::TimeoutProtocol
• extensions::timeout::TimeoutStatementParser
• heap::CanonicalHeapEncoder
• heap::ChannelState
• heap::Heap
• heap::HeapCommitment
• heap::MerkleProof
• heap::MerkleTree
• heap::Message
• heap::MessagePayload
• heap::ProofStep
• heap::ResourceId
• identifiers::Datacenter
• identifiers::Endpoint
• identifiers::IdentifierError
• identifiers::Namespace
• identifiers::Region
• identifiers::RoleName
• testing::MockClock
• testing::SeededRng
• testing::clock::MockClock
• testing::clock::SeededRng
• testing::envelope::EnvelopeBuilder
• testing::envelope::ProtocolEnvelope
• testing::observer::MultiObserver
• testing::observer::NullObserver
• testing::observer::RecordingObserver
• testing::state_machine::Checkpoint
• testing::state_machine::LinearStateMachine
• testing::transport::FaultyTransport
• testing::transport::InMemoryTransport
• topology::BranchRequirement
• topology::ByteMessage
• topology::InMemoryChannelTransport
• topology::ParsedTopology
• topology::RoleFamilyConstraint
• topology::Topology
• topology::TopologyBuilder
• topology::TopologyHandler
• topology::TopologyHandlerBuilder
• topology::TransportContractProfile
• topology::TransportFactory
• topology::TransportOperationalContract
• topology::TransportSemanticContract
• tracing::PhaseGuard
• tracing::TracingHandler
• util::clock::SystemClock
• util::clock::SystemRng
• util::sync::Mutex
• util::sync::RwLock
• util::sync::mpsc::OwnedPermit
• util::sync::mpsc::Permit
• util::sync::mpsc::PermitIterator
• util::sync::mpsc::Receiver
• util::sync::mpsc::Sender
• util::sync::mpsc::UnboundedReceiver
• util::sync::mpsc::UnboundedSender
• util::sync::mpsc::WeakSender
• util::sync::mpsc::WeakUnboundedSender
• util::sync::mpsc::error::SendError

Enums

• CompilationError
• ExtensionValidationError
• GrammarCompositionError
• ParseError
• Protocol
• ast::Action
• ast::AuthorityBindingMode
• ast::AuthorityExpr
• ast::AuthorityMetatheoryTier
• ast::ChildEffectAggregationPolicy
• ast::ChoiceGuard
• ast::CommitmentOutcome
• ast::Condition
• ast::ConversionError
• ast::EffectAuthorityClass
• ast::GlobalType
• ast::GlobalTypeCore
• ast::LanguageTier
• ast::LocalType
• ast::LocalTypeR
• ast::OperationStep
• ast::PayloadSort
• ast::Protocol
• ast::ProtocolAnnotation
• ast::RangeExpr
• ast::RoleIndex
• ast::RoleParam
• ast::RoleValidationError
• ast::ValidationError
• ast::annotation::ProtocolAnnotation
• ast::choreography::AuthorityMetatheoryTier
• ast::choreography::ChildEffectAggregationPolicy
• ast::choreography::EffectAuthorityClass
• ast::choreography::LanguageTier
• ast::convert::ConversionError
• ast::execution_hints::OperationStep
• ast::global_type::GlobalType
• ast::global_type::PayloadSort
• ast::local_type::LocalType
• ast::local_type::LocalTypeR
• ast::protocol::AuthorityBindingMode
• ast::protocol::AuthorityExpr
• ast::protocol::ChoiceGuard
• ast::protocol::CommitmentOutcome
• ast::protocol::Condition
• ast::protocol::Protocol
• ast::role::RangeExpr
• ast::role::RoleIndex
• ast::role::RoleParam
• ast::role::RoleValidationError
• ast::validation::ValidationError
• compiler::GrammarCompositionError
• compiler::LintLevel
• compiler::MergeError
• compiler::ParseError
• compiler::ProjectionError
• compiler::analysis::AnalysisWarning
• compiler::choice_analysis::KnowledgeSource
• compiler::diagnostics::DiagnosticCode
• compiler::diagnostics::Severity
• compiler::extension_parser::ExtensionParseError
• compiler::grammar::GrammarCompositionError
• compiler::merge::MergeError
• compiler::parser::LintLevel
• compiler::parser::ParseError
• compiler::parser::Rule
• compiler::projection::ProjectionError
• effects::algebra::Effect
• effects::algebra::InterpreterState
• effects::algebra::ProgramError
• effects::contract::DeliveryModel
• effects::contract::ExtensionDispatchMode
• effects::contract::HandlerContractTier
• effects::contract::HandlerContractViolation
• effects::contract::RetryPolicy
• effects::contract::TimeoutPolicy
• effects::extension::ExtensionError
• effects::handler::ChoreographyError
• effects::handlers::recording::RecordedEvent
• effects::interpreter::testing::MockOperation
• effects::interpreter::testing::MockResponse
• extensions::ExtensionValidationError
• extensions::ParseError
• heap::Direction
• heap::HeapError
• heap::Resource
• testing::envelope::EnvelopeError
• testing::envelope::EnvelopeField
• testing::observer::ProtocolEvent
• testing::state_machine::BlockedOn
• testing::state_machine::CheckpointError
• testing::state_machine::StepInput
• testing::state_machine::StepOutput
• testing::transport::TransportError
• topology::Location
• topology::RoleFamilyConstraintError
• topology::TopologyConstraint
• topology::TopologyError
• topology::TopologyLoadError
• topology::TopologyMode
• topology::TopologyParseError
• topology::TopologyValidation
• topology::TransportContractTier
• topology::TransportContractViolation
• topology::TransportError
• topology::TransportStartupMode
• topology::TransportType
• util::sync::mpsc::error::SendTimeoutError
• util::sync::mpsc::error::TryRecvError
• util::sync::mpsc::error::TrySendError

Traits

• Clock
• GrammarExtension
• Hasher
• ProtocolExtension
• Rng
• StatementParser
• WallClock
• effects::algebra::ProgramMessage
• effects::contract::DocumentedHandlerContract
• effects::extension::ExtensionEffect
• effects::handler::ChoreoHandler
• effects::handler::ChoreoHandlerExt
• effects::handler::ContextExt
• effects::handler::Endpoint
• effects::handler::LabelId
• effects::handler::RoleId
• effects::handlers::telltale::SessionTypeDynamic
• effects::interpreter::ChoreoHandlerExt
• effects::registry::ExtensibleHandler
• extensions::DocumentedGrammarExtension
• extensions::GrammarExtension
• extensions::ProtocolExtension
• extensions::RegisterExtension
• extensions::StatementParser
• heap::CanonicalHeapEncoding
• heap::Hasher
• testing::Clock
• testing::Rng
• testing::WallClock
• testing::clock::AsyncClock
• testing::clock::Clock
• testing::clock::Rng
• testing::clock::WallClock
• testing::observer::ProtocolObserver
• testing::state_machine::ProtocolStateMachine
• testing::transport::AsyncSimulatedTransport
• testing::transport::SimulatedTransport
• topology::DocumentedTransportContract
• topology::Transport
• topology::TransportMessage
• util::spawn::AsyncRuntime

Macros

• mutex_lock
• read_lock
• tell
• util::sync::mutex_lock
• util::sync::read_lock
• util::sync::write_lock
• write_lock

Functions

• ast::choreography_to_global
• ast::convert::choreography_to_global
• ast::convert::local_to_local_r
• ast::convert::local_types_equivalent
• ast::convert::protocol_to_global
• ast::local_to_local_r
• ast::local_types_equivalent
• ast::protocol_to_global
• compile_choreography_with_extensions
• compiler::analysis::analyze
• compiler::analysis::generate_dot_graph
• compiler::can_merge
• compiler::choice_analysis::analyze_choreography_choices
• compiler::choice_analysis::messages_are_distinguishing
• compiler::choreography_macro
• compiler::codegen::generate_choreography_code
• compiler::codegen::generate_choreography_code_with_annotations
• compiler::codegen::generate_choreography_code_with_dynamic_roles
• compiler::codegen::generate_choreography_code_with_extensions
• compiler::codegen::generate_choreography_code_with_namespacing
• compiler::codegen::generate_choreography_code_with_topology
• compiler::codegen::generate_dynamic_role_support
• compiler::codegen::generate_helpers
• compiler::codegen::generate_role_implementations
• compiler::codegen::generate_session_type
• compiler::codegen::generate_topology_integration
• compiler::collect_dsl_lints
• compiler::diagnostics::check_self_communication
• compiler::diagnostics::validate_roles
• compiler::effects_codegen::generate_effects_protocol
• compiler::explain_lowering
• compiler::extension_parser::create_standard_extension_parser
• compiler::layout::preprocess_layout
• compiler::merge
• compiler::merge::can_merge
• compiler::merge::merge
• compiler::merge::merge_all
• compiler::merge_all
• compiler::parse_choreography
• compiler::parse_choreography_file
• compiler::parse_choreography_str
• compiler::parse_dsl
• compiler::parser::choreography_macro
• compiler::parser::collect_dsl_lints
• compiler::parser::explain_lowering
• compiler::parser::parse_choreography
• compiler::parser::parse_choreography_file
• compiler::parser::parse_choreography_str
• compiler::parser::parse_choreography_str_with_extensions
• compiler::parser::parse_dsl
• compiler::parser::render_lsp_lint_diagnostics
• compiler::pretty::format_choreography
• compiler::pretty::format_choreography_str
• compiler::pretty::format_choreography_with_config
• compiler::project
• compiler::projection::merge_local_types
• compiler::projection::project
• compiler::render_lsp_lint_diagnostics
• effects::contract::validate_handler_contract_profile
• effects::contract::validated_contract_profile
• effects::interpreter::interpret
• effects::interpreter::interpret_extensible
• extensions::timeout::register_timeout_extension
• heap::heap_commitment_preimage
• heap::merkle_node_hash
• heap::merkle_node_preimage
• heap::nullifier_leaf_hash
• heap::nullifier_leaf_preimage
• heap::resource_id_preimage
• heap::resource_leaf_hash
• heap::resource_leaf_preimage
• parse_and_generate_with_extensions
• parse_choreography_with_extensions
• topology::parse_topology
• topology::validate_transport_contract_profile
• topology::validated_transport_contract_profile
• tracing::phase_span
• tracing::protocol_span
• tracing::trace_choose
• tracing::trace_error
• tracing::trace_offer
• tracing::trace_phase_end
• tracing::trace_phase_start
• tracing::trace_recv
• tracing::trace_send
• util::spawn::spawn
• util::spawn::spawn_local
• util::sync::mpsc::channel
• util::sync::mpsc::unbounded_channel

Type Aliases

• DefaultHeapHasher
• ast::ConversionResult
• ast::RoleValidationResult
• ast::convert::ConversionResult
• ast::role::RoleValidationResult
• compiler::merge::MergeResult
• effects::handler::ChoreoResult
• effects::registry::BoxFuture
• effects::registry::ExtensionHandler
• heap::DefaultHeapHasher
• testing::transport::TransportResult
• topology::TransportResult

Constants

• ast::MAX_RANGE_COUNT
• ast::MAX_ROLE_COUNT
• ast::MAX_ROLE_INDEX
• ast::role::MAX_RANGE_COUNT
• ast::role::MAX_ROLE_COUNT
• ast::role::MAX_ROLE_INDEX
• compiler::DEFAULT_SOURCE_EXTENSION
• compiler::parser::DEFAULT_SOURCE_EXTENSION
• extensions::RESERVED_RULE_NAMES
• heap::HEAP_ENCODING_MAGIC
• heap::HEAP_ENCODING_VERSION
• tracing::events::CHOOSE
• tracing::events::ERROR
• tracing::events::OFFER
• tracing::events::PHASE_END
• tracing::events::PHASE_START
• tracing::events::RECV
• tracing::events::SEND
• tracing::fields::CHOICE_LABEL
• tracing::fields::DURATION_MS
• tracing::fields::ERROR
• tracing::fields::MESSAGE_SIZE
• tracing::fields::MESSAGE_TYPE
• tracing::fields::PHASE
• tracing::fields::PROTOCOL
• tracing::fields::ROLE
• tracing::fields::ROLE_INDEX
• tracing::fields::SOURCE_ROLE
• tracing::fields::TARGET_ROLE