pub struct Config<T>(pub T);Expand description
Marker wrapper signalling that the wrapped wire is a
configuration input — expensive to change because the node
keeps internal state (LUTs, alias tables, parsed specs)
derived from it. The macro emits the matching slot with
Port::config() (SRD 15 §“WireCost::Config”) so the
compiler warns on cycle-time binding.
In-spirit replacement for a #[wire_cost(Config)] arg-level
attribute — operator declares the cost intent via the type
system. Body unwraps with .0 or via Deref.
Tuple Fields§
§0: TTrait Implementations§
Source§impl<T: Wire> Wire for Config<T>
impl<T: Wire> Wire for Config<T>
Source§const JIT: Option<JitType> = T::JIT
const JIT: Option<JitType> = T::JIT
JIT carrier classification.
Some(_) means the type
rides the Phase-2 u64 buffer; None means typed-eval
only.Source§const RESOLVER: Option<DefaultResolver> = T::RESOLVER
const RESOLVER: Option<DefaultResolver> = T::RESOLVER
SRD-53 §“Source-string call-site sugar” — auto-resolver
for
Str-typed upstream wires feeding this slot. None
(the default) disables auto-promotion; the workload must
supply the wire’s actual port type directly. Set via the
Resolved<R, T> marker wrapper.Source§const WIRE_COST: WireCost = crate::ast::WireCost::Config
const WIRE_COST: WireCost = crate::ast::WireCost::Config
SRD-15 §“WireCost::Config” — cost class for this wire.
Defaults to
WireCost::Data (cheap per-cycle input).
Set to WireCost::Config via the Config<T> marker
wrapper to signal that the wire is rarely-changing and
the compiler should warn on cycle-time binding.Auto Trait Implementations§
impl<T> Freeze for Config<T>where
T: Freeze,
impl<T> RefUnwindSafe for Config<T>where
T: RefUnwindSafe,
impl<T> Send for Config<T>where
T: Send,
impl<T> Sync for Config<T>where
T: Sync,
impl<T> Unpin for Config<T>where
T: Unpin,
impl<T> UnsafeUnpin for Config<T>where
T: UnsafeUnpin,
impl<T> UnwindSafe for Config<T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more