fhirpath-ts 0.0.0-bootstrap.0

package/dist/typed/infer.d.ts

@@ -0,0 +1,234 @@
+import type { R4Bases, R4Elements, R4Resources, R4TypeOf } from '../r4/generated/type-maps.ts';
+/**
+ * Type-level inference for common literal expressions: paths, indexes, choice
+ * stems, selected collection functions, `select`, `ofType`, `as`, fixed-result
+ * functions, unions, groups, and variable roots. Other expressions return
+ * `unknown[]`. The runtime and analyzer support the full language.
+ */
+/**
+ * A type name the bound model knows — a resource or a datatype. What a DTO's
+ * `fhirType` must be, and what `fhirpath`/`compile` accept as the type an
+ * expression runs against. Lives here, with the rest of the inference vocabulary,
+ * so every layer above spells it one way.
+ */
+export type FhirTypeName = keyof R4TypeOf & string;
+/** Element lookup by name, walking base types. */
+type ElementInfo<T extends string, E extends string> = T extends keyof R4Elements ? E extends keyof R4Elements[T] ? R4Elements[T][E] : T extends keyof R4Bases ? R4Bases[T] extends string ? ElementInfo<R4Bases[T], E> : never : never : never;
+/**
+ * Characters that never appear in an element or variable name: their presence
+ * in a segment means an operator or literal got glued on (`name and x`,
+ * `gender=gender`), and the runtime evaluates something entirely different
+ * from a navigation. Such segments must degrade to 'opaque' — the broad state
+ * would let a later fixed-return call claim a concrete type for what is
+ * really a comparison.
+ */
+type GluedName<E extends string> = E extends `${string} ${string}` | `${string}'${string}` | `${string}"${string}` | `${string}=${string}` | `${string}!${string}` | `${string}<${string}` | `${string}>${string}` | `${string}+${string}` | `${string}-${string}` | `${string}*${string}` | `${string}/${string}` | `${string}&${string}` | `${string}~${string}` | `${string},${string}` | `${string}|${string}` | `${string}%${string}` | `${string}$${string}` | `${string}@${string}` | `${string}(${string}` | `${string})${string}` | `${string}[${string}` | `${string}]${string}` | `${string}{${string}` | `${string}}${string}` | `${string}\\${string}` | `${string}\`${string}` ? true : false;
+/**
+ * Navigates one element. A missing normal name widens the state because the
+ * runtime returns empty and a later fixed-result function still has a known
+ * type. A segment containing expression syntax becomes `opaque` instead.
+ */
+type Navigate<S extends string, E extends string> = string extends S ? MissedElement<E, S> : ElementInfo<S, E> extends {
+    t: infer N extends string;
+} ? string extends N ? MissedElement<E, string> : N : 'opaque';
+/**
+ * An element lookup that found nothing: glued segments are misparses and go
+ * 'opaque'; a sane-looking name widens to (or stays) the broad state. Only
+ * misses pay the GluedName scan — real elements are never glued.
+ */
+type MissedElement<E extends string, Broad extends string> = GluedName<E> extends true ? 'opaque' : Broad;
+/**
+ * Checks that a matched call ends at its final `)`. Quotes are removed before
+ * balancing parentheses. Backslashes and backticks fall outside this subset.
+ */
+type CleanArg<A extends string> = A extends `${string}\\${string}` | `${string}\`${string}` ? false : Balanced<StripQuoted<A>>;
+/** Removes `'…'` spans so parens inside string literals don't disturb Balanced. */
+type StripQuoted<A extends string> = A extends `${infer L}'${string}'${infer R}` ? `${L}${StripQuoted<R>}` : A;
+/** Every `(` opens before its `)` closes; one nesting level per pair. */
+type Balanced<A extends string> = A extends `${infer L}(${infer M})${infer R}` ? L extends `${string})${string}` ? false : M extends `${string}(${string}` ? false : Balanced<R> : A extends `${string})${string}` ? false : true;
+/** Push one stack entry per `(` of A (quoted spans already stripped). */
+type PushOpens<A extends string, Acc extends unknown[]> = A extends `${string}(${infer R}` ? PushOpens<R, [...Acc, 0]> : Acc;
+/** Checks full parenthesis balance after quoted spans have been removed. */
+type BalancedDeep<A extends string, Open extends unknown[] = []> = A extends `${infer Head})${infer Rest}` ? PushOpens<Head, Open> extends [unknown, ...infer Remaining] ? BalancedDeep<Rest, Remaining> : false : PushOpens<A, Open> extends [] ? true : false;
+/**
+ * Whether a fragment is a complete sub-expression, so a `|` (or a group's `)`)
+ * right after it is really at the top level: quotes pair up, and what remains
+ * after stripping them balances with nothing left open. Backslashes and
+ * backticks are declined outright, like CleanArg.
+ */
+type CompleteFragment<A extends string> = A extends `${string}\\${string}` | `${string}\`${string}` ? false : StripQuoted<A> extends infer Q extends string ? Q extends `${string}'${string}` ? false : BalancedDeep<Q> : false;
+/** Strip the leading/trailing spaces a union split leaves around its terms. */
+type Trim<S extends string> = S extends ` ${infer R}` ? Trim<R> : S extends `${infer L} ` ? Trim<L> : S;
+/**
+ * Functions with input-independent result types. A test compares this table
+ * with analyzer signatures. Functions whose result depends on input stay out.
+ */
+export declare const FIXED_RETURNS: {
+    readonly exists: "boolean";
+    readonly empty: "boolean";
+    readonly not: "boolean";
+    readonly hasValue: "boolean";
+    readonly count: "integer";
+    readonly length: "integer";
+    readonly toBoolean: "boolean";
+    readonly convertsToBoolean: "boolean";
+    readonly convertsToInteger: "boolean";
+    readonly convertsToDecimal: "boolean";
+    readonly convertsToString: "boolean";
+    readonly convertsToDate: "boolean";
+    readonly convertsToDateTime: "boolean";
+    readonly convertsToTime: "boolean";
+    readonly convertsToQuantity: "boolean";
+    readonly toInteger: "integer";
+    readonly toDecimal: "decimal";
+    readonly toString: "string";
+    readonly toDate: "date";
+    readonly toDateTime: "dateTime";
+    readonly toTime: "time";
+    readonly toQuantity: "Quantity";
+    readonly toChars: "string";
+    readonly join: "string";
+    readonly trim: "string";
+    readonly upper: "string";
+    readonly lower: "string";
+    readonly replace: "string";
+    readonly replaceMatches: "string";
+    readonly substring: "string";
+    readonly encode: "string";
+    readonly decode: "string";
+    readonly escape: "string";
+    readonly unescape: "string";
+    readonly split: "string";
+    readonly matches: "boolean";
+    readonly matchesFull: "boolean";
+    readonly startsWith: "boolean";
+    readonly endsWith: "boolean";
+    readonly contains: "boolean";
+    readonly subsetOf: "boolean";
+    readonly supersetOf: "boolean";
+    readonly isDistinct: "boolean";
+    readonly allTrue: "boolean";
+    readonly anyTrue: "boolean";
+    readonly allFalse: "boolean";
+    readonly anyFalse: "boolean";
+    readonly all: "boolean";
+    readonly indexOf: "integer";
+    readonly lastIndexOf: "integer";
+    readonly ceiling: "integer";
+    readonly floor: "integer";
+    readonly truncate: "integer";
+    readonly round: "decimal";
+    readonly sqrt: "decimal";
+    readonly exp: "decimal";
+    readonly ln: "decimal";
+    readonly log: "decimal";
+};
+type FixedReturns = typeof FIXED_RETURNS;
+/**
+ * Functions that yield a subset or reordering of their input, so the input's
+ * type carries through. Cross-checked against the analyzer the same way as
+ * FIXED_RETURNS (their signatures preserve the input's types). `abs` is
+ * excluded deliberately: it preserves the numeric kind at runtime, but the
+ * analyzer declares its result unknown, and the table must not outrun it.
+ */
+export declare const IDENTITY_RETURNS: readonly ["where", "first", "last", "single", "distinct", "tail", "skip", "take", "exclude", "intersect", "trace"];
+type IdentityFn = (typeof IDENTITY_RETURNS)[number];
+/** One call segment, dispatched on the function name. */
+type Call<S extends string, Fn extends string, Arg extends string> = Fn extends IdentityFn ? S : Fn extends 'ofType' | 'as' ? Arg extends FhirTypeName ? Arg : 'opaque' : Fn extends keyof FixedReturns ? FixedReturns[Fn] : 'opaque';
+/** One `.`-separated segment: a call the subset knows, an indexer, or an element. */
+type Step<S extends string, Seg extends string> = [S] extends ['opaque'] ? 'opaque' : Seg extends `${infer Fn}(${infer Arg})` ? Fn extends 'select' ? ParseExpr<Arg, S> : CleanArg<Arg> extends true ? Call<S, Fn, Arg> : 'opaque' : Seg extends `${infer N}[${infer I}]` ? I extends `${string}]${string}` | `${string}[${string}` ? 'opaque' : Navigate<S, N> : Navigate<S, Seg>;
+/** Walk the remaining `.`-separated segments. */
+type ParseSegments<Expr extends string, S extends string> = Expr extends '' ? S : Expr extends `${infer Head}.${infer Rest}` ? Head extends `${string}(` | `${string}(${string}` ? StepAcrossParen<Expr, S> : ParseSegments<Rest, Step<S, Head>> : Step<S, Expr>;
+/**
+ * A segment whose parentheses contain dots (e.g. `select(name.given)`) runs
+ * to the `)` that completes its argument; the `.` after that starts the next
+ * segment. Scanned `).` by `).`: a candidate close inside a string literal,
+ * or with parens still open, is not the close — CompleteFragment decides.
+ * With no valid `).` split, the whole rest is one segment ending at its
+ * final `)`.
+ */
+type StepAcrossParen<Expr extends string, S extends string> = ScanSegmentEnd<Expr, '', S>;
+type ScanSegmentEnd<Expr extends string, Acc extends string, S extends string> = Expr extends `${infer Head}).${infer Rest}` ? SegmentComplete<`${Acc}${Head}`> extends true ? ParseSegments<Rest, Step<S, `${Acc}${Head})`>> : ScanSegmentEnd<Rest, `${Acc}${Head}).`, S> : WholeParenSegment<`${Acc}${Expr}`, S>;
+/** Whether `Body)` is one complete call segment: its argument closes exactly there. */
+type SegmentComplete<Body extends string> = `${Body})` extends `${infer _Fn}(${infer Arg})` ? CompleteFragment<Arg> : false;
+/** The rest of the expression is a single paren segment ending at its final `)`. */
+type WholeParenSegment<Expr extends string, S extends string> = Expr extends `${infer Head})${''}` ? Step<S, `${Head})`> : 'opaque';
+/**
+ * One expression in a context state `S`: a `|`-union of terms, or a single
+ * term. Plain dotted paths take two cheap checks: one skips the union scanner,
+ * and the next skips trimming and group or `%var` handling.
+ */
+type ParseExpr<Expr extends string, S extends string> = Expr extends `${string}|${string}` | `(${string}` | `%${string}` ? ParseUnion<Expr, S> : Expr extends `${infer Root}.${infer Rest}` ? Root extends keyof R4Resources & string ? ParseSegments<Rest, Root> : ParseSegments<Expr, S> : Expr extends keyof R4Resources & string ? Expr : ParseSegments<Expr, S>;
+/**
+ * Split off the leftmost top-level `|`. A candidate fragment whose quotes or
+ * parens are cut mid-way (the `|` sat inside a literal or a group) is not a
+ * split point: the fragment absorbs the `|` and the scan continues. With no
+ * top-level `|` at all, the whole expression is one term — its own parse is
+ * the validation, so this branch needs no separate completeness check.
+ */
+type SplitUnion<Expr extends string, Acc extends string = ''> = Expr extends `${infer L}|${infer R}` ? CompleteFragment<`${Acc}${L}`> extends true ? {
+    term: `${Acc}${L}`;
+    rest: R;
+} : SplitUnion<R, `${Acc}${L}|`> : {
+    whole: `${Acc}${Expr}`;
+};
+/** Fold the split terms into one union state. */
+type ParseUnion<Expr extends string, S extends string> = SplitUnion<Expr> extends {
+    term: infer T extends string;
+    rest: infer R extends string;
+} ? UnionStates<ParseTerm<Trim<T>, S>, ParseUnion<R, S>> : SplitUnion<Expr> extends {
+    whole: infer W extends string;
+} ? ParseTerm<Trim<W>, S> : 'opaque';
+/**
+ * The union of two term states. If EITHER side failed to parse, the whole
+ * union is 'opaque' — a known name must never absorb a failed parse. A broad
+ * member needs no special case: `string` swallows the other names, and
+ * unknowable-joined-with-anything is unknowable.
+ */
+type UnionStates<A extends string, B extends string> = [A] extends ['opaque'] ? 'opaque' : [B] extends ['opaque'] ? 'opaque' : A | B;
+/**
+ * One union term (or a whole single-term expression): a parenthesized group,
+ * a `%var` root, a resource-rooted path, or a path relative to the context
+ * state `S`. The top level passes S = 'opaque', so relative terms degrade
+ * there; select() passes its input state, so its sub-paths resolve.
+ */
+type ParseTerm<Term extends string, S extends string> = Term extends `(${infer Body}` ? ExtractGroup<Body, '', S> : Term extends `%${infer Var}` ? ParseVarTerm<Var> : Term extends `${infer Root}.${infer Rest}` ? Root extends keyof R4Resources & string ? ParseSegments<Rest, Root> : ParseSegments<Term, S> : Term extends keyof R4Resources & string ? Term : ParseSegments<Term, S>;
+/**
+ * A `%var` root enters the broad state: the variable's value is unknowable
+ * here, and broad is exactly "unknowable" — plain navigation stays
+ * `unknown[]`, while a fixed-return call (`%rowIndex.toString()`) keeps its
+ * input-independent type. The name must look like a name: a glued operator
+ * (`%a = b`) would make the runtime evaluate a comparison, not a variable.
+ */
+type ParseVarTerm<Var extends string> = Var extends `${infer Name}.${infer Rest}` ? GluedName<Name> extends true ? 'opaque' : ParseSegments<Rest, string> : GluedName<Var> extends true ? 'opaque' : string;
+/**
+ * Find the `)` closing a group's opening paren: scan `)` by `)`, and the
+ * first one whose interior is a complete fragment closes the group. What
+ * follows must be nothing or a `.`-chain — anything else (`(A | B) = (C)`)
+ * is a glued operator.
+ */
+type ExtractGroup<Body extends string, Acc extends string, S extends string> = Body extends `${infer L})${infer R}` ? CompleteFragment<`${Acc}${L}`> extends true ? GroupTail<ParseExpr<`${Acc}${L}`, S>, R> : ExtractGroup<R, `${Acc}${L})`, S> : 'opaque';
+/** Continue after a group: `(…)` ends the term, `(…).rest` walks on from the group's state. */
+type GroupTail<G extends string, Tail extends string> = Tail extends '' ? G : Tail extends `.${infer Rest}` ? ParseSegments<Rest, G> : 'opaque';
+/** The unwrapped result element type for a state; `[…]` keeps unions whole. */
+type ResultOf<S extends string> = [S] extends [keyof R4TypeOf] ? R4TypeOf[S][] : unknown[];
+/**
+ * The inferred result of evaluating `Expr` against its root resource.
+ * `string` (a non-literal expression) and anything outside the subset give
+ * `unknown[]`. The context is 'opaque': terms must be resource-rooted,
+ * `%var`-rooted, or parenthesized groups of those — a relative term
+ * (`id | …`) has no root to resolve against here and degrades.
+ */
+export type FhirpathResult<Expr extends string> = FhirpathResultIn<Expr, 'opaque'>;
+/**
+ * The inferred result of evaluating `Expr` with `Input` as the context type —
+ * what a DTO's `fhirType` gives its columns, so their paths can stay relative
+ * (`clinicalStatus.coding.first().code`). A resource-rooted term still resolves
+ * against its own root, and a type name outside the model degrades like any
+ * other out-of-subset expression.
+ */
+export type FhirpathResultIn<Expr extends string, Input extends string> = string extends Expr ? unknown[] : ResultOf<ParseExpr<Expr, Input>>;
+/** The expected input resource for `Expr` (`Patient.name` wants a Patient). */
+export type FhirpathInput<Expr extends string> = string extends Expr ? unknown : Expr extends `${infer Root}.${string}` ? Root extends keyof R4Resources ? R4Resources[Root] : unknown : Expr extends keyof R4Resources ? R4Resources[Expr] : unknown;
+export {};
+//# sourceMappingURL=infer.d.ts.map

