Pure MoonBit parser, normalizer, comparator and filter for PEP 440 Python versions and version specifiers.

python

pep440

version

specifier

packaging

Download zip

Author

123123213weqw

Version

0.1.0

License

Apache-2.0

Repository

github.com/123123213weqw/moon-pyversion

Last updated

19 hours ago

Downloads

#Moon PyVersion

Pure MoonBit library for parsing, normalizing, comparing, and filtering Python package versions and PEP 440 version specifiers. Zero third-party package dependencies; it uses only moonbitlang/core.

#Consumer example

Once publication is confirmed, add 123123213weqw/moon_pyversion@0.1.0, then import it in your moon.pkg. For source-based use see the repository README.

import {
  "123123213weqw/moon_pyversion" @pyversion,
}

///|
fn main {
  let v = try! @pyversion.Version::parse("v01.002-rc3+ABC_007")
  println(@pyversion.Version::to_string(v))
  let spec = try! @pyversion.SpecifierSet::parse(">=1.0, !=1.4.*, <2.0")
  let accepted = @pyversion.SpecifierSet::filter(
    [try! @pyversion.Version::parse("1.5")],
    spec,
  )
  println(accepted.length())
}

The source repository contains this working example in examples/basic.

#Public API

Version::parse(String) -> Version raise VersionError
Version::normalize(String) -> String raise VersionError
Version::to_string(Version) -> String
Version::compare(Version, Version) -> Int
SpecifierSet::parse(String) -> SpecifierSet raise VersionError
SpecifierSet::contains(SpecifierSet, Version, prereleases? : Bool? = None) -> Bool
SpecifierSet::filter(Array[Version], SpecifierSet, prereleases? : Bool? = None) -> Array[Version]

Version implements Eq, Compare, and Show. Its raw field retains the caller's original string. to_string returns a normalized public form: leading zeroes are removed, pre/post/dev spellings are canonicalized (a, b, rc, .post, .dev), separators - and _ are normalized to the canonical form, local segments are lowercased, and numeric local segments lose their leading zeroes. Release segment count is preserved, so 1.0 normalizes to 1.0 and 1.0.0 to 1.0.0; they still compare equal.

Parsing supports epochs, v prefixes, leading/trailing ASCII whitespace, pre-release aliases (alpha, beta, c, pre, preview), post-release aliases (post, rev, r), dev releases, implicit numeric zeroes, implicit post releases (1.0-1), and local versions. Invalid input raises a stable VersionError with a code and a UTF-16 offset. Errors never echo passwords, paths, or unrelated runtime data.

#Ordering and specifier contract

Comparison follows the PEP 440 key order: epoch, padded release segments, pre-release phase and number, post-release, dev, then local segments. A bare dev release has a pre-key below alpha; otherwise absent pre sorts after pre. Absent post sorts before post; absent dev sorts after dev. Local segments are compared segment by segment, numerically when both segments are numeric and case-insensitively otherwise; a numeric segment sorts greater than a textual segment.

SpecifierSet supports ==, !=, <, <=, >, >=, ~=, and ===. Wildcard suffixes are accepted only for == and != and match by epoch plus release prefix. Compatible release (~=) uses an inclusive lower bound and an exclusive upper bound formed by incrementing the penultimate release segment. Arbitrary equality (===) compares the parsed candidate's normalized spelling case-insensitively; arbitrary legacy-string candidates are not supported. Wildcard release prefixes use zero padding. Ordered constraints ignore candidate local labels and reject local labels in the constraint itself.

Pre-release policy matches packaging 26.3: contains automatically permits a matching prerelease because it has no alternatives; filter prefers matching finals, falling back to prereleases if none exist. Explicit prerelease boundaries opt in. Pass prereleases=Some(false) to exclude or Some(true) to allow them. Operator-specific exclusions still apply: <1.0 excludes 1.0a1 even when prereleases are enabled; >1.0 excludes 1.0.post1. This is not a resolver or a security assessment of upgrade candidates.

License: Apache-2.0. See docs/design.md, docs/provenance.md, and the repository README.md.

VersionError

source

pub(all) suberror VersionError {
  InvalidVersion(String, Int)
  InvalidSpecifier(String, Int)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

A stable, structured error for version and specifier parsing.

impl Show for VersionError

VersionError::diagnostic

source

fn VersionError::diagnostic(self : VersionError) -> String

LocalPart

source

pub(all) struct LocalPart {
  text : String
  numeric : Bool
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

One normalized local-version segment. Numeric segments are compared as integers; textual segments are compared case-insensitively.

Specifier

source

pub(all) struct Specifier {
  op : SpecifierOp
  raw_version : String
  version : Version?
  wildcard : Bool
} derive(@moonbitlang/core/debug.Debug
Debug)

SpecifierOp

source

pub(all) enum SpecifierOp {
  Equal
  NotEqual
  Less
  LessEqual
  Greater
  GreaterEqual
  Compatible
  ArbitraryEqual
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

SpecifierSet

source

pub(all) struct SpecifierSet {
  specs : Array[Specifier]
  original : String
} derive(@moonbitlang/core/debug.Debug
Debug)

SpecifierSet::contains

source

fn SpecifierSet::contains(self : SpecifierSet, version : Version, prereleases? : Bool?) -> Bool

SpecifierSet::filter

source

fn SpecifierSet::filter(versions : Array[Version], spec : SpecifierSet, prereleases? : Bool?) -> Array[Version]

SpecifierSet::parse

source

fn SpecifierSet::parse(input : String) -> SpecifierSet raise VersionError

Version

source

pub(all) struct Version {
  raw : String
  epoch : @moonbitlang/core/bigint.BigInt
BigInt
  release : Array[@moonbitlang/core/bigint.BigInt
BigInt]
  has_pre : Bool
  pre_kind : Int
  pre_num : @moonbitlang/core/bigint.BigInt
BigInt
  has_post : Bool
  post_num : @moonbitlang/core/bigint.BigInt
BigInt
  has_dev : Bool
  dev_num : @moonbitlang/core/bigint.BigInt
BigInt
  local_segments : Array[LocalPart]
} derive(@moonbitlang/core/debug.Debug
Debug)

A parsed PEP 440 version. raw keeps the caller's original string, while to_string returns the normalized public form.

impl Compare for Version

impl Eq for Version

impl Show for Version

Version::compare

source

fn Version::compare(left : Version, right : Version) -> Int

Version::normalize

source

fn Version::normalize(input : String) -> String raise VersionError

Version::parse

source

fn Version::parse(input : String) -> Version raise VersionError

Version::to_string

source

fn Version::to_string(self : Version) -> String

Source Files

Site source Report issue Packages Build queue Skills Statistics

moon_pyversion

#Moon PyVersion

#Consumer example

#Public API

#Ordering and specifier contract

#VersionError

#VersionError::diagnostic

#LocalPart

#Specifier

#SpecifierOp

#SpecifierSet

#SpecifierSet::contains

#SpecifierSet::filter

#SpecifierSet::parse

#Version

#Version::compare

#Version::normalize

#Version::parse

#Version::to_string

Source Files

VersionError

VersionError::diagnostic

LocalPart

Specifier

SpecifierOp

SpecifierSet

SpecifierSet::contains

SpecifierSet::filter

SpecifierSet::parse

Version

Version::compare

Version::normalize

Version::parse

Version::to_string