boxology-contract 0.1.1

Core identifiers, descriptors, and call types
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

//! Transport-neutral contract values shared by generated Boxology surfaces.
//!
//! Values have a private representation so construction always preserves the
//! semantic invariants that bindings and generated code rely on.

#[cfg(test)]
mod ac9_demo;
mod conform;
mod context;
mod contract;
mod descriptor;
mod dispatch;
mod error;
mod identifier;
mod identity;
mod implementation;
pub mod json;
mod opaque;
mod presence;
mod typed;
mod value;

pub use conform::{ConformanceError, ConformanceErrorKind};
pub use context::{
    CallContext, Caller, CancelToken, Deadline, IdempotencyKey, IdempotencyKeyError, TraceContext,
};
pub use contract::{
    CapabilityDescriptor, CapabilityShape, ContractDescriptor, ContractDescriptorError,
    ExposureLevel, Idempotency,
};
pub use descriptor::{
    Deprecation, DescriptorError, DescriptorRef, FieldDescriptor, TypeDescriptor,
    VariantDescriptor, VariantPayload,
};
pub use dispatch::{BoxHandle, ErasedCallTarget, ErasedTarget, call_guarded};
pub use error::{CallError, Detail, ErasedCallError};
pub use identifier::{canonicalize_ordinary_rust_identifier, is_ordinary_rust_identifier};
pub use identity::{BoxId, CapabilityId, CapabilityName, ContractRevision, IdentityError};
pub use implementation::{
    ImplementationDescriptor, ImplementationDescriptorError, ImportDescriptor,
    ImportDescriptorError,
};
pub use opaque::{OpaqueNumber, OpaqueNumberError, OpaquePayload, OpaqueTree};
pub use presence::{DecodeRole, Field};
pub use typed::{
    Blob, ContractError, ContractType, DecodeError, DecodeErrorKind, EncodeError, EncodeErrorKind,
    PathSegment, Secret,
};
pub use value::{ContractValue, ObjectRef, SlotValue, ValueError, ValueRef};