package/dist/typed/infer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.d.ts","sourceRoot":"","sources":["../../src/typed/infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAE9F;;;;;GAKG;AAEH;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,QAAQ,GAAG,MAAM,CAAA;AAElD,kDAAkD;AAClD,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,MAAM,UAAU,GAC7E,CAAC,SAAS,MAAM,UAAU,CAAC,CAAC,CAAC,GAC3B,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAChB,CAAC,SAAS,MAAM,OAAO,GACrB,OAAO,CAAC,CAAC,CAAC,SAAS,MAAM,GACvB,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC1B,KAAK,GACP,KAAK,GACT,KAAK,CAAA;AAET;;;;;;;GAOG;AACH,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAChC,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,KAAK,MAAM,EAAE,GACtB,GAAG,MAAM,KAAK,MAAM,EAAE,GACtB,IAAI,GACJ,KAAK,CAAA;AAET;;;;GAIG;AACH,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAChE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GACnB,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS;IAAE,CAAC,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GACrD,MAAM,SAAS,CAAC,GAGd,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,GACxB,CAAC,GACH,QAAQ,CAAA;AAEd;;;;GAIG;AACH,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,SAAS,MAAM,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,QAAQ,GAAG,KAAK,CAAA;AAEzG;;;GAGG;AACH,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,KAAK,MAAM,EAAE,GAAG,GAAG,MAAM,KAAK,MAAM,EAAE,GACvF,KAAK,GACL,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAE5B,mFAAmF;AACnF,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,IAAI,MAAM,CAAC,EAAE,GAAG,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AAE9G,yEAAyE;AACzE,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,MAAM,CAAC,EAAE,GAC1E,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC7B,KAAK,GACL,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC7B,KAAK,GACL,QAAQ,CAAC,CAAC,CAAC,GACf,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC7B,KAAK,GACL,IAAI,CAAA;AAEV,yEAAyE;AACzE,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,CAAC,EAAE,GACtF,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,GACzB,GAAG,CAAA;AAEP,4EAA4E;AAC5E,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,SAAS,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GACtG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,SAAS,CAAC,GACzD,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,GAC7B,KAAK,GACP,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,EAAE,GAC3B,IAAI,GACJ,KAAK,CAAA;AAEX;;;;;GAKG;AACH,KAAK,gBAAgB,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,KAAK,MAAM,EAAE,GAAG,GAAG,MAAM,KAAK,MAAM,EAAE,GAC/F,KAAK,GACL,WAAW,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,MAAM,GAC3C,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC7B,KAAK,GACL,YAAY,CAAC,CAAC,CAAC,GACjB,KAAK,CAAA;AAEX,+EAA+E;AAC/E,KAAK,IAAI,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,GAAG,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AAEvG;;;GAGG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2DuB,CAAA;AAEjD,KAAK,YAAY,GAAG,OAAO,aAAa,CAAA;AAExC;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,oHAYnB,CAAA;AAEV,KAAK,UAAU,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAA;AAEnD,yDAAyD;AACzD,KAAK,IAAI,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,IAAI,EAAE,SAAS,UAAU,GACtF,CAAC,GACD,EAAE,SAAS,QAAQ,GAAG,IAAI,GACxB,GAAG,SAAS,YAAY,GACtB,GAAG,GACH,QAAQ,GACV,EAAE,SAAS,MAAM,YAAY,GAC3B,YAAY,CAAC,EAAE,CAAC,GAChB,QAAQ,CAAA;AAEhB,qFAAqF;AACrF,KAAK,IAAI,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GACpE,QAAQ,GACR,GAAG,SAAS,GAAG,MAAM,EAAE,IAAI,MAAM,GAAG,GAAG,GACrC,EAAE,SAAS,QAAQ,GAEjB,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,GACjB,QAAQ,CAAC,GAAG,CAAC,SAAS,IAAI,GACxB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,GAChB,QAAQ,GACZ,GAAG,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,GAClC,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,GAGrD,QAAQ,GACR,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AAExB,iDAAiD;AACjD,KAAK,aAAa,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,SAAS,EAAE,GACvE,CAAC,GACD,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GACxC,IAAI,SAAS,GAAG,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,GAE/C,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,GACxB,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GACpC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAEnB;;;;;;;GAOG;AACH,KAAK,eAAe,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;AAEzF,KAAK,cAAc,CACjB,IAAI,SAAS,MAAM,EACnB,GAAG,SAAS,MAAM,EAClB,CAAC,SAAS,MAAM,IACd,IAAI,SAAS,GAAG,MAAM,IAAI,KAAK,MAAM,IAAI,EAAE,GAC3C,eAAe,CAAC,GAAG,GAAG,GAAG,IAAI,EAAE,CAAC,SAAS,IAAI,GAC3C,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,GAC9C,cAAc,CAAC,IAAI,EAAE,GAAG,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC,GAC5C,iBAAiB,CAAC,GAAG,GAAG,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC,CAAA;AAEzC,uFAAuF;AACvF,KAAK,eAAe,CAAC,IAAI,SAAS,MAAM,IAAI,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,MAAM,GAAG,GAAG,GACvF,gBAAgB,CAAC,GAAG,CAAC,GACrB,KAAK,CAAA;AAET,oFAAoF;AACpF,KAAK,iBAAiB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,EAAE,EAAE,GAC9F,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,GAAG,CAAC,GACnB,QAAQ,CAAA;AAEZ;;;;GAIG;AACH,KAAK,SAAS,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAAG,IAAI,MAAM,EAAE,GAAG,IAAI,MAAM,EAAE,GACpH,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,GACnB,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GACxC,IAAI,SAAS,MAAM,WAAW,GAAG,MAAM,GACrC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,GACzB,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,GACxB,IAAI,SAAS,MAAM,WAAW,GAAG,MAAM,GACrC,IAAI,GACJ,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAE9B;;;;;;GAMG;AACH,KAAK,UAAU,CAAC,IAAI,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,GAAG,EAAE,IAAI,IAAI,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,EAAE,GAChG,gBAAgB,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,SAAS,IAAI,GACzC;IAAE,IAAI,EAAE,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC;IAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC/B,UAAU,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,GAC9B;IAAE,KAAK,EAAE,GAAG,GAAG,GAAG,IAAI,EAAE,CAAA;CAAE,CAAA;AAE9B,iDAAiD;AACjD,KAAK,UAAU,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACnD,UAAU,CAAC,IAAI,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GACnF,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACpD,UAAU,CAAC,IAAI,CAAC,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GACxD,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GACrB,QAAQ,CAAA;AAEhB;;;;;GAKG;AACH,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GACzE,QAAQ,GACR,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GACpB,QAAQ,GACR,CAAC,GAAG,CAAC,CAAA;AAEX;;;;;GAKG;AACH,KAAK,SAAS,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,SAAS,IAAI,MAAM,IAAI,EAAE,GACjF,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,GACzB,IAAI,SAAS,IAAI,MAAM,GAAG,EAAE,GAC1B,YAAY,CAAC,GAAG,CAAC,GACjB,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GACxC,IAAI,SAAS,MAAM,WAAW,GAAG,MAAM,GACrC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,GACzB,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,GACxB,IAAI,SAAS,MAAM,WAAW,GAAG,MAAM,GACrC,IAAI,GACJ,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAEhC;;;;;;GAMG;AACH,KAAK,YAAY,CAAC,GAAG,SAAS,MAAM,IAAI,GAAG,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GAC7E,SAAS,CAAC,IAAI,CAAC,SAAS,IAAI,GAC1B,QAAQ,GACR,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,GAC7B,SAAS,CAAC,GAAG,CAAC,SAAS,IAAI,GACzB,QAAQ,GACR,MAAM,CAAA;AAEZ;;;;;GAKG;AACH,KAAK,YAAY,CAAC,IAAI,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,EAAE,GAC/G,gBAAgB,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,SAAS,IAAI,GACzC,SAAS,CAAC,SAAS,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GACxC,YAAY,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GACnC,QAAQ,CAAA;AAEZ,+FAA+F;AAC/F,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,SAAS,MAAM,IAAI,IAAI,SAAS,EAAE,GACnE,CAAC,GACD,IAAI,SAAS,IAAI,MAAM,IAAI,EAAE,GAC3B,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,GACtB,QAAQ,CAAA;AAEd,+EAA+E;AAC/E,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,QAAQ,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAA;AAE1F;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,CAAC,IAAI,SAAS,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;AAElF;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,CAAC,IAAI,SAAS,MAAM,EAAE,KAAK,SAAS,MAAM,IAAI,MAAM,SAAS,IAAI,GACzF,OAAO,EAAE,GACT,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;AAEpC,+EAA+E;AAC/E,MAAM,MAAM,aAAa,CAAC,IAAI,SAAS,MAAM,IAAI,MAAM,SAAS,IAAI,GAChE,OAAO,GACP,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,EAAE,GACpC,IAAI,SAAS,MAAM,WAAW,GAC5B,WAAW,CAAC,IAAI,CAAC,GACjB,OAAO,GACT,IAAI,SAAS,MAAM,WAAW,GAC5B,WAAW,CAAC,IAAI,CAAC,GACjB,OAAO,CAAA"}

