Struct ResolvedSpecTypes

Source

pub struct ResolvedSpecTypes {
    pub named_types: HashMap<String, LemmaType>,
    pub inline_type_definitions: HashMap<Reference, LemmaType>,
    pub unit_index: HashMap<String, (LemmaType, Option<TypeDef>)>,
}

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

§inline_type_definitions: HashMap<Reference, LemmaType>

Inline type definitions: fact reference -> fully resolved type

§unit_index: HashMap<String, (LemmaType, Option<TypeDef>)>

Unit index: unit_name -> (resolved type, defining AST node if user-defined) Built during resolution - if unit appears in multiple types, resolution fails. TypeDef is kept for conflict detection (identity, extends-check, source location). Primitives (percent, permille) have no TypeDef.

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> Same for T

type Output = T

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