Skip to main content

Module types

Module types 

Source
Expand description

Core types for the Asupersync runtime.

This module contains the fundamental types used throughout the runtime:

  • id: Identifier types (RegionId, TaskId, ObligationId, Time)
  • outcome: Four-valued outcome type with severity lattice
  • cancel: Cancellation reason and kind types
  • budget: Budget type with product semiring semantics + min-plus curves
  • policy: Policy trait for outcome aggregation
  • symbol: Symbol types for RaptorQ-based distributed layer
  • resource: Resource limits and symbol buffer pools
  • rref: Region-owned reference for Send tasks

Re-exports§

pub use budget::Budget;
pub use budget::CurveBudget;
pub use budget::CurveError;
pub use budget::MinPlusCurve;
pub use budget::backlog_bound;
pub use budget::delay_bound;
pub use builder::BuildError;
pub use builder::BuildResult;
pub use cancel::CancelAttributionConfig;
pub use cancel::CancelKind;
pub use cancel::CancelPhase;
pub use cancel::CancelReason;
pub use cancel::CancelWitness;
pub use cancel::CancelWitnessError;
pub use id::ObligationId;
pub use id::RegionId;
pub use id::TaskId;
pub use id::Time;
pub use outcome::Outcome;
pub use outcome::OutcomeError;
pub use outcome::PanicPayload;
pub use outcome::Severity;
pub use outcome::join_outcomes;
pub use policy::Policy;
pub use pressure::SystemPressure;
pub use rref::RRef;
pub use rref::RRefAccess;
pub use rref::RRefAccessWitness;
pub use rref::RRefError;
pub use symbol::DEFAULT_SYMBOL_SIZE;
pub use symbol::ObjectId;
pub use symbol::ObjectParams;
pub use symbol::Symbol;
pub use symbol::SymbolId;
pub use symbol::SymbolKind;
pub use symbol_set::BlockProgress;
pub use symbol_set::ConcurrentSymbolSet;
pub use symbol_set::InsertResult;
pub use symbol_set::SymbolSet;
pub use symbol_set::ThresholdConfig;
pub use task_context::CheckpointState;
pub use task_context::CxInner;
pub use task_context::MAX_MASK_DEPTH;
pub use typed_symbol::DeserializationError;
pub use typed_symbol::Deserializer;
pub use typed_symbol::SerdeCodec;
pub use typed_symbol::SerializationError;
pub use typed_symbol::SerializationFormat;
pub use typed_symbol::Serializer;
pub use typed_symbol::TYPED_SYMBOL_HEADER_LEN;
pub use typed_symbol::TYPED_SYMBOL_MAGIC;
pub use typed_symbol::TypeDescriptor;
pub use typed_symbol::TypeMismatchError;
pub use typed_symbol::TypeRegistry;
pub use typed_symbol::TypedDecoder;
pub use typed_symbol::TypedEncoder;
pub use typed_symbol::TypedSymbol;
pub use wasm_abi::NextjsAntiPattern;
pub use wasm_abi::NextjsBootstrapPhase;
pub use wasm_abi::NextjsBootstrapState;
pub use wasm_abi::NextjsBootstrapTransitionError;
pub use wasm_abi::NextjsBootstrapTransitionRecord;
pub use wasm_abi::NextjsBootstrapTrigger;
pub use wasm_abi::NextjsBoundaryMode;
pub use wasm_abi::NextjsCapability;
pub use wasm_abi::NextjsComponentPlacement;
pub use wasm_abi::NextjsIntegrationSnapshot;
pub use wasm_abi::NextjsNavigationType;
pub use wasm_abi::NextjsRenderEnvironment;
pub use wasm_abi::NextjsRuntimeFallback;
pub use wasm_abi::ProgressiveLoadSlot;
pub use wasm_abi::ProgressiveLoadSnapshot;
pub use wasm_abi::RacerSnapshot;
pub use wasm_abi::RacerState;
pub use wasm_abi::ReactHookDiagnosticEvent;
pub use wasm_abi::ReactHookKind;
pub use wasm_abi::ReactHookPhase;
pub use wasm_abi::ReactHookTransitionError;
pub use wasm_abi::ReactProviderConfig;
pub use wasm_abi::ReactProviderPhase;
pub use wasm_abi::ReactProviderSnapshot;
pub use wasm_abi::ReactProviderState;
pub use wasm_abi::ReactProviderTransitionError;
pub use wasm_abi::SuspenseBoundaryState;
pub use wasm_abi::SuspenseDiagnosticEvent;
pub use wasm_abi::SuspenseTaskConfig;
pub use wasm_abi::SuspenseTaskSnapshot;
pub use wasm_abi::TaskDepChangePolicy;
pub use wasm_abi::TransitionTaskState;
pub use wasm_abi::UseCancellationConfig;
pub use wasm_abi::UseCancellationSnapshot;
pub use wasm_abi::UseRaceConfig;
pub use wasm_abi::UseRaceSnapshot;
pub use wasm_abi::UseScopeConfig;
pub use wasm_abi::UseScopeSnapshot;
pub use wasm_abi::UseTaskConfig;
pub use wasm_abi::UseTaskSnapshot;
pub use wasm_abi::UseTaskStatus;
pub use wasm_abi::WASM_ABI_MAJOR_VERSION;
pub use wasm_abi::WASM_ABI_MINOR_VERSION;
pub use wasm_abi::WASM_ABI_SIGNATURE_FINGERPRINT_V1;
pub use wasm_abi::WASM_ABI_SIGNATURES_V1;
pub use wasm_abi::WasmAbiBoundaryEvent;
pub use wasm_abi::WasmAbiCancellation;
pub use wasm_abi::WasmAbiChangeClass;
pub use wasm_abi::WasmAbiCompatibilityDecision;
pub use wasm_abi::WasmAbiErrorCode;
pub use wasm_abi::WasmAbiFailure;
pub use wasm_abi::WasmAbiOutcomeEnvelope;
pub use wasm_abi::WasmAbiPayloadShape;
pub use wasm_abi::WasmAbiRecoverability;
pub use wasm_abi::WasmAbiSignature;
pub use wasm_abi::WasmAbiSymbol;
pub use wasm_abi::WasmAbiValue;
pub use wasm_abi::WasmAbiVersion;
pub use wasm_abi::WasmAbiVersionBump;
pub use wasm_abi::WasmAbortInteropSnapshot;
pub use wasm_abi::WasmAbortInteropUpdate;
pub use wasm_abi::WasmAbortPropagationMode;
pub use wasm_abi::WasmBoundaryEventLog;
pub use wasm_abi::WasmBoundaryState;
pub use wasm_abi::WasmBoundaryTransitionError;
pub use wasm_abi::WasmDispatchError;
pub use wasm_abi::WasmDispatcherDiagnostics;
pub use wasm_abi::WasmExportDispatcher;
pub use wasm_abi::WasmExportResult;
pub use wasm_abi::WasmFetchBuilder;
pub use wasm_abi::WasmFetchRequest;
pub use wasm_abi::WasmHandleKind;
pub use wasm_abi::WasmHandleRef;
pub use wasm_abi::WasmOutcomeExt;
pub use wasm_abi::WasmScopeEnterBuilder;
pub use wasm_abi::WasmScopeEnterRequest;
pub use wasm_abi::WasmTaskCancelRequest;
pub use wasm_abi::WasmTaskSpawnBuilder;
pub use wasm_abi::WasmTaskSpawnRequest;
pub use wasm_abi::apply_abort_signal_event;
pub use wasm_abi::apply_runtime_cancel_phase_event;
pub use wasm_abi::classify_wasm_abi_compatibility;
pub use wasm_abi::is_capability_available;
pub use wasm_abi::is_valid_bootstrap_transition;
pub use wasm_abi::is_valid_hook_transition;
pub use wasm_abi::is_valid_provider_transition;
pub use wasm_abi::is_valid_wasm_boundary_transition;
pub use wasm_abi::outcome_to_error_boundary_action;
pub use wasm_abi::outcome_to_suspense_state;
pub use wasm_abi::outcome_to_transition_state;
pub use wasm_abi::required_wasm_abi_bump;
pub use wasm_abi::validate_bootstrap_transition;
pub use wasm_abi::validate_hook_transition;
pub use wasm_abi::validate_provider_transition;
pub use wasm_abi::validate_wasm_boundary_transition;
pub use wasm_abi::wasm_abi_signature_fingerprint;
pub use wasm_abi::wasm_boundary_state_for_cancel_phase;

Modules§

budget
Budget type with product semiring semantics.
builder
Builder API types and validation for Asupersync.
cancel
Cancellation reason and kind types.
id
Identifier types for runtime entities.
outcome
Four-valued outcome type with severity lattice.
policy
Policy trait for region outcome aggregation.
pressure
System pressure measurement for compute budget propagation.
resource
Resource management primitives for symbol-heavy workloads.
rref
Region-owned reference type.
symbol
Symbol types for the RaptorQ-based distributed layer.
symbol_set
Symbol collection and threshold tracking.
task_context
Internal state shared between TaskRecord and Cx.
typed_symbol
Typed symbol wrappers for encoding and decoding Rust types.
wasm_abi
Versioned WASM ABI contract for JS/TS boundary integration.