package/dist/typed/infer.js

@@ -0,0 +1,85 @@
+/**
+ * Functions with input-independent result types. A test compares this table
+ * with analyzer signatures. Functions whose result depends on input stay out.
+ */
+export const FIXED_RETURNS = {
+    exists: 'boolean',
+    empty: 'boolean',
+    not: 'boolean',
+    hasValue: 'boolean',
+    count: 'integer',
+    length: 'integer',
+    toBoolean: 'boolean',
+    convertsToBoolean: 'boolean',
+    convertsToInteger: 'boolean',
+    convertsToDecimal: 'boolean',
+    convertsToString: 'boolean',
+    convertsToDate: 'boolean',
+    convertsToDateTime: 'boolean',
+    convertsToTime: 'boolean',
+    convertsToQuantity: 'boolean',
+    toInteger: 'integer',
+    toDecimal: 'decimal',
+    toString: 'string',
+    toDate: 'date',
+    toDateTime: 'dateTime',
+    toTime: 'time',
+    toQuantity: 'Quantity',
+    toChars: 'string',
+    join: 'string',
+    trim: 'string',
+    upper: 'string',
+    lower: 'string',
+    replace: 'string',
+    replaceMatches: 'string',
+    substring: 'string',
+    encode: 'string',
+    decode: 'string',
+    escape: 'string',
+    unescape: 'string',
+    split: 'string',
+    matches: 'boolean',
+    matchesFull: 'boolean',
+    startsWith: 'boolean',
+    endsWith: 'boolean',
+    contains: 'boolean',
+    subsetOf: 'boolean',
+    supersetOf: 'boolean',
+    isDistinct: 'boolean',
+    allTrue: 'boolean',
+    anyTrue: 'boolean',
+    allFalse: 'boolean',
+    anyFalse: 'boolean',
+    all: 'boolean',
+    indexOf: 'integer',
+    lastIndexOf: 'integer',
+    ceiling: 'integer',
+    floor: 'integer',
+    truncate: 'integer',
+    round: 'decimal',
+    sqrt: 'decimal',
+    exp: 'decimal',
+    ln: 'decimal',
+    log: 'decimal',
+};
+/**
+ * Functions that yield a subset or reordering of their input, so the input's
+ * type carries through. Cross-checked against the analyzer the same way as
+ * FIXED_RETURNS (their signatures preserve the input's types). `abs` is
+ * excluded deliberately: it preserves the numeric kind at runtime, but the
+ * analyzer declares its result unknown, and the table must not outrun it.
+ */
+export const IDENTITY_RETURNS = [
+    'where',
+    'first',
+    'last',
+    'single',
+    'distinct',
+    'tail',
+    'skip',
+    'take',
+    'exclude',
+    'intersect',
+    'trace',
+];
+//# sourceMappingURL=infer.js.map

