Struct ConvertDecl 

pub struct ConvertDecl { /* private fields */ }

Implementations

impl ConvertDecl

pub fn describe_sources(&self) -> String

: input …, output … suffix for the report’s conversions section.

pub fn new(rust_type: Type) -> ConvertDecl

pub fn key(&self) -> &TypeKey

The type identity this declaration is registered under.

pub fn rust_type(&self) -> &Origin<Type>

The type this declaration was written with, as originally parsed.

pub fn input_spec(&self) -> &Option<ConvertSpec>

The declared into-Rust conversion source, if any. Named input_spec rather than input — that name is already the builder method that declares it (Self::input).

pub fn output_spec(&self) -> &Option<ConvertSpec>

The declared out-of-Rust conversion source, if any. Named output_spec rather than output — that name is already the builder method that declares it (Self::output).

pub fn domain(&self) -> &Option<RepresentationDomain>

The declared representation-domain restriction, if any.

pub fn locals(&self) -> &[(Ident, Path, Signature)]

Binding-local fn sources declared on this convert, drained into the synthesis pre-pass at acceptance.

pub fn locals_mut(&mut self) -> &mut Vec<(Ident, Path, Signature)>

Mutable access for draining binding-local fn sources into the synthesis pre-pass at acceptance (Vec::append).

pub fn input(self, src: impl Into<ConvertSourceDecl>) -> ConvertDecl

The into-Rust conversion (parameters, callback returns): how a value of this type is built from its representation. Accepts fun! (a #[prebindgen] fn(U) -> T / fn(U) -> Result<T, E>) or from! / try_from! (Repr: Into<T> / TryInto, or a binding-local callable via .with(...)).

pub fn output(self, src: impl Into<ConvertSourceDecl>) -> ConvertDecl

The out-of-Rust conversion (returns, callback arguments): how a value of this type is turned into its representation. Accepts fun! (a #[prebindgen] fn(&T) -> U / fn(T) -> U) or into! / try_into! (T: Into<Repr> / TryInto, or a binding-local callable via .with(...)).

pub fn valid_range<T, R>(self, range: R) -> ConvertDecl

where T: DomainScalar, R: RangeBounds<T>,

Restrict the scalar representation to a numeric range. Values outside the range are rejected and may be reused by wrappers such as Option. Floating-point ranges reject every NaN; use Self::valid_values when exact raw IEEE values (including a specific NaN payload) are intended.

pub fn valid_values<T>(self, values: impl IntoIterator<Item = T>) -> ConvertDecl

where T: DomainScalar,

Restrict the scalar representation to a finite valid-value set. Float membership uses raw IEEE bits, so 0.0, -0.0, and NaN payloads remain distinct.

pub fn exclude_values<T>( self, values: impl IntoIterator<Item = T>, ) -> ConvertDecl

where T: DomainScalar,

Remove finite values from the previously declared base domain. Float exclusions use raw IEEE bits.

Trait Implementations

impl Clone for ConvertDecl

fn clone(&self) -> ConvertDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.