Struct ExistentialPack 

pub struct ExistentialPack<Interface> { /* private fields */ }

Existential pack: hides the type index, exposing only the interface type. This models ∃ α, value : α where the type is erased at the boundary.

Implementations

impl<Interface: Clone> ExistentialPack<Interface>

pub fn pack<T: Any + Send + Sync>( value: T, interface: Interface, type_name: &'static str, ) -> Self

Pack a value of any type together with its interface projection.

pub fn interface(&self) -> &Interface

Access the sealed interface.

pub fn hidden_type_name(&self) -> &'static str

The Rust type name of the hidden implementation.

pub fn unpack<T: Any + Clone>(&self) -> Option<T>

Attempt to unpack if the hidden type is known statically.