package/dist/typed/infer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.js","sourceRoot":"","sources":["../../src/typed/infer.ts"],"names":[],"mappings":"AA6IA;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,MAAM,EAAE,SAAS;IACjB,KAAK,EAAE,SAAS;IAChB,GAAG,EAAE,SAAS;IACd,QAAQ,EAAE,SAAS;IACnB,KAAK,EAAE,SAAS;IAChB,MAAM,EAAE,SAAS;IACjB,SAAS,EAAE,SAAS;IACpB,iBAAiB,EAAE,SAAS;IAC5B,iBAAiB,EAAE,SAAS;IAC5B,iBAAiB,EAAE,SAAS;IAC5B,gBAAgB,EAAE,SAAS;IAC3B,cAAc,EAAE,SAAS;IACzB,kBAAkB,EAAE,SAAS;IAC7B,cAAc,EAAE,SAAS;IACzB,kBAAkB,EAAE,SAAS;IAC7B,SAAS,EAAE,SAAS;IACpB,SAAS,EAAE,SAAS;IACpB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,MAAM;IACd,UAAU,EAAE,UAAU;IACtB,MAAM,EAAE,MAAM;IACd,UAAU,EAAE,UAAU;IACtB,OAAO,EAAE,QAAQ;IACjB,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,QAAQ;IACf,KAAK,EAAE,QAAQ;IACf,OAAO,EAAE,QAAQ;IACjB,cAAc,EAAE,QAAQ;IACxB,SAAS,EAAE,QAAQ;IACnB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,QAAQ,EAAE,QAAQ;IAClB,KAAK,EAAE,QAAQ;IACf,OAAO,EAAE,SAAS;IAClB,WAAW,EAAE,SAAS;IACtB,UAAU,EAAE,SAAS;IACrB,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,SAAS;IACnB,UAAU,EAAE,SAAS;IACrB,UAAU,EAAE,SAAS;IACrB,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,SAAS;IAClB,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,SAAS;IACnB,GAAG,EAAE,SAAS;IACd,OAAO,EAAE,SAAS;IAClB,WAAW,EAAE,SAAS;IACtB,OAAO,EAAE,SAAS;IAClB,KAAK,EAAE,SAAS;IAChB,QAAQ,EAAE,SAAS;IACnB,KAAK,EAAE,SAAS;IAChB,IAAI,EAAE,SAAS;IACf,GAAG,EAAE,SAAS;IACd,EAAE,EAAE,SAAS;IACb,GAAG,EAAE,SAAS;CACiC,CAAA;AAIjD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,OAAO;IACP,OAAO;IACP,MAAM;IACN,QAAQ;IACR,UAAU;IACV,MAAM;IACN,MAAM;IACN,MAAM;IACN,SAAS;IACT,WAAW;IACX,OAAO;CACC,CAAA"}

