Struct ResolvedSpecTypes

Source

pub struct ResolvedSpecTypes {
    pub named_types: HashMap<String, LemmaType>,
    pub declared_defaults: HashMap<String, ValueKind>,
    pub unit_index: HashMap<String, LemmaType>,
}

Expand description

Fully resolved types for a single spec. After resolution, all imports are inlined — specs are independent.

Fields§

§named_types: HashMap<String, LemmaType>

Named types: type_name -> fully resolved type

§declared_defaults: HashMap<String, ValueKind>

Declared default per named type (e.g. type rate: ratio -> default 0.5). Only present for types that declared a -> default ... constraint anywhere in their extension chain; the inner-most -> default wins. Defaults live outside TypeSpecification so the type itself stays free of binding data.

§unit_index: HashMap<String, LemmaType>

Unit index: unit_name -> resolved type. Built during resolution — if unit appears in multiple types, resolution fails.

ResolvedSpecTypes

Struct ResolvedSpecTypes Copy item path

Fields§

Trait Implementations§

impl Clone for ResolvedSpecTypes

fn clone(&self) -> ResolvedSpecTypes

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

impl Debug for ResolvedSpecTypes

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

Auto Trait Implementations§

impl Freeze for ResolvedSpecTypes

impl RefUnwindSafe for ResolvedSpecTypes

impl Send for ResolvedSpecTypes

impl Sync for ResolvedSpecTypes

impl Unpin for ResolvedSpecTypes

impl UnsafeUnpin for ResolvedSpecTypes

impl UnwindSafe for ResolvedSpecTypes

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<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

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> PolicyExt for Twhere T: ?Sized,

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

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

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

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

type Error = Infallible

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

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<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 ResolvedSpecTypes

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<T> CloneToUninit for T
where T: Clone,

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: Policy<B, E>, P: Policy<B, E>,

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

impl<T> ToOwned for T
where T: Clone,

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

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

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