Module pax_value

Modules§

PaxAny: This type serves a similar purpose as Box<dyn Any>, but allows for special handling of some types, enabling things like coercion.
PaxValue: Runtime container for polymorphic values, for evaluating PAXEL.

CoercionRules: Attempts to coerce a dynamic PaxValue into a concrete Rust type.
ImplToFromPaxAny: Marker trait for types that can be stored inside PaxAny without a built-in PaxValue representation.
ToFromPaxAny: Trait that marks a type as being representable as a PaxAny, and provides the implementation for going to/from that type. For all builtins this means going to/from a pax value. For others to a Box<dyn Any>. This is automatically Implemented for PaxValue types through the macro impl_to_from_pax_value!, and for other types by implementing the marker trait ImplToFromPaxAny.
ToPaxValue: Converts a Rust value into its built-in PaxValue representation.

is_typed_binding_safe: Checks the opt-in value-roundtrip contract for typed one-way bindings. Recursive type graphs conservatively fall back to conversion. This tracks only the current capability check, never values or property lifetimes.