import { DeepMap } from 'deep-equality-data-structures';
import * as P from './exver';
/**
 * Compile-time utility type that validates a version string literal conforms to semver format.
 *
 * Resolves to `unknown` if valid, `never` if invalid. Used with {@link testTypeVersion}.
 *
 * @example
 * ```ts
 * type Valid = ValidateVersion<"1.2.3">     // unknown (valid)
 * type Invalid = ValidateVersion<"-3">      // never (invalid)
 * ```
 */
export type ValidateVersion<T extends String> = T extends `-${infer A}` ? never : T extends `${infer A}-${string}` ? ValidateVersion<A> : T extends `${bigint}` ? unknown : T extends `${bigint}.${infer A}` ? ValidateVersion<A> : never;
/**
 * Compile-time utility type that validates an extended version string literal.
 *
 * Extended versions have the format `upstream:downstream` or `#flavor:upstream:downstream`.
 *
 * @example
 * ```ts
 * type Valid = ValidateExVer<"1.2.3:0">           // valid
 * type Flavored = ValidateExVer<"#bitcoin:1.0:0">  // valid
 * type Bad = ValidateExVer<"1.2-3">                // never (invalid)
 * ```
 */
export type ValidateExVer<T extends string> = T extends `#${string}:${infer A}:${infer B}` ? ValidateVersion<A> & ValidateVersion<B> : T extends `${infer A}:${infer B}` ? ValidateVersion<A> & ValidateVersion<B> : never;
/**
 * Validates a tuple of extended version string literals at compile time.
 *
 * @example
 * ```ts
 * type Valid = ValidateExVers<["1.0:0", "2.0:0"]>  // valid
 * ```
 */
export type ValidateExVers<T> = T extends [] ? unknown[] : T extends [infer A, ...infer B] ? ValidateExVer<A & string> & ValidateExVers<B> : never[];
type Anchor = {
    type: 'Anchor';
    operator: P.CmpOp;
    version: ExtendedVersion;
};
type And = {
    type: 'And';
    left: VersionRange;
    right: VersionRange;
};
type Or = {
    type: 'Or';
    left: VersionRange;
    right: VersionRange;
};
type Not = {
    type: 'Not';
    value: VersionRange;
};
type Flavor = {
    type: 'Flavor';
    flavor: string | null;
};
type FlavorNot = {
    type: 'FlavorNot';
    flavors: Set<string | null>;
};
type FlavorAtom = Flavor | FlavorNot;
/**
 * Splits a number line of versions in half, so that every possible semver is either to the left or right.
 * The `side` field handles inclusively.
 *
 * # Example
 * Consider the version `1.2.3`. For side=-1 the version point is like `1.2.2.999*.999*.**` (that is, 1.2.3.0.0.** is greater) and
 * for side=+1 the point is like `1.2.3.0.0.**.1` (that is, 1.2.3.0.0.** is less).
 */
type VersionRangePoint = {
    upstream: Version;
    downstream: Version;
    side: -1 | 1;
};
/**
 * Truth tables for version numbers and flavors. For each flavor we need a separate table, which
 * is quite straightforward. But in order to exhaustively enumerate the boolean values of every
 * combination of flavors and versions we also need tables for flavor negations.
 */
type VersionRangeTables = DeepMap<FlavorAtom, VersionRangeTable> | boolean;
/**
 * A truth table for version numbers. This is easiest to picture as a number line, cut up into
 * ranges of versions between version points.
 */
