@metreeca/blue - v0.10.0
    Preparing search index...

    Type Alias RangeShape

    Resolved value range of a Probe.

    Carries the cardinality bounds (minCount / maxCount) accumulated across the traversed steps, and variants: the value shapes the path can reach, a never-empty disjunction over the dictionary-including ValuesShape alphabet. The "range" kind distinguishes a resolved range from the atomic Trace string an effective result otherwise carries.

    Note

    A path can reach a mix no declared shape expresses: for creator.name with creator: union(Person, Organization), Person.name: string(), Organization.name: dictionary(), it reaches both string and dictionary, which a declared property cannot hold (a value-variant union and whole-property dictionary never combine).

    type RangeShape = {
        kind: "range";
        minCount?: number;
        maxCount?: number;
        variants: readonly ValuesShape[];
    }
    Index

    Properties

    kind: "range"

    Discriminator identifying this as a resolved value range.

    minCount?: number

    Minimum number of expected values across the enveloped branches; undefined imposes no lower bound.

    maxCount?: number

    Maximum number of expected values across the enveloped branches; undefined imposes no upper bound.

    variants: readonly ValuesShape[]

    Reachable value shapes in branch order; never empty.