Enum VersionRequirement 

pub enum VersionRequirement {
    Semantic(Span<VersionReq>),
    Digest(Span<Word>),
}

Represents a requirement on a specific version (or versions) of a dependency.

Variants

Semantic(Span<VersionReq>)

A semantic versioning constraint, e.g. ~> 0.1

In general, this is meant to indicate that any version of a package that satisfies the version constraint can be used to resolve the dependency.

This form of constraint also permits us to compile a dependency from source, so long as the semantic versioning constraint is satisfied.

Digest(Span<Word>)

The most precise and onerous form of versioning constraint.

This requires that the dependency’s package digest exactly matches the one provided here.

Digest constraints also effectively require that the dependency already be compiled to a Miden package, as digests are derived from the MAST of a compiled package. This means that when the dependency is resolved, we must be able to find a .masp file with the expected digest.

Implementations

impl VersionRequirement

pub fn is_semantic_version(&self) -> bool

Returns true if this version requirement is a semantic versioning requirement

pub fn is_digest(&self) -> bool

Returns true if this version requirement requires an exact digest match

Trait Implementations

impl Clone for VersionRequirement

fn clone(&self) -> VersionRequirement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VersionRequirement

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VersionRequirement

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for VersionRequirement

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

Formats the value using the given formatter.

impl From<VersionReq> for VersionRequirement

fn from(version: VersionReq) -> Self

Converts to this type from the input type.

impl From<Word> for VersionRequirement

fn from(digest: Word) -> Self

Converts to this type from the input type.

impl PartialEq for VersionRequirement

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for VersionRequirement

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for VersionRequirement