declare class VersionRangeTable {
    protected points: Array<VersionRangePoint>;
    protected values: boolean[];
    private constructor();
    static zip(a: VersionRangeTable, b: VersionRangeTable, func: (a: boolean, b: boolean) => boolean): VersionRangeTable;
    /**
     * Creates a version table which is `true` for the given flavor, and `false` for any other flavor.
     */
    static eqFlavor(flavor: string | null): VersionRangeTables;
    /**
     * Creates a version table with exactly two ranges (to the left and right of the given point) and with `false` for any other flavor.
     * This is easiest to understand by looking at `VersionRange.tables`.
     */
    static cmpPoint(flavor: string | null, point: VersionRangePoint, left: boolean, right: boolean): VersionRangeTables;
    /**
     * Helper for `cmpPoint`.
     */
    static cmp(version: ExtendedVersion, side: -1 | 1, left: boolean, right: boolean): VersionRangeTables;
    static not(tables: VersionRangeTables): boolean | DeepMap<FlavorAtom, VersionRangeTable, FlavorAtom, VersionRangeTable>;
    static and(a_tables: VersionRangeTables, b_tables: VersionRangeTables): VersionRangeTables;
    static or(...in_tables: VersionRangeTables[]): VersionRangeTables;
    /**
     * If this is true for all versions or false for all versions, returen that value. Otherwise return null.
     */
    static collapse(tables: VersionRangeTables): boolean | null;
    /**
     * Expresses this truth table as a series of version range operators.
     * https://en.wikipedia.org/wiki/Canonical_normal_form#Minterms
     */
    static minterms(tables: VersionRangeTables): VersionRange;
}
/**
 * Represents a parsed version range expression used to match against {@link Version} or {@link ExtendedVersion} values.
 *
 * Version ranges support standard comparison operators (`=`, `>`, `<`, `>=`, `<=`, `!=`),
 * caret (`^`) and tilde (`~`) ranges, boolean logic (`&&`, `||`, `!`), and flavor matching (`#flavor`).
 *
 * @example
 * ```ts
 * const range = VersionRange.parse(">=1.0.0:0 && <2.0.0:0")
 * const version = ExtendedVersion.parse("1.5.0:0")
 * console.log(range.satisfiedBy(version)) // true
 *
 * // Combine ranges with boolean logic
 * const combined = VersionRange.and(
 *   VersionRange.parse(">=1.0:0"),
 *   VersionRange.parse("<3.0:0"),
 * )
 *
 * // Match a specific flavor
 * const flavored = VersionRange.parse("#bitcoin")
 * ```
 */
export declare class VersionRange {
    atom: Anchor | And | Or | Not | P.Any | P.None | Flavor;
    constructor(atom: Anchor | And | Or | Not | P.Any | P.None | Flavor);
    toStringParens(parent: 'And' | 'Or' | 'Not'): string;
    /** Serializes this version range back to its canonical string representation. */
    toString(): string;
    private static parseAtom;
    private static parseRange;
    /**
     * Parses a version range string into a `VersionRange`.
     *
     * @param range - A version range expression, e.g. `">=1.0.0:0 && <2.0.0:0"`, `"^1.2:0"`, `"*"`
     * @returns The parsed `VersionRange`
     * @throws If the string is not a valid version range expression
     */
    static parse(range: string): VersionRange;
    /**
     * Creates a version range from a comparison operator and an {@link ExtendedVersion}.
     *
     * @param operator - One of `"="`, `">"`, `"<"`, `">="`, `"<="`, `"!="`, `"^"`, `"~"`
     * @param version - The version to compare against
     */
    static anchor(operator: P.CmpOp, version: ExtendedVersion): VersionRange;
    /**
     * Creates a version range that matches only versions with the specified flavor.
     *
     * @param flavor - The flavor string to match, or `null` for the default (unflavored) variant
     */
    static flavor(flavor: string | null): VersionRange;
    /**
     * Parses a legacy "emver" format version range string.
     *
     * @param range - A version range in the legacy emver format
     * @returns The parsed `VersionRange`
     */
    static parseEmver(range: string): VersionRange;
    /** Returns the intersection of this range with another (logical AND). */
    and(right: VersionRange): VersionRange;
    /** Returns the union of this range with another (logical OR). */
    or(right: VersionRange): VersionRange;
    /** Returns the negation of this range (logical NOT). */
    not(): VersionRange;
    /**
     * Returns the logical AND (intersection) of multiple version ranges.
     * Short-circuits on `none()` and skips `any()`.
     */
    static and(...xs: Array<VersionRange>): VersionRange;
    /**
     * Returns the logical OR (union) of multiple version ranges.
     * Short-circuits on `any()` and skips `none()`.
     */
    static or(...xs: Array<VersionRange>): VersionRange;
    /** Returns a version range that matches all versions (wildcard `*`). */
    static any(): VersionRange;
    /** Returns a version range that matches no versions (`!`). */
    static none(): VersionRange;
    /**
     * Returns `true` if the given version satisfies this range.
     *
     * @param version - A {@link Version} or {@link ExtendedVersion} to test
     */
    satisfiedBy(version: Version | ExtendedVersion): boolean;
    tables(): VersionRangeTables;
    /** Returns `true` if any version exists that could satisfy this range. */
    satisfiable(): boolean;
    /** Returns `true` if this range and `other` share at least one satisfying version. */
    intersects(other: VersionRange): boolean;
    /**
     * Returns a canonical (simplified) form of this range using minterm expansion.
     * Useful for normalizing complex boolean expressions into a minimal representation.
     */
    normalize(): VersionRange;
}
/**
 * Represents a semantic version number with numeric segments and optional prerelease identifiers.
 *
 * Follows semver precedence rules: numeric segments are compared left-to-right,
 * and a version with prerelease identifiers has lower precedence than the same version without.
 *
 * @example
 * ```ts
 * const v = Version.parse("1.2.3")
 * console.log(v.toString())             // "1.2.3"
 * console.log(v.compare(Version.parse("1.3.0"))) // "less"
 *
 * const pre = Version.parse("2.0.0-beta.1")
 * console.log(pre.compare(Version.parse("2.0.0"))) // "less" (prerelease < release)
 * ```
 */
