pub struct CompiledType {
pub def: EntityTypeDef,
pub anchors: Vec<(String, AnchorKind, Compiled)>,
pub primitives: Vec<CompiledPrim>,
pub templates: Vec<CompiledTemplate>,
pub circle: Option<(Compiled, Compiled)>,
pub params: Vec<ParamInfo>,
pub members: BTreeMap<String, Ty>,
pub scope: Scope,
}Expand description
A registered, compiled plugin type.
Fields§
§def: EntityTypeDefDefinition.
anchors: Vec<(String, AnchorKind, Compiled)>Anchors.
primitives: Vec<CompiledPrim>Primitives.
templates: Vec<CompiledTemplate>Templates.
circle: Option<(Compiled, Compiled)>Circle interpretation.
params: Vec<ParamInfo>Solver parameters in stable order.
members: BTreeMap<String, Ty>Members visible to referencing types.
scope: ScopeExpression scope of the type (for expression constraints on its entities).
Trait Implementations§
Source§impl Clone for CompiledType
impl Clone for CompiledType
Source§fn clone(&self) -> CompiledType
fn clone(&self) -> CompiledType
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for CompiledType
impl Debug for CompiledType
Source§impl PartialEq for CompiledType
impl PartialEq for CompiledType
Source§fn eq(&self, other: &CompiledType) -> bool
fn eq(&self, other: &CompiledType) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for CompiledType
Auto Trait Implementations§
impl Freeze for CompiledType
impl RefUnwindSafe for CompiledType
impl Send for CompiledType
impl Sync for CompiledType
impl Unpin for CompiledType
impl UnsafeUnpin for CompiledType
impl UnwindSafe for CompiledType
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> Scalar for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.