package/dist/typed/perf-fixture.types.d.ts

@@ -0,0 +1,136 @@
+import type { FhirpathResult } from './infer.ts';
+export type T001 = FhirpathResult<'Patient.name.given'>;
+export type T002 = FhirpathResult<'Patient.name.family'>;
+export type T003 = FhirpathResult<'Patient.birthDate'>;
+export type T004 = FhirpathResult<'Patient.active'>;
+export type T005 = FhirpathResult<'Patient.telecom.value'>;
+export type T006 = FhirpathResult<'Patient.address.city'>;
+export type T007 = FhirpathResult<'Patient.identifier.value'>;
+export type T008 = FhirpathResult<'Patient.contact.name.family'>;
+export type T009 = FhirpathResult<'Patient.name.first().given'>;
+export type T010 = FhirpathResult<'Patient.name.exists()'>;
+export type T011 = FhirpathResult<'Patient.name.count()'>;
+export type T012 = FhirpathResult<"Patient.name.where(use = 'official').family">;
+export type T013 = FhirpathResult<'Patient.name.select(given)'>;
+export type T014 = FhirpathResult<'Patient.deceased'>;
+export type T015 = FhirpathResult<'Patient.gender'>;
+export type T016 = FhirpathResult<'Patient.maritalStatus.coding.code'>;
+export type T017 = FhirpathResult<'Patient.communication.language.text'>;
+export type T018 = FhirpathResult<'Patient.name[0].family'>;
+export type T019 = FhirpathResult<'Patient.managingOrganization.reference'>;
+export type T020 = FhirpathResult<'Patient.link.other.reference'>;
+export type T021 = FhirpathResult<'Observation.status'>;
+export type T022 = FhirpathResult<'Observation.code.coding.system'>;
+export type T023 = FhirpathResult<'Observation.value.ofType(Quantity).unit'>;
+export type T024 = FhirpathResult<'Observation.issued'>;
+export type T025 = FhirpathResult<'Observation.category.coding.code'>;
+export type T026 = FhirpathResult<'Observation.component.code.text'>;
+export type T027 = FhirpathResult<'Observation.subject.reference'>;
+export type T028 = FhirpathResult<'Observation.referenceRange.low.value'>;
+export type T029 = FhirpathResult<'Observation.interpretation.text'>;
+export type T030 = FhirpathResult<'Observation.effective'>;
+export type T031 = FhirpathResult<'Bundle.entry.fullUrl'>;
+export type T032 = FhirpathResult<'Bundle.type'>;
+export type T033 = FhirpathResult<'Bundle.total'>;
+export type T034 = FhirpathResult<'Bundle.entry.request.method'>;
+export type T035 = FhirpathResult<'Bundle.link.url'>;
+export type T036 = FhirpathResult<'Encounter.status'>;
+export type T037 = FhirpathResult<'Encounter.class.code'>;
+export type T038 = FhirpathResult<'Encounter.period.start'>;
+export type T039 = FhirpathResult<'Encounter.participant.individual.reference'>;
+export type T040 = FhirpathResult<'Encounter.reasonCode.text'>;
+export type T041 = FhirpathResult<'Encounter.location.location.display'>;
+export type T042 = FhirpathResult<'MedicationRequest.status'>;
+export type T043 = FhirpathResult<'MedicationRequest.intent'>;
+export type T044 = FhirpathResult<'MedicationRequest.medication'>;
+export type T045 = FhirpathResult<'MedicationRequest.dosageInstruction.text'>;
+export type T046 = FhirpathResult<'MedicationRequest.dispenseRequest.quantity.value'>;
+export type T047 = FhirpathResult<'MedicationRequest.authoredOn'>;
+export type T048 = FhirpathResult<'MedicationRequest.requester.display'>;
+export type T049 = FhirpathResult<'Condition.clinicalStatus.coding.code'>;
+export type T050 = FhirpathResult<'Condition.severity.text'>;
+export type T051 = FhirpathResult<'Condition.onset'>;
+export type T052 = FhirpathResult<'Condition.recordedDate'>;
+export type T053 = FhirpathResult<'Condition.bodySite.coding.display'>;
+export type T054 = FhirpathResult<'Condition.stage.summary.text'>;
+export type T055 = FhirpathResult<'DiagnosticReport.status'>;
+export type T056 = FhirpathResult<'DiagnosticReport.conclusion'>;
+export type T057 = FhirpathResult<'DiagnosticReport.result.reference'>;
+export type T058 = FhirpathResult<'DiagnosticReport.issued'>;
+export type T059 = FhirpathResult<'DiagnosticReport.category.text'>;
+export type T060 = FhirpathResult<'AllergyIntolerance.clinicalStatus.coding.code'>;
+export type T061 = FhirpathResult<'AllergyIntolerance.criticality'>;
+export type T062 = FhirpathResult<'AllergyIntolerance.reaction.severity'>;
+export type T063 = FhirpathResult<'AllergyIntolerance.reaction.manifestation.text'>;
+export type T064 = FhirpathResult<'AllergyIntolerance.onset'>;
+export type T065 = FhirpathResult<'Immunization.status'>;
+export type T066 = FhirpathResult<'Immunization.vaccineCode.text'>;
+export type T067 = FhirpathResult<'Immunization.occurrence'>;
+export type T068 = FhirpathResult<'Immunization.lotNumber'>;
+export type T069 = FhirpathResult<'Immunization.doseQuantity.value'>;
+export type T070 = FhirpathResult<'Appointment.status'>;
+export type T071 = FhirpathResult<'Appointment.start'>;
+export type T072 = FhirpathResult<'Appointment.end'>;
+export type T073 = FhirpathResult<'Appointment.participant.actor.display'>;
+export type T074 = FhirpathResult<'Appointment.description'>;
+export type T075 = FhirpathResult<'CarePlan.status'>;
+export type T076 = FhirpathResult<'CarePlan.intent'>;
+export type T077 = FhirpathResult<'CarePlan.title'>;
+export type T078 = FhirpathResult<'CarePlan.activity.detail.status'>;
+export type T079 = FhirpathResult<'CarePlan.period.end'>;
+export type T080 = FhirpathResult<'Procedure.status'>;
+export type T081 = FhirpathResult<'Procedure.code.text'>;
+export type T082 = FhirpathResult<'Procedure.performed'>;
+export type T083 = FhirpathResult<'Procedure.outcome.text'>;
+export type T084 = FhirpathResult<'Procedure.performer.actor.display'>;
+export type T085 = FhirpathResult<'Questionnaire.status'>;
+export type T086 = FhirpathResult<'Questionnaire.title'>;
+export type T087 = FhirpathResult<'Questionnaire.item.text'>;
+export type T088 = FhirpathResult<'Questionnaire.item.item.linkId'>;
+export type T089 = FhirpathResult<'Questionnaire.item.type'>;
+export type T090 = FhirpathResult<'QuestionnaireResponse.status'>;
+export type T091 = FhirpathResult<'QuestionnaireResponse.item.answer.value'>;
+export type T092 = FhirpathResult<'QuestionnaireResponse.item.linkId'>;
+export type T093 = FhirpathResult<'QuestionnaireResponse.authored'>;
+export type T094 = FhirpathResult<'ValueSet.status'>;
+export type T095 = FhirpathResult<'ValueSet.url'>;
+export type T096 = FhirpathResult<'ValueSet.expansion.contains.code'>;
+export type T097 = FhirpathResult<'ValueSet.compose.include.system'>;
+export type T098 = FhirpathResult<"Observation.value.ofType(Quantity).toQuantity('kg').value">;
+export type T099 = FhirpathResult<"Observation.value.ofType(Quantity).toQuantity('kg.m/s2').value">;
+export type T100 = FhirpathResult<'Patient.birthDate.toDate()'>;
+export type T101 = FhirpathResult<'Patient.birthDate.convertsToDateTime()'>;
+export type T102 = FhirpathResult<"Patient.name.given.join(', ')">;
+export type T103 = FhirpathResult<'Patient.name.family.first().toChars()'>;
+export type T104 = FhirpathResult<'Patient.name.given.first().toString()'>;
+export type T105 = FhirpathResult<"Patient.name.where(given.first() = 'Peter').family">;
+export type T106 = FhirpathResult<'Patient.name.where(use.exists() and given.exists()).given'>;
+export type T107 = FhirpathResult<"Patient.name.exists(use = 'official')">;
+export type T108 = FhirpathResult<'Patient.name.select(given.first()).count()'>;
+export type T109 = FhirpathResult<"MedicationRequest.dosageInstruction.text.join('; ')">;
+export type T110 = FhirpathResult<'Observation.component.value.ofType(Quantity).value.first().toString()'>;
+export type T111 = FhirpathResult<'Patient.name.family.first().trim()'>;
+export type T112 = FhirpathResult<'Patient.name.given.first().substring(0, 1)'>;
+export type T113 = FhirpathResult<"Patient.name.family.first().replace('mers', 'm')">;
+export type T114 = FhirpathResult<"Patient.name.family.first().matches('^Ch')">;
+export type T115 = FhirpathResult<"Patient.name.given.first().startsWith('Pe')">;
+export type T116 = FhirpathResult<"Patient.name.given.first().indexOf('e')">;
+export type T117 = FhirpathResult<'Patient.name.count().toDecimal().round()'>;
+export type T118 = FhirpathResult<'Patient.name.count().sqrt()'>;
+export type T119 = FhirpathResult<'Patient.name.given.distinct()'>;
+export type T120 = FhirpathResult<'Patient.name.given.skip(1).take(2)'>;
+export type T121 = FhirpathResult<"Patient.name.given.first().split('e')">;
+export type T122 = FhirpathResult<'Patient.name.all(use.exists())'>;
+export type T123 = FhirpathResult<'Patient.name.given | Patient.name.family'>;
+export type T124 = FhirpathResult<'(Patient.name.given | Patient.name.family).first()'>;
+export type T125 = FhirpathResult<'(DiagnosticReport.effective.ofType(dateTime) | DiagnosticReport.issued).first().toString()'>;
+export type T126 = FhirpathResult<'((Patient.name.given | Patient.name.family) | Patient.id).first()'>;
+export type T127 = FhirpathResult<'Patient.name.select((given | family).first())'>;
+export type T128 = FhirpathResult<'MedicationRequest.dosageInstruction.first().route.select(text | coding.display.first()).first()'>;
+export type T129 = FhirpathResult<'%rowIndex.toString()'>;
+export type T130 = FhirpathResult<'(%report.effective.ofType(dateTime) | %report.issued | ServiceRequest.authoredOn | ServiceRequest.occurrence.ofType(dateTime)).first().toString()'>;
+export type T131 = FhirpathResult<'(id | %rowIndex.toString()).first()'>;
+export type T132 = FhirpathResult<"Patient.name.where(family = 'a|b').given">;
+export type T133 = FhirpathResult<'Patient.name.where(a.exists()).given'>;
+export type T134 = FhirpathResult<'Patient.name.select(given.first()).count()'>;
+//# sourceMappingURL=perf-fixture.types.d.ts.map