export declare class Version {
    /** The numeric version segments (e.g. `[1, 2, 3]` for `"1.2.3"`). */
    number: number[];
    /** Optional prerelease identifiers (e.g. `["beta", 1]` for `"-beta.1"`). */
    prerelease: (string | number)[];
    constructor(
    /** The numeric version segments (e.g. `[1, 2, 3]` for `"1.2.3"`). */
    number: number[], 
    /** Optional prerelease identifiers (e.g. `["beta", 1]` for `"-beta.1"`). */
    prerelease: (string | number)[]);
    /** Serializes this version to its string form (e.g. `"1.2.3"` or `"1.0.0-beta.1"`). */
    toString(): string;
    /**
     * Compares this version against another using semver precedence rules.
     *
     * @param other - The version to compare against
     * @returns `'greater'`, `'equal'`, or `'less'`
     */
    compare(other: Version): 'greater' | 'equal' | 'less';
    /**
     * Compares two versions, returning a numeric value suitable for use with `Array.sort()`.
     *
     * @returns `-1` if less, `0` if equal, `1` if greater
     */
    compareForSort(other: Version): -1 | 0 | 1;
    /**
     * Parses a version string into a `Version` instance.
     *
     * @param version - A semver-compatible string, e.g. `"1.2.3"` or `"1.0.0-beta.1"`
     * @throws If the string is not a valid version
     */
    static parse(version: string): Version;
    /**
     * Returns `true` if this version satisfies the given {@link VersionRange}.
     * Internally treats this as an unflavored {@link ExtendedVersion} with downstream `0`.
     */
    satisfies(versionRange: VersionRange): boolean;
}
/**
 * Represents an extended version with an optional flavor, an upstream version, and a downstream version.
 *
 * The format is `#flavor:upstream:downstream` (e.g. `#bitcoin:1.2.3:0`) or `upstream:downstream`
 * for unflavored versions. Flavors allow multiple variants of a package to coexist.
 *
 * - **flavor**: An optional string identifier for the variant (e.g. `"bitcoin"`, `"litecoin"`)
 * - **upstream**: The version of the upstream software being packaged
 * - **downstream**: The version of the StartOS packaging itself
 *
 * Versions with different flavors are incomparable (comparison returns `null`).
 *
 * @example
 * ```ts
 * const v = ExtendedVersion.parse("#bitcoin:1.2.3:0")
 * console.log(v.flavor)      // "bitcoin"
 * console.log(v.upstream)    // Version { number: [1, 2, 3] }
 * console.log(v.downstream)  // Version { number: [0] }
 * console.log(v.toString())  // "#bitcoin:1.2.3:0"
 *
 * const range = VersionRange.parse(">=1.0.0:0")
 * console.log(v.satisfies(range)) // true
 * ```
 */
