fhirpath-ts 0.0.0-bootstrap.0 → 0.2.0

package/dist/analyzer/signatures.d.ts

@@ -1,5 +1,5 @@
 import type { ValueKind } from '../values/type-compat.ts';
-interface StaticStateLike {
+export interface StaticStateLike {
     types: string[] | undefined;
     /** True: at most one item. False: may hold several. Undefined: cardinality unknown. */
     single: boolean | undefined;
@@ -25,7 +25,7 @@ export interface InputSpec {
     kind?: ValueKind;
     singleton?: boolean;
     /** Canonical or local model type names ('CodeableConcept', 'System.String'). */
-    types?: string[];
+    types?: readonly string[];
 }
 /**
  * The declared analyzer signature of a host-supplied function (HAPI's
@@ -35,21 +35,46 @@ export interface InputSpec {
  */
 export interface CustomFunctionSignature {
     input?: InputSpec;
-    args?: ValueArgSpec[];
+    args?: readonly ValueArgSpec[];
     result?: {
-        types?: string[];
+        types?: readonly string[];
         single?: boolean;
     };
 }
+/**
+ * Declarative result rules shared by analyzer signatures and the generated
+ * type-level rule table. Keeping these as data prevents the two inference
+ * implementations from acquiring separate handwritten function semantics.
+ */
+export type ResultRule = {
+    kind: 'fixed';
+    types?: readonly string[];
+    single?: boolean;
+} | {
+    kind: 'input';
+} | {
+    kind: 'input-item';
+} | {
+    kind: 'argument';
+    index: number;
+} | {
+    kind: 'union';
+    sources: readonly ('input' | number)[];
+    single: boolean | 'all';
+} | {
+    kind: 'arguments-union';
+} | {
+    kind: 'reference-targets';
+} | {
+    kind: 'unknown';
+};
 export interface FunctionSignature {
     input?: InputSpec;
-    args?: ArgSpec[];
-    /**
-     * Result state from the input state and the analyzed argument states
-     * (undefined for `type-name` positions and missing optional arguments).
-     */
-    result: (input: StaticStateLike, args: readonly (StaticStateLike | undefined)[]) => StaticStateLike;
+    args?: readonly ArgSpec[];
+    result: ResultRule;
 }
+/** Interpret one declarative result rule for the runtime analyzer. */
+export declare function applyResultRule(rule: ResultRule, input: StaticStateLike, args: readonly (StaticStateLike | undefined)[]): StaticStateLike;
 /**
  * The input's candidate types and reference targets at a different cardinality
  * — the composition every selection/projection result goes through, so target
@@ -67,6 +92,1068 @@ export declare function unionStates(states: (StaticStateLike | undefined)[]): St
  * What the analyzer knows about each function. Functions missing here still get
  * arity checks from the runtime registry; their results become unknown.
  */
+declare const FUNCTION_SIGNATURE_DEFINITIONS: {
+    readonly empty: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly exists: {
+        readonly args: readonly ["expression"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly all: {
+        readonly args: readonly ["expression"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly allTrue: {
+        readonly input: {
+            readonly kind: "Boolean";
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly anyTrue: {
+        readonly input: {
+            readonly kind: "Boolean";
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly allFalse: {
+        readonly input: {
+            readonly kind: "Boolean";
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly anyFalse: {
+        readonly input: {
+            readonly kind: "Boolean";
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly count: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly distinct: {
+        readonly result: {
+            readonly kind: "input";
+        };
+    };
+    readonly isDistinct: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly subsetOf: {
+        readonly args: readonly ["any"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly supersetOf: {
+        readonly args: readonly ["any"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly where: {
+        readonly args: readonly ["expression"];
+        readonly result: {
+            readonly kind: "input";
+        };
+    };
+    readonly select: {
+        readonly args: readonly ["expression"];
+        readonly result: {
+            readonly kind: "argument";
+            readonly index: 0;
+        };
+    };
+    readonly repeat: {
+        readonly args: readonly ["expression"];
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly ofType: {
+        readonly args: readonly ["type-name"];
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly is: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly args: readonly ["type-name"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly as: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly args: readonly ["type-name"];
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly single: {
+        readonly result: {
+            readonly kind: "input-item";
+        };
+    };
+    readonly first: {
+        readonly result: {
+            readonly kind: "input-item";
+        };
+    };
+    readonly last: {
+        readonly result: {
+            readonly kind: "input-item";
+        };
+    };
+    readonly tail: {
+        readonly result: {
+            readonly kind: "input";
+        };
+    };
+    readonly skip: {
+        readonly args: readonly ["Numeric"];
+        readonly result: {
+            readonly kind: "input";
+        };
+    };
+    readonly take: {
+        readonly args: readonly ["Numeric"];
+        readonly result: {
+            readonly kind: "input";
+        };
+    };
+    readonly intersect: {
+        readonly args: readonly ["any"];
+        readonly result: {
+            readonly kind: "input";
+        };
+    };
+    readonly exclude: {
+        readonly args: readonly ["any"];
+        readonly result: {
+            readonly kind: "input";
+        };
+    };
+    readonly union: {
+        readonly args: readonly ["any"];
+        readonly result: {
+            readonly kind: "union";
+            readonly sources: readonly ["input", 0];
+            readonly single: false;
+        };
+    };
+    readonly combine: {
+        readonly args: readonly ["any"];
+        readonly result: {
+            readonly kind: "union";
+            readonly sources: readonly ["input", 0];
+            readonly single: false;
+        };
+    };
+    readonly iif: {
+        readonly args: readonly ["condition", "expression", "expression"];
+        readonly result: {
+            readonly kind: "union";
+            readonly sources: readonly [1, 2];
+            readonly single: "all";
+        };
+    };
+    readonly not: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly trace: {
+        readonly args: readonly ["String", "expression"];
+        readonly result: {
+            readonly kind: "input";
+        };
+    };
+    readonly children: {
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly descendants: {
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly resolve: {
+        readonly result: {
+            readonly kind: "reference-targets";
+        };
+    };
+    readonly extension: {
+        readonly args: readonly ["String"];
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly hasValue: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly getValue: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly htmlChecks: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly comparable: {
+        readonly input: {
+            readonly kind: "Quantity";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["Quantity"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly conformsTo: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly length: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly indexOf: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+    };
+    readonly lastIndexOf: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+    };
+    readonly substring: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["Numeric", "Numeric"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: true;
+        };
+    };
+    readonly startsWith: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+    };
+    readonly endsWith: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+    };
+    readonly contains: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+    };
+    readonly upper: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: true;
+        };
+    };
+    readonly lower: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: true;
+        };
+    };
+    readonly replace: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String", "String"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: true;
+        };
+    };
+    readonly matches: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+    };
+    readonly matchesFull: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+    };
+    readonly replaceMatches: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String", "String"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: true;
+        };
+    };
+    readonly toChars: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: false;
+        };
+    };
+    readonly trim: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: true;
+        };
+    };
+    readonly split: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: false;
+        };
+    };
+    readonly join: {
+        readonly input: {
+            readonly kind: "String";
+        };
+        readonly args: readonly ["String"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: true;
+        };
+    };
+    readonly encode: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: true;
+        };
+    };
+    readonly decode: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: true;
+        };
+    };
+    readonly escape: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: true;
+        };
+    };
+    readonly unescape: {
+        readonly input: {
+            readonly kind: "String";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: true;
+        };
+    };
+    readonly abs: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly ceiling: {
+        readonly input: {
+            readonly kind: "Numeric";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly floor: {
+        readonly input: {
+            readonly kind: "Numeric";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly truncate: {
+        readonly input: {
+            readonly kind: "Numeric";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly round: {
+        readonly input: {
+            readonly kind: "Numeric";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["Numeric"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Decimal"];
+            readonly single: true;
+        };
+    };
+    readonly exp: {
+        readonly input: {
+            readonly kind: "Numeric";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Decimal"];
+            readonly single: true;
+        };
+    };
+    readonly ln: {
+        readonly input: {
+            readonly kind: "Numeric";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Decimal"];
+            readonly single: true;
+        };
+    };
+    readonly sqrt: {
+        readonly input: {
+            readonly kind: "Numeric";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Decimal"];
+            readonly single: true;
+        };
+    };
+    readonly log: {
+        readonly input: {
+            readonly kind: "Numeric";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["Numeric"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Decimal"];
+            readonly single: true;
+        };
+    };
+    readonly power: {
+        readonly input: {
+            readonly kind: "Numeric";
+            readonly singleton: true;
+        };
+        readonly args: readonly ["Numeric"];
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly aggregate: {
+        readonly args: readonly ["expression", "any"];
+        readonly result: {
+            readonly kind: "union";
+            readonly sources: readonly [0, 1];
+            readonly single: "all";
+        };
+    };
+    readonly sum: {
+        readonly input: {
+            readonly kind: "Numeric";
+        };
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly min: {
+        readonly input: {
+            readonly kind: "Numeric";
+        };
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly max: {
+        readonly input: {
+            readonly kind: "Numeric";
+        };
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly avg: {
+        readonly input: {
+            readonly kind: "Numeric";
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Decimal"];
+            readonly single: true;
+        };
+    };
+    readonly sort: {
+        readonly args: readonly ["sort-key"];
+        readonly result: {
+            readonly kind: "input";
+        };
+    };
+    readonly toBoolean: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly toInteger: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly toLong: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Long"];
+            readonly single: true;
+        };
+    };
+    readonly toDecimal: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Decimal"];
+            readonly single: true;
+        };
+    };
+    readonly toString: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.String"];
+            readonly single: true;
+        };
+    };
+    readonly toDate: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Date"];
+            readonly single: true;
+        };
+    };
+    readonly toDateTime: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.DateTime"];
+            readonly single: true;
+        };
+    };
+    readonly toTime: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Time"];
+            readonly single: true;
+        };
+    };
+    readonly toQuantity: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Quantity"];
+            readonly single: true;
+        };
+    };
+    readonly convertsToBoolean: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly convertsToInteger: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly convertsToLong: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly convertsToDecimal: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly convertsToString: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly convertsToDate: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly convertsToDateTime: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly convertsToTime: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly convertsToQuantity: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly args: readonly ["String"];
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Boolean"];
+            readonly single: true;
+        };
+    };
+    readonly now: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.DateTime"];
+            readonly single: true;
+        };
+    };
+    readonly today: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Date"];
+            readonly single: true;
+        };
+    };
+    readonly timeOfDay: {
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Time"];
+            readonly single: true;
+        };
+    };
+    readonly yearOf: {
+        readonly input: {
+            readonly kind: "Temporal";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly monthOf: {
+        readonly input: {
+            readonly kind: "Temporal";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly dayOf: {
+        readonly input: {
+            readonly kind: "Temporal";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly hourOf: {
+        readonly input: {
+            readonly kind: "Temporal";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly minuteOf: {
+        readonly input: {
+            readonly kind: "Temporal";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly secondOf: {
+        readonly input: {
+            readonly kind: "Temporal";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly millisecondOf: {
+        readonly input: {
+            readonly kind: "Temporal";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly timezoneOffsetOf: {
+        readonly input: {
+            readonly kind: "Temporal";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Decimal"];
+            readonly single: true;
+        };
+    };
+    readonly dateOf: {
+        readonly input: {
+            readonly kind: "Temporal";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Date"];
+            readonly single: true;
+        };
+    };
+    readonly timeOf: {
+        readonly input: {
+            readonly kind: "Temporal";
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Time"];
+            readonly single: true;
+        };
+    };
+    readonly lowBoundary: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly args: readonly ["Numeric"];
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly highBoundary: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly args: readonly ["Numeric"];
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+    readonly precision: {
+        readonly input: {
+            readonly singleton: true;
+        };
+        readonly result: {
+            readonly kind: "fixed";
+            readonly types: readonly ["System.Integer"];
+            readonly single: true;
+        };
+    };
+    readonly defineVariable: {
+        readonly args: readonly ["String", "expression"];
+        readonly result: {
+            readonly kind: "input";
+        };
+    };
+    readonly coalesce: {
+        readonly args: readonly ["expression"];
+        readonly result: {
+            readonly kind: "arguments-union";
+        };
+    };
+    readonly type: {
+        readonly result: {
+            readonly kind: "unknown";
+        };
+    };
+};
+export type FunctionSignatureName = keyof typeof FUNCTION_SIGNATURE_DEFINITIONS;
 export declare const FUNCTION_SIGNATURES: Readonly<Record<string, FunctionSignature>>;
 export {};
 //# sourceMappingURL=signatures.d.ts.map