Struct ScopeContract

Source

pub struct ScopeContract<M> { /* private fields */ }

Expand description

Typed handle bundle (per SRD-13e §1.2).

The bundle is minimal by design: a handle for each declared import / export, identified by name. Slot resolution happens against the compiled program (find_input / output_map_lookup) rather than through cached indices here.

M is the module-identity phantom — super::Child for modules built under parent P. Handles issued by one module can’t be applied to a sibling at the type level.

ScopeContract

Struct ScopeContract Copy item path

Implementations§

impl<M> ScopeContract<M>

pub fn imports(&self) -> &[ImportHandle<M>]

pub fn exports(&self) -> &[ExportHandle<M>]

Trait Implementations§

impl<M> Debug for ScopeContract<M>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Auto Trait Implementations§

impl<M> Freeze for ScopeContract<M>where Vec<ImportHandle<M>>: Freeze, Vec<ExportHandle<M>>: Freeze, PhantomData<fn() -> M>: Freeze,

impl<M> RefUnwindSafe for ScopeContract<M>where Vec<ImportHandle<M>>: RefUnwindSafe, Vec<ExportHandle<M>>: RefUnwindSafe, PhantomData<fn() -> M>: RefUnwindSafe,

impl<M> Send for ScopeContract<M>where Vec<ImportHandle<M>>: Send, Vec<ExportHandle<M>>: Send, PhantomData<fn() -> M>: Send,

impl<M> Sync for ScopeContract<M>where Vec<ImportHandle<M>>: Sync, Vec<ExportHandle<M>>: Sync, PhantomData<fn() -> M>: Sync,

impl<M> Unpin for ScopeContract<M>where Vec<ImportHandle<M>>: Unpin, Vec<ExportHandle<M>>: Unpin, PhantomData<fn() -> M>: Unpin,

impl<M> UnsafeUnpin for ScopeContract<M>where Vec<ImportHandle<M>>: UnsafeUnpin, Vec<ExportHandle<M>>: UnsafeUnpin, PhantomData<fn() -> M>: UnsafeUnpin,

impl<M> UnwindSafe for ScopeContract<M>where Vec<ImportHandle<M>>: UnwindSafe, Vec<ExportHandle<M>>: UnwindSafe, PhantomData<fn() -> M>: UnwindSafe,

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DTwhere ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DTwhere ST: ?Sized, DT: ?Sized,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

fn in_current_span(self) -> Instrumented<Self> ⓘ

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘwhere F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> PolicyExt for Twhere T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>where T: Sized + Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>where T: Sized + Policy<B, E>, P: Policy<B, E>,

impl<T> Read<Exclusive, BecauseExclusive> for Twhere T: ?Sized,

impl<T> Same for T

type Output = T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = !

fn try_from(value: U) -> Result<T, !>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘwhere S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Struct ScopeContract

impl<M> Freeze for ScopeContract<M>
where Vec<ImportHandle<M>>: Freeze, Vec<ExportHandle<M>>: Freeze, PhantomData<fn() -> M>: Freeze,

impl<M> RefUnwindSafe for ScopeContract<M>
where Vec<ImportHandle<M>>: RefUnwindSafe, Vec<ExportHandle<M>>: RefUnwindSafe, PhantomData<fn() -> M>: RefUnwindSafe,

impl<M> Send for ScopeContract<M>
where Vec<ImportHandle<M>>: Send, Vec<ExportHandle<M>>: Send, PhantomData<fn() -> M>: Send,

impl<M> Sync for ScopeContract<M>
where Vec<ImportHandle<M>>: Sync, Vec<ExportHandle<M>>: Sync, PhantomData<fn() -> M>: Sync,

impl<M> Unpin for ScopeContract<M>
where Vec<ImportHandle<M>>: Unpin, Vec<ExportHandle<M>>: Unpin, PhantomData<fn() -> M>: Unpin,

impl<M> UnsafeUnpin for ScopeContract<M>
where Vec<ImportHandle<M>>: UnsafeUnpin, Vec<ExportHandle<M>>: UnsafeUnpin, PhantomData<fn() -> M>: UnsafeUnpin,

impl<M> UnwindSafe for ScopeContract<M>
where Vec<ImportHandle<M>>: UnwindSafe, Vec<ExportHandle<M>>: UnwindSafe, PhantomData<fn() -> M>: UnwindSafe,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

impl<T> PolicyExt for T
where T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,