Struct HwCaptureRef 

pub struct HwCaptureRef {
    pub kind: HwCaptureKind,
    pub name: String,
}

Documented illegal-capture marker for Wire/Reg/signal refs (Story 27.3).

Elaborate-time generator APIs accept only non-capturing Fn that dissolve before freeze. Capturing a hardware ref is diagnosed via [ElaborateSession::assert_no_hw_capture] / [ElaborateSession::reject_hw_capture] (rhdl::E0142) — not silently treated as a legal generator closure.

Cycle-accurate “capturing closure” bans remain [ElaborateSession::reject_unsynthesizable] (rhdl::E0141 / FR16).

Fields

kind: HwCaptureKind

name: String

Implementations

impl HwCaptureRef

pub fn wire(name: impl Into<String>) -> Self

Map a Wire net name to the illegal-capture marker.

pub fn reg(name: impl Into<String>) -> Self

Map a Reg name to the illegal-capture marker.

pub fn signal(name: impl Into<String>) -> Self

Map a port / signal handle name to the illegal-capture marker.

Trait Implementations

impl Clone for HwCaptureRef

fn clone(&self) -> HwCaptureRef

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for HwCaptureRef

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

Formats the value using the given formatter.

impl Eq for HwCaptureRef

impl PartialEq for HwCaptureRef

fn eq(&self, other: &HwCaptureRef) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for HwCaptureRef