package/dist/typed/perf-fixture.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"perf-fixture.types.d.ts","sourceRoot":"","sources":["../../src/typed/perf-fixture.types.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAEhD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,oBAAoB,CAAC,CAAA;AACvD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,qBAAqB,CAAC,CAAA;AACxD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,mBAAmB,CAAC,CAAA;AACtD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,gBAAgB,CAAC,CAAA;AACnD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,uBAAuB,CAAC,CAAA;AAC1D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,sBAAsB,CAAC,CAAA;AACzD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,0BAA0B,CAAC,CAAA;AAC7D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,6BAA6B,CAAC,CAAA;AAChE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,4BAA4B,CAAC,CAAA;AAC/D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,uBAAuB,CAAC,CAAA;AAC1D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,sBAAsB,CAAC,CAAA;AACzD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,6CAA6C,CAAC,CAAA;AAChF,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,4BAA4B,CAAC,CAAA;AAC/D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,kBAAkB,CAAC,CAAA;AACrD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,gBAAgB,CAAC,CAAA;AACnD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,mCAAmC,CAAC,CAAA;AACtE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,qCAAqC,CAAC,CAAA;AACxE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,wBAAwB,CAAC,CAAA;AAC3D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,wCAAwC,CAAC,CAAA;AAC3E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,8BAA8B,CAAC,CAAA;AACjE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,oBAAoB,CAAC,CAAA;AACvD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,gCAAgC,CAAC,CAAA;AACnE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,yCAAyC,CAAC,CAAA;AAC5E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,oBAAoB,CAAC,CAAA;AACvD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,kCAAkC,CAAC,CAAA;AACrE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,iCAAiC,CAAC,CAAA;AACpE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,+BAA+B,CAAC,CAAA;AAClE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,sCAAsC,CAAC,CAAA;AACzE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,iCAAiC,CAAC,CAAA;AACpE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,uBAAuB,CAAC,CAAA;AAC1D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,sBAAsB,CAAC,CAAA;AACzD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,aAAa,CAAC,CAAA;AAChD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,cAAc,CAAC,CAAA;AACjD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,6BAA6B,CAAC,CAAA;AAChE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,iBAAiB,CAAC,CAAA;AACpD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,kBAAkB,CAAC,CAAA;AACrD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,sBAAsB,CAAC,CAAA;AACzD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,wBAAwB,CAAC,CAAA;AAC3D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,4CAA4C,CAAC,CAAA;AAC/E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,2BAA2B,CAAC,CAAA;AAC9D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,qCAAqC,CAAC,CAAA;AACxE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,0BAA0B,CAAC,CAAA;AAC7D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,0BAA0B,CAAC,CAAA;AAC7D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,8BAA8B,CAAC,CAAA;AACjE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,0CAA0C,CAAC,CAAA;AAC7E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,kDAAkD,CAAC,CAAA;AACrF,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,8BAA8B,CAAC,CAAA;AACjE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,qCAAqC,CAAC,CAAA;AACxE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,sCAAsC,CAAC,CAAA;AACzE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,yBAAyB,CAAC,CAAA;AAC5D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,iBAAiB,CAAC,CAAA;AACpD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,wBAAwB,CAAC,CAAA;AAC3D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,mCAAmC,CAAC,CAAA;AACtE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,8BAA8B,CAAC,CAAA;AACjE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,yBAAyB,CAAC,CAAA;AAC5D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,6BAA6B,CAAC,CAAA;AAChE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,mCAAmC,CAAC,CAAA;AACtE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,yBAAyB,CAAC,CAAA;AAC5D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,gCAAgC,CAAC,CAAA;AACnE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,+CAA+C,CAAC,CAAA;AAClF,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,gCAAgC,CAAC,CAAA;AACnE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,sCAAsC,CAAC,CAAA;AACzE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,gDAAgD,CAAC,CAAA;AACnF,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,0BAA0B,CAAC,CAAA;AAC7D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,qBAAqB,CAAC,CAAA;AACxD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,+BAA+B,CAAC,CAAA;AAClE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,yBAAyB,CAAC,CAAA;AAC5D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,wBAAwB,CAAC,CAAA;AAC3D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,iCAAiC,CAAC,CAAA;AACpE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,oBAAoB,CAAC,CAAA;AACvD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,mBAAmB,CAAC,CAAA;AACtD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,iBAAiB,CAAC,CAAA;AACpD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,uCAAuC,CAAC,CAAA;AAC1E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,yBAAyB,CAAC,CAAA;AAC5D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,iBAAiB,CAAC,CAAA;AACpD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,iBAAiB,CAAC,CAAA;AACpD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,gBAAgB,CAAC,CAAA;AACnD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,iCAAiC,CAAC,CAAA;AACpE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,qBAAqB,CAAC,CAAA;AACxD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,kBAAkB,CAAC,CAAA;AACrD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,qBAAqB,CAAC,CAAA;AACxD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,qBAAqB,CAAC,CAAA;AACxD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,wBAAwB,CAAC,CAAA;AAC3D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,mCAAmC,CAAC,CAAA;AACtE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,sBAAsB,CAAC,CAAA;AACzD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,qBAAqB,CAAC,CAAA;AACxD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,yBAAyB,CAAC,CAAA;AAC5D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,gCAAgC,CAAC,CAAA;AACnE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,yBAAyB,CAAC,CAAA;AAC5D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,8BAA8B,CAAC,CAAA;AACjE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,yCAAyC,CAAC,CAAA;AAC5E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,mCAAmC,CAAC,CAAA;AACtE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,gCAAgC,CAAC,CAAA;AACnE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,iBAAiB,CAAC,CAAA;AACpD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,cAAc,CAAC,CAAA;AACjD,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,kCAAkC,CAAC,CAAA;AACrE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,iCAAiC,CAAC,CAAA;AACpE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,2DAA2D,CAAC,CAAA;AAC9F,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,gEAAgE,CAAC,CAAA;AACnG,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,4BAA4B,CAAC,CAAA;AAC/D,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,wCAAwC,CAAC,CAAA;AAC3E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,+BAA+B,CAAC,CAAA;AAClE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,uCAAuC,CAAC,CAAA;AAC1E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,uCAAuC,CAAC,CAAA;AAC1E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,oDAAoD,CAAC,CAAA;AACvF,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,2DAA2D,CAAC,CAAA;AAC9F,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,uCAAuC,CAAC,CAAA;AAC1E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,4CAA4C,CAAC,CAAA;AAC/E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,qDAAqD,CAAC,CAAA;AACxF,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,uEAAuE,CAAC,CAAA;AAE1G,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,oCAAoC,CAAC,CAAA;AACvE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,4CAA4C,CAAC,CAAA;AAC/E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,kDAAkD,CAAC,CAAA;AACrF,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,4CAA4C,CAAC,CAAA;AAC/E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,6CAA6C,CAAC,CAAA;AAChF,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,yCAAyC,CAAC,CAAA;AAC5E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,0CAA0C,CAAC,CAAA;AAC7E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,6BAA6B,CAAC,CAAA;AAChE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,+BAA+B,CAAC,CAAA;AAClE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,oCAAoC,CAAC,CAAA;AACvE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,uCAAuC,CAAC,CAAA;AAC1E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,gCAAgC,CAAC,CAAA;AAEnE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,0CAA0C,CAAC,CAAA;AAC7E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,oDAAoD,CAAC,CAAA;AACvF,MAAM,MAAM,IAAI,GACd,cAAc,CAAC,4FAA4F,CAAC,CAAA;AAC9G,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,mEAAmE,CAAC,CAAA;AACtG,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,+CAA+C,CAAC,CAAA;AAClF,MAAM,MAAM,IAAI,GACd,cAAc,CAAC,iGAAiG,CAAC,CAAA;AACnH,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,sBAAsB,CAAC,CAAA;AACzD,MAAM,MAAM,IAAI,GACd,cAAc,CAAC,mJAAmJ,CAAC,CAAA;AACrK,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,qCAAqC,CAAC,CAAA;AACxE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,0CAA0C,CAAC,CAAA;AAC7E,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,sCAAsC,CAAC,CAAA;AACzE,MAAM,MAAM,IAAI,GAAG,cAAc,CAAC,4CAA4C,CAAC,CAAA"}

