fhirpath-ts 0.0.0-bootstrap.0 → 0.2.0

package/src/values/type-compat.ts

@@ -1,6 +1,37 @@
 /** Shared, conservative type compatibility for runtime dispatch and static checks. */
 import type { ModelProvider } from '../model/provider.ts'
-import { FHIR_PRIMITIVE_TO_SYSTEM, typeLocalName } from './typed-value.ts'
+import { FHIR_PRIMITIVE_TO_SYSTEM, OBJECT_TYPE, typeLocalName } from './typed-value.ts'
+
+/** System type names recognized by type specifiers and uppercase root selectors. */
+export const SYSTEM_TYPE_LOCAL_NAMES: ReadonlySet<string> = new Set([
+  'Any',
+  'Boolean',
+  'String',
+  'Integer',
+  'Long',
+  'Decimal',
+  'Date',
+  'DateTime',
+  'Time',
+  'Quantity',
+])
+
+/** The canonical System type for an exact local name. */
+export function resolveSystemTypeName(name: string): string | undefined {
+  return SYSTEM_TYPE_LOCAL_NAMES.has(name) ? `System.${name}` : undefined
+}
+
+/** Runtime root rule: an uppercase name matches an item's own type or a model supertype. */
+export function rootTypeMatches(model: ModelProvider | undefined, itemType: string, name: string): boolean {
+  if (!/^[A-Z]/.test(name)) {
+    return false
+  }
+  if (itemType !== OBJECT_TYPE && typeLocalName(itemType) === name) {
+    return true
+  }
+  const canonical = model?.resolveType(name)
+  return canonical !== undefined && model?.isSubtypeOf(itemType, canonical) === true
+}
 
 /** Behavior families used by the static checks. */
 export type ValueKind = 'Boolean' | 'String' | 'Numeric' | 'Temporal' | 'Quantity' | 'Complex'
@@ -27,6 +58,22 @@ export function valueKindOfTypeName(canonical: string): ValueKind {
   }
 }
 
+/** The behavior kind shared by every known candidate type. */
+export function commonValueKind(types: readonly string[] | undefined): ValueKind | undefined {
+  if (types === undefined || types.length === 0) {
+    return undefined
+  }
+  let found: ValueKind | undefined
+  for (const type of types) {
+    const next = valueKindOfTypeName(type)
+    if (found !== undefined && found !== next) {
+      return undefined
+    }
+    found = next
+  }
+  return found
+}
+
 /**
  * Resolves a focus type through its full name, then its local name. Unknown names
  * return undefined so callers can skip claims the model cannot support.

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

@@ -1,136 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

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

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

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

package/src/typed/perf-fixture.types.ts

@@ -1,143 +0,0 @@
-// tsc-perf fixture: keeps roughly a hundred typed expressions in the normal
-// typecheck run so CI reports higher type-level inference costs.
-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()'>
-// Fixed-return batch 2 (string/boolean/numeric) and identity functions.
-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())'>
-// Union groups, top-level unions, and %var roots.
-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()'>