asupersync/types/
mod.rs

1//! Core types for the Asupersync runtime.
2//!
3//! This module contains the fundamental types used throughout the runtime:
4//!
5//! - [`id`]: Identifier types (`RegionId`, `TaskId`, `ObligationId`, `Time`)
6//! - [`outcome`]: Four-valued outcome type with severity lattice
7//! - [`cancel`]: Cancellation reason and kind types
8//! - [`budget`]: Budget type with product semiring semantics + min-plus curves
9//! - [`policy`]: Policy trait for outcome aggregation
10//! - [`symbol`]: Symbol types for RaptorQ-based distributed layer
11//! - [`resource`]: Resource limits and symbol buffer pools
12//! - [`rref`]: Region-owned reference for Send tasks
13
14pub mod budget;
15pub mod builder;
16pub mod cancel;
17pub mod id;
18pub mod outcome;
19pub mod policy;
20pub mod pressure;
21pub mod resource;
22pub mod rref;
23pub mod symbol;
24pub mod symbol_set;
25pub mod task_context;
26pub mod typed_symbol;
27pub mod wasm_abi;
28
29pub use budget::{Budget, CurveBudget, CurveError, MinPlusCurve, backlog_bound, delay_bound};
30pub use builder::{BuildError, BuildResult};
31pub use cancel::{
32    CancelAttributionConfig, CancelKind, CancelPhase, CancelReason, CancelWitness,
33    CancelWitnessError,
34};
35pub use id::{ObligationId, RegionId, TaskId, Time};
36pub use outcome::{Outcome, OutcomeError, PanicPayload, Severity, join_outcomes};
37pub use policy::Policy;
38pub use pressure::SystemPressure;
39pub use rref::{RRef, RRefAccess, RRefAccessWitness, RRefError};
40pub use symbol::{DEFAULT_SYMBOL_SIZE, ObjectId, ObjectParams, Symbol, SymbolId, SymbolKind};
41pub use symbol_set::{
42    BlockProgress, ConcurrentSymbolSet, InsertResult, SymbolSet, ThresholdConfig,
43};
44pub use task_context::{CheckpointState, CxInner, MAX_MASK_DEPTH};
45pub use typed_symbol::{
46    DeserializationError, Deserializer, SerdeCodec, SerializationError, SerializationFormat,
47    Serializer, TYPED_SYMBOL_HEADER_LEN, TYPED_SYMBOL_MAGIC, TypeDescriptor, TypeMismatchError,
48    TypeRegistry, TypedDecoder, TypedEncoder, TypedSymbol,
49};
50pub use wasm_abi::{
51    NextjsAntiPattern, NextjsBootstrapPhase, NextjsBootstrapState, NextjsBootstrapTransitionError,
52    NextjsBootstrapTransitionRecord, NextjsBootstrapTrigger, NextjsBoundaryMode, NextjsCapability,
53    NextjsComponentPlacement, NextjsIntegrationSnapshot, NextjsNavigationType,
54    NextjsRenderEnvironment, NextjsRuntimeFallback, ProgressiveLoadSlot, ProgressiveLoadSnapshot,
55    RacerSnapshot, RacerState, ReactHookDiagnosticEvent, ReactHookKind, ReactHookPhase,
56    ReactHookTransitionError, ReactProviderConfig, ReactProviderPhase, ReactProviderSnapshot,
57    ReactProviderState, ReactProviderTransitionError, SuspenseBoundaryState,
58    SuspenseDiagnosticEvent, SuspenseTaskConfig, SuspenseTaskSnapshot, TaskDepChangePolicy,
59    TransitionTaskState, UseCancellationConfig, UseCancellationSnapshot, UseRaceConfig,
60    UseRaceSnapshot, UseScopeConfig, UseScopeSnapshot, UseTaskConfig, UseTaskSnapshot,
61    UseTaskStatus, WASM_ABI_MAJOR_VERSION, WASM_ABI_MINOR_VERSION,
62    WASM_ABI_SIGNATURE_FINGERPRINT_V1, WASM_ABI_SIGNATURES_V1, WasmAbiBoundaryEvent,
63    WasmAbiCancellation, WasmAbiChangeClass, WasmAbiCompatibilityDecision, WasmAbiErrorCode,
64    WasmAbiFailure, WasmAbiOutcomeEnvelope, WasmAbiPayloadShape, WasmAbiRecoverability,
65    WasmAbiSignature, WasmAbiSymbol, WasmAbiValue, WasmAbiVersion, WasmAbiVersionBump,
66    WasmAbortInteropSnapshot, WasmAbortInteropUpdate, WasmAbortPropagationMode,
67    WasmBoundaryEventLog, WasmBoundaryState, WasmBoundaryTransitionError, WasmDispatchError,
68    WasmDispatcherDiagnostics, WasmExportDispatcher, WasmExportResult, WasmFetchBuilder,
69    WasmFetchRequest, WasmHandleKind, WasmHandleRef, WasmOutcomeExt, WasmScopeEnterBuilder,
70    WasmScopeEnterRequest, WasmTaskCancelRequest, WasmTaskSpawnBuilder, WasmTaskSpawnRequest,
71    apply_abort_signal_event, apply_runtime_cancel_phase_event, classify_wasm_abi_compatibility,
72    is_capability_available, is_valid_bootstrap_transition, is_valid_hook_transition,
73    is_valid_provider_transition, is_valid_wasm_boundary_transition,
74    outcome_to_error_boundary_action, outcome_to_suspense_state, outcome_to_transition_state,
75    required_wasm_abi_bump, validate_bootstrap_transition, validate_hook_transition,
76    validate_provider_transition, validate_wasm_boundary_transition,
77    wasm_abi_signature_fingerprint, wasm_boundary_state_for_cancel_phase,
78};
asupersync/types/mod.rs

asupersync/types/
mod.rs