package/dist/typed/perf-fixture.types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=perf-fixture.types.js.map

package/dist/typed/perf-fixture.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"perf-fixture.types.js","sourceRoot":"","sources":["../../src/typed/perf-fixture.types.ts"],"names":[],"mappings":""}

package/dist/values/collection.d.ts

@@ -0,0 +1,24 @@
+import { type TypedValue } from './typed-value.ts';
+/**
+ * Singleton evaluation of collections, spec §4.5:
+ * 1. one item of the expected type → the item;
+ * 2. one item, expected type Boolean → `true`;
+ * 3. empty → empty (undefined here);
+ * 4. more than one item → error.
+ */
+export declare function singleton(collection: TypedValue[], expectedType?: string): TypedValue | undefined;
+/**
+ * Singleton evaluation coerced to a boolean, applying the implicit-true rule.
+ * Empty returns undefined, which the three-valued logic operators need as an
+ * answer distinct from false. Do not turn it into `false` here; see
+ * `criteriaBoolean`.
+ */
+export declare function booleanSingleton(collection: TypedValue[]): boolean | undefined;
+/**
+ * Returns one criteria Boolean. FHIRPath §4.5 supplies singleton evaluation;
+ * FHIR constraints add that an empty result does not satisfy the criteria, so
+ * empty becomes `false`. Other Boolean functions keep their own item rules.
+ */
+export declare function criteriaBoolean(collection: TypedValue[]): boolean;
+export declare function wrapBoolean(value: boolean | undefined): TypedValue[];
+//# sourceMappingURL=collection.d.ts.map