export declare class ExtendedVersion {
    /** The flavor identifier (e.g. `"bitcoin"`), or `null` for unflavored versions. */
    flavor: string | null;
    /** The upstream software version. */
    upstream: Version;
    /** The downstream packaging version. */
    downstream: Version;
    constructor(
    /** The flavor identifier (e.g. `"bitcoin"`), or `null` for unflavored versions. */
    flavor: string | null, 
    /** The upstream software version. */
    upstream: Version, 
    /** The downstream packaging version. */
    downstream: Version);
    /** Serializes this extended version to its string form (e.g. `"#bitcoin:1.2.3:0"` or `"1.0.0:1"`). */
    toString(): string;
    /**
     * Compares this extended version against another.
     *
     * @returns `'greater'`, `'equal'`, `'less'`, or `null` if the flavors differ (incomparable)
     */
    compare(other: ExtendedVersion): 'greater' | 'equal' | 'less' | null;
    /**
     * Lexicographic comparison — compares flavors alphabetically first, then versions.
     * Unlike {@link compare}, this never returns `null`: different flavors are ordered alphabetically.
     */
    compareLexicographic(other: ExtendedVersion): 'greater' | 'equal' | 'less';
    /**
     * Returns a numeric comparison result suitable for use with `Array.sort()`.
     * Uses lexicographic ordering (flavors sorted alphabetically, then by version).
     */
    compareForSort(other: ExtendedVersion): 1 | 0 | -1;
    /** Returns `true` if this version is strictly greater than `other`. Returns `false` if flavors differ. */
    greaterThan(other: ExtendedVersion): boolean;
    /** Returns `true` if this version is greater than or equal to `other`. Returns `false` if flavors differ. */
    greaterThanOrEqual(other: ExtendedVersion): boolean;
    /** Returns `true` if this version equals `other` (same flavor, upstream, and downstream). */
    equals(other: ExtendedVersion): boolean;
    /** Returns `true` if this version is strictly less than `other`. Returns `false` if flavors differ. */
    lessThan(other: ExtendedVersion): boolean;
    /** Returns `true` if this version is less than or equal to `other`. Returns `false` if flavors differ. */
    lessThanOrEqual(other: ExtendedVersion): boolean;
    /**
     * Parses an extended version string into an `ExtendedVersion`.
     *
     * @param extendedVersion - A string like `"1.2.3:0"` or `"#bitcoin:1.0.0:0"`
     * @throws If the string is not a valid extended version
     */
    static parse(extendedVersion: string): ExtendedVersion;
    /**
     * Parses a legacy "emver" format extended version string.
     *
     * @param extendedVersion - A version string in the legacy emver format
     * @throws If the string is not a valid emver version (error message includes the input string)
     */
    static parseEmver(extendedVersion: string): ExtendedVersion;
    /**
     * Returns an ExtendedVersion with the Upstream major version version incremented by 1
     * and sets subsequent digits to zero.
     * If no non-zero upstream digit can be found the last upstream digit will be incremented.
     */
    incrementMajor(): ExtendedVersion;
    /**
     * Returns an ExtendedVersion with the Upstream minor version version incremented by 1
     * also sets subsequent digits to zero.
     * If no non-zero upstream digit can be found the last digit will be incremented.
     */
    incrementMinor(): ExtendedVersion;
    /**
     * Returns a boolean indicating whether a given version satisfies the VersionRange
     * !( >= 1:1 <= 2:2) || <=#bitcoin:1.2.0-alpha:0
     */
    satisfies(versionRange: VersionRange): boolean;
}
/**
 * Compile-time type-checking helper that validates an extended version string literal.
 * If the string is invalid, TypeScript will report a type error at the call site.
 *
 * @example
 * ```ts
 * testTypeExVer("1.2.3:0")         // compiles
 * testTypeExVer("#bitcoin:1.0:0")  // compiles
 * testTypeExVer("invalid")         // type error
 * ```
 */
export declare const testTypeExVer: <T extends string>(t: T & ValidateExVer<T>) => T & ValidateExVer<T>;
/**
 * Compile-time type-checking helper that validates a version string literal.
 * If the string is invalid, TypeScript will report a type error at the call site.
 *
 * @example
 * ```ts
 * testTypeVersion("1.2.3")  // compiles
 * testTypeVersion("-3")     // type error
 * ```
 */
export declare const testTypeVersion: <T extends string>(t: T & ValidateVersion<T>) => T & ValidateVersion<T>;
export {};
