[−][src]Struct moore_svlog::InstTargetDetails

pub struct InstTargetDetails<'a> {
    pub hir: &'a InstTarget<'a>,
    pub kind: InstTarget<'a>,
    pub outer_env: ParamEnv,
    pub inner_env: ParamEnv,
    pub params: &'a ParamEnvData<'a>,
}

Instantiation target details

This struct bundles all the information associated with an instantiation target, most importantly the parameter bindings.

This corresponds to the foo #(x) in foo #(x) bar(y);.

Fields

hir: &'a InstTarget<'a>

The HIR instantiation target.

kind: InstTarget<'a>

The instantiated node.

outer_env: ParamEnv

The parameter environment around the instantiation.

inner_env: ParamEnv

The parameter environment generated by the instantiation.

params: &'a ParamEnvData<'a>

The parameter bindings.

Trait Implementations

`impl<'a> Debug for InstTargetDetails<'a>`[src]

`pub fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

Auto Trait Implementations

`impl<'a> !RefUnwindSafe for InstTargetDetails<'a>`[src]

`impl<'a> Send for InstTargetDetails<'a>`[src]

`impl<'a> Sync for InstTargetDetails<'a>`[src]

`impl<'a> Unpin for InstTargetDetails<'a>`[src]

`impl<'a> !UnwindSafe for InstTargetDetails<'a>`[src]

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &TⓘNotable traits for &'_ mut R impl<'_, R> Read for &'_ mut R where R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;impl<'_, F> Future for &'_ mut F where F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut TⓘNotable traits for &'_ mut R impl<'_, R> Read for &'_ mut R where R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;impl<'_, F> Future for &'_ mut F where F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> Pointable for T`

`pub const ALIGN: usize`

`type Init = T`

The type for initializers.

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

`pub unsafe fn deref<'a>(ptr: usize) -> &'a TⓘNotable traits for &'_ mut R impl<'_, R> Read for &'_ mut R where R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;impl<'_, F> Future for &'_ mut F where F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;`

`pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut TⓘNotable traits for &'_ mut R impl<'_, R> Read for &'_ mut R where R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;impl<'_, F> Future for &'_ mut F where F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;`

`pub unsafe fn drop(ptr: usize)`

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

[−][src]Struct moore_svlog::InstTargetDetails

Fields

Trait Implementations

`impl<'a> Debug for InstTargetDetails<'a>`[src]

`pub fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

Auto Trait Implementations

`impl<'a> !RefUnwindSafe for InstTargetDetails<'a>`[src]

`impl<'a> Send for InstTargetDetails<'a>`[src]

`impl<'a> Sync for InstTargetDetails<'a>`[src]

`impl<'a> Unpin for InstTargetDetails<'a>`[src]

`impl<'a> !UnwindSafe for InstTargetDetails<'a>`[src]

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

Notable traits for &'_ mut R

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

Notable traits for &'_ mut R

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> Pointable for T`

`pub const ALIGN: usize`

`type Init = T`

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

Notable traits for &'_ mut R

Notable traits for &'_ mut R

`pub unsafe fn drop(ptr: usize)`

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

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

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

[−][src]Struct moore_svlog::InstTargetDetails

Fields

Trait Implementations

impl<'a> Debug for InstTargetDetails<'a>[src]

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

Auto Trait Implementations

impl<'a> !RefUnwindSafe for InstTargetDetails<'a>[src]

impl<'a> Send for InstTargetDetails<'a>[src]

impl<'a> Sync for InstTargetDetails<'a>[src]

impl<'a> Unpin for InstTargetDetails<'a>[src]

impl<'a> !UnwindSafe for InstTargetDetails<'a>[src]

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

Notable traits for &'_ mut R

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

Notable traits for &'_ mut R

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

impl<T, U> Into<U> for T where U: From<T>, [src]

pub fn into(self) -> U[src]

impl<T> Pointable for T

pub const ALIGN: usize

type Init = T

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

Notable traits for &'_ mut R

Notable traits for &'_ mut R

pub unsafe fn drop(ptr: usize)

impl<T, U> TryFrom<U> for T where U: Into<T>, [src]

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

impl<T, U> TryInto<U> for T where U: TryFrom<T>, [src]

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

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

`impl<'a> Debug for InstTargetDetails<'a>`[src]

`pub fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

`impl<'a> !RefUnwindSafe for InstTargetDetails<'a>`[src]

`impl<'a> Send for InstTargetDetails<'a>`[src]

`impl<'a> Sync for InstTargetDetails<'a>`[src]

`impl<'a> Unpin for InstTargetDetails<'a>`[src]

`impl<'a> !UnwindSafe for InstTargetDetails<'a>`[src]

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> Pointable for T`

`pub const ALIGN: usize`

`type Init = T`

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

`pub unsafe fn drop(ptr: usize)`

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

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

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]