package/dist/values/collection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection.d.ts","sourceRoot":"","sources":["../../src/values/collection.ts"],"names":[],"mappings":"AACA,OAAO,EAAkB,KAAK,UAAU,EAAiB,MAAM,kBAAkB,CAAA;AAEjF;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,UAAU,EAAE,UAAU,EAAE,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAejG;AASD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,OAAO,GAAG,SAAS,CAG9E;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,OAAO,CAEjE;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,GAAG,UAAU,EAAE,CAEpE"}

package/dist/values/collection.js

@@ -0,0 +1,51 @@
+import { FhirPathRuntimeError } from "../errors.js";
+import { SYSTEM_BOOLEAN, typeLocalName } from "./typed-value.js";
+/**
+ * Singleton evaluation of collections, spec §4.5:
+ * 1. one item of the expected type → the item;
+ * 2. one item, expected type Boolean → `true`;
+ * 3. empty → empty (undefined here);
+ * 4. more than one item → error.
+ */
+export function singleton(collection, expectedType) {
+    if (collection.length === 0) {
+        return undefined;
+    }
+    if (collection.length > 1) {
+        throw new FhirPathRuntimeError(`Expected a collection with at most one item, but found ${collection.length}`);
+    }
+    const item = collection[0];
+    if (expectedType === undefined || matchesExpectedType(item, expectedType)) {
+        return item;
+    }
+    if (expectedType === SYSTEM_BOOLEAN) {
+        return { type: SYSTEM_BOOLEAN, value: true };
+    }
+    throw new FhirPathRuntimeError(`Expected a value of type ${expectedType}, but found ${item.type}`);
+}
+function matchesExpectedType(item, expectedType) {
+    // Case-insensitive on the local name so FHIR primitives (`boolean`) satisfy System types (`Boolean`).
+    return (item.type === expectedType || typeLocalName(item.type).toLowerCase() === typeLocalName(expectedType).toLowerCase());
+}
+/**
+ * Singleton evaluation coerced to a boolean, applying the implicit-true rule.
+ * Empty returns undefined, which the three-valued logic operators need as an
+ * answer distinct from false. Do not turn it into `false` here; see
+ * `criteriaBoolean`.
+ */
+export function booleanSingleton(collection) {
+    const item = singleton(collection, SYSTEM_BOOLEAN);
+    return item === undefined ? undefined : item.value;
+}
+/**
+ * Returns one criteria Boolean. FHIRPath §4.5 supplies singleton evaluation;
+ * FHIR constraints add that an empty result does not satisfy the criteria, so
+ * empty becomes `false`. Other Boolean functions keep their own item rules.
+ */
+export function criteriaBoolean(collection) {
+    return booleanSingleton(collection) ?? false;
+}
+export function wrapBoolean(value) {
+    return value === undefined ? [] : [{ type: SYSTEM_BOOLEAN, value }];
+}
+//# sourceMappingURL=collection.js.map

package/dist/values/collection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection.js","sourceRoot":"","sources":["../../src/values/collection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AACnD,OAAO,EAAE,cAAc,EAAmB,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAEjF;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,UAAwB,EAAE,YAAqB;IACvE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,oBAAoB,CAAC,0DAA0D,UAAU,CAAC,MAAM,EAAE,CAAC,CAAA;IAC/G,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAe,CAAA;IACxC,IAAI,YAAY,KAAK,SAAS,IAAI,mBAAmB,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;QAC1E,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,YAAY,KAAK,cAAc,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;IAC9C,CAAC;IACD,MAAM,IAAI,oBAAoB,CAAC,4BAA4B,YAAY,eAAe,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;AACpG,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAgB,EAAE,YAAoB;IACjE,sGAAsG;IACtG,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,aAAa,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CACnH,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAwB;IACvD,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,EAAE,cAAc,CAAC,CAAA;IAClD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,IAAI,CAAC,KAAiB,CAAA;AACjE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,UAAwB;IACtD,OAAO,gBAAgB,CAAC,UAAU,CAAC,IAAI,KAAK,CAAA;AAC9C,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAA0B;IACpD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAA;AACrE,CAAC"}