pub struct ModuleSpec {
pub name: String,
pub types: Vec<TypeDefSpec>,
pub functions: Vec<FunctionSpec>,
}Expand description
A whole module described in one value: its type definitions plus its
functions. The unit the checker resolves calls within — so a framework
function and an app function that calls it live in one ModuleSpec,
and reuse is just listing a function’s hash. The Tier-2/Tier-3
authoring primitive.
Fields§
§name: String§types: Vec<TypeDefSpec>§functions: Vec<FunctionSpec>Trait Implementations§
Source§impl Clone for ModuleSpec
impl Clone for ModuleSpec
Source§fn clone(&self) -> ModuleSpec
fn clone(&self) -> ModuleSpec
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 ModuleSpec
impl Debug for ModuleSpec
Source§impl<'de> Deserialize<'de> for ModuleSpec
impl<'de> Deserialize<'de> for ModuleSpec
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations§
impl Freeze for ModuleSpec
impl RefUnwindSafe for ModuleSpec
impl Send for ModuleSpec
impl Sync for ModuleSpec
impl Unpin for ModuleSpec
impl UnsafeUnpin for ModuleSpec
impl UnwindSafe for ModuleSpec
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,
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