pub struct ValueSpecification {
pub source_name: String,
pub name: String,
pub inputs: Vec<NamedType>,
pub output: Option<TypeExpr>,
pub value_kind: ValueKind,
pub entry_point: Option<EntryPointMetadata>,
pub doc: Option<String>,
}Expand description
A public value signature. It intentionally has no value body field.
Fields§
§source_name: StringExact canonical Morphir value FQName.
name: StringCanonical local value name.
inputs: Vec<NamedType>Flattened function inputs.
output: Option<TypeExpr>Output type, absent for incomplete values.
value_kind: ValueKindFunction or constant classification.
entry_point: Option<EntryPointMetadata>Declared application entry-point metadata.
doc: Option<String>Optional source documentation.
Trait Implementations§
Source§impl Clone for ValueSpecification
impl Clone for ValueSpecification
Source§impl Debug for ValueSpecification
impl Debug for ValueSpecification
impl Eq for ValueSpecification
Source§impl PartialEq for ValueSpecification
impl PartialEq for ValueSpecification
Source§impl Serialize for ValueSpecification
impl Serialize for ValueSpecification
impl StructuralPartialEq for ValueSpecification
Auto Trait Implementations§
impl Freeze for ValueSpecification
impl RefUnwindSafe for ValueSpecification
impl Send for ValueSpecification
impl Sync for ValueSpecification
impl Unpin for ValueSpecification
impl UnsafeUnpin for ValueSpecification
impl UnwindSafe for ValueSpecification
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.