@rsconcept/domain 1.0.0 → 1.1.0

package/dist/rslang/semantic/typification-api.js

@@ -1,320 +1,179 @@
-// src/rslang/semantic/typification.ts
-var TypeID = {
-  anyTypification: 1,
-  integer: 2,
-  basic: 3,
-  tuple: 4,
-  collection: 5,
-  logic: 6,
-  function: 7,
-  predicate: 8
-};
-var TypeClass = {
-  logic: 1,
-  typification: 2,
-  function: 3,
-  predicate: 4
-};
-var LogicT = { typeID: TypeID.logic };
-var IntegerT = {
-  typeID: TypeID.integer,
-  isOrdered: true,
-  isArithmetic: true,
-  isIntegerCompatible: true
-};
-var AnyTypificationT = { typeID: TypeID.anyTypification };
-var EmptySetT = bool(AnyTypificationT);
-function bool(base) {
-  return { typeID: TypeID.collection, base };
-}
-function tuple(factors) {
-  if (factors.length < 2) {
-    throw new Error("Tuple with less than two factors is not allowed");
-  }
-  return { typeID: TypeID.tuple, factors };
-}
-function component(target, index) {
-  return target.factors[index - 1] ?? null;
-}
-function isTypification(type) {
-  return type?.typeID === TypeID.basic || type?.typeID === TypeID.anyTypification || type?.typeID === TypeID.integer || type?.typeID === TypeID.collection || type?.typeID === TypeID.tuple;
-}
-function isRadical(alias) {
-  return alias.length > 0 && alias.startsWith("R") && alias[1] !== "0";
-}
-
-// src/rslang/semantic/typification-api.ts
-var TypeIDToClass = {
-  [TypeID.anyTypification]: TypeClass.typification,
-  [TypeID.integer]: TypeClass.typification,
-  [TypeID.basic]: TypeClass.typification,
-  [TypeID.tuple]: TypeClass.typification,
-  [TypeID.collection]: TypeClass.typification,
-  [TypeID.logic]: TypeClass.logic,
-  [TypeID.function]: TypeClass.function,
-  [TypeID.predicate]: TypeClass.predicate
+import { IntegerT, TypeClass, TypeID, bool, component, isRadical, isTypification, tuple } from "./typification.js";
+//#region src/rslang/semantic/typification-api.ts
+/**
+* Module: Typification API for RSLang.
+*/
+/** Record map from typeID to typeClass. */
+const TypeIDToClass = {
+	[TypeID.anyTypification]: TypeClass.typification,
+	[TypeID.integer]: TypeClass.typification,
+	[TypeID.basic]: TypeClass.typification,
+	[TypeID.tuple]: TypeClass.typification,
+	[TypeID.collection]: TypeClass.typification,
+	[TypeID.logic]: TypeClass.logic,
+	[TypeID.function]: TypeClass.function,
+	[TypeID.predicate]: TypeClass.predicate
 };
+/** Returns the TypeClass associated with the given TypeID. */
 function getTypeClass(typeID) {
-  return TypeIDToClass[typeID];
+	return TypeIDToClass[typeID];
 }
+/** Returns true if the given typification is generic. */
 function hasGenerics(type) {
-  switch (type.typeID) {
-    case TypeID.anyTypification:
-      return true;
-    case TypeID.integer:
-      return false;
-    case TypeID.basic:
-      return isRadical(type.baseID);
-    case TypeID.collection:
-      return hasGenerics(type.base);
-    case TypeID.tuple:
-      for (const factor of type.factors) {
-        if (hasGenerics(factor)) {
-          return true;
-        }
-      }
-      return false;
-  }
-}
+	switch (type.typeID) {
+		case TypeID.anyTypification: return true;
+		case TypeID.integer: return false;
+		case TypeID.basic: return isRadical(type.baseID);
+		case TypeID.collection: return hasGenerics(type.base);
+		case TypeID.tuple:
+			for (const factor of type.factors) if (hasGenerics(factor)) return true;
+			return false;
+	}
+}
+/** Checks if two typifications are equal. */
 function checkEquality(type1, type2) {
-  if (type1 === type2) {
-    return true;
-  }
-  if (type1.typeID !== type2.typeID) {
-    return false;
-  }
-  switch (type1.typeID) {
-    case TypeID.integer:
-    case TypeID.anyTypification:
-      return true;
-    case TypeID.basic:
-      return type1.baseID === type2.baseID;
-    case TypeID.collection:
-      return checkEquality(type1.base, type2.base);
-    case TypeID.tuple: {
-      if (type1.factors.length !== type2.factors.length) {
-        return false;
-      }
-      for (let index = 0; index < type1.factors.length; ++index) {
-        if (!checkEquality(type1.factors[index], type2.factors[index])) {
-          return false;
-        }
-      }
-      return true;
-    }
-  }
-}
+	if (type1 === type2) return true;
+	if (type1.typeID !== type2.typeID) return false;
+	switch (type1.typeID) {
+		case TypeID.integer:
+		case TypeID.anyTypification: return true;
+		case TypeID.basic: return type1.baseID === type2.baseID;
+		case TypeID.collection: return checkEquality(type1.base, type2.base);
+		case TypeID.tuple:
+			if (type1.factors.length !== type2.factors.length) return false;
+			for (let index = 0; index < type1.factors.length; ++index) if (!checkEquality(type1.factors[index], type2.factors[index])) return false;
+			return true;
+	}
+}
+/** Merge two types to get result of binary operation. */
 function mergeTypifications(type1, type2) {
-  if (type1 === type2) {
-    return type1;
-  }
-  if (type1.typeID === TypeID.anyTypification) {
-    return isTypification(type2) ? type2 : null;
-  }
-  if (type2.typeID === TypeID.anyTypification) {
-    return isTypification(type1) ? type1 : null;
-  }
-  switch (type1.typeID) {
-    case TypeID.integer:
-    case TypeID.basic:
-      return commonType(type1, type2);
-    case TypeID.collection:
-      if (type2.typeID !== TypeID.collection) {
-        return null;
-      }
-      const base = mergeTypifications(type1.base, type2.base);
-      return base ? bool(base) : null;
-    case TypeID.tuple:
-      if (type2.typeID !== TypeID.tuple) {
-        return null;
-      }
-      if (type1.factors.length !== type2.factors.length) {
-        return null;
-      }
-      const components = [];
-      for (let index = 0; index < type1.factors.length; ++index) {
-        const component2 = mergeTypifications(type1.factors[index], type2.factors[index]);
-        if (component2 === null) {
-          return null;
-        }
-        components.push(component2);
-      }
-      return tuple(components);
-  }
-}
+	if (type1 === type2) return type1;
+	if (type1.typeID === TypeID.anyTypification) return isTypification(type2) ? type2 : null;
+	if (type2.typeID === TypeID.anyTypification) return isTypification(type1) ? type1 : null;
+	switch (type1.typeID) {
+		case TypeID.integer:
+		case TypeID.basic: return commonType(type1, type2);
+		case TypeID.collection:
+			if (type2.typeID !== TypeID.collection) return null;
+			const base = mergeTypifications(type1.base, type2.base);
+			return base ? bool(base) : null;
+		case TypeID.tuple:
+			if (type2.typeID !== TypeID.tuple) return null;
+			if (type1.factors.length !== type2.factors.length) return null;
+			const components = [];
+			for (let index = 0; index < type1.factors.length; ++index) {
+				const component = mergeTypifications(type1.factors[index], type2.factors[index]);
+				if (component === null) return null;
+				components.push(component);
+			}
+			return tuple(components);
+	}
+}
+/** Check compatibility of typifications. */
 function checkCompatibility(type1, type2) {
-  if (type1 === type2) {
-    return true;
-  }
-  if (type1.typeID === TypeID.anyTypification) {
-    return isTypification(type2);
-  }
-  if (type2.typeID === TypeID.anyTypification) {
-    return isTypification(type1);
-  }
-  if (isTypification(type1) !== isTypification(type2)) {
-    return false;
-  }
-  if (type1.typeID === TypeID.integer || type1.typeID === TypeID.basic || type2.typeID === TypeID.integer || type2.typeID === TypeID.basic) {
-    return commonType(type1, type2) !== null;
-  }
-  if (type1.typeID !== type2.typeID) {
-    return false;
-  }
-  switch (type1.typeID) {
-    case TypeID.collection:
-      return checkCompatibility(type1.base, type2.base);
-    case TypeID.tuple:
-      if (type1.factors.length !== type2.factors.length) {
-        return false;
-      }
-      for (let index = 0; index < type1.factors.length; ++index) {
-        if (!checkCompatibility(type1.factors[index], type2.factors[index])) {
-          return false;
-        }
-      }
-      return true;
-    case TypeID.logic:
-    case TypeID.predicate:
-    case TypeID.function:
-      return false;
-  }
-}
+	if (type1 === type2) return true;
+	if (type1.typeID === TypeID.anyTypification) return isTypification(type2);
+	if (type2.typeID === TypeID.anyTypification) return isTypification(type1);
+	if (isTypification(type1) !== isTypification(type2)) return false;
+	if (type1.typeID === TypeID.integer || type1.typeID === TypeID.basic || type2.typeID === TypeID.integer || type2.typeID === TypeID.basic) return commonType(type1, type2) !== null;
+	if (type1.typeID !== type2.typeID) return false;
+	switch (type1.typeID) {
+		case TypeID.collection: return checkCompatibility(type1.base, type2.base);
+		case TypeID.tuple:
+			if (type1.factors.length !== type2.factors.length) return false;
+			for (let index = 0; index < type1.factors.length; ++index) if (!checkCompatibility(type1.factors[index], type2.factors[index])) return false;
+			return true;
+		case TypeID.logic:
+		case TypeID.predicate:
+		case TypeID.function: return false;
+	}
+}
+/** Compare typification with substitutions. */
 function compareTemplated(substitutes, arg, value) {
-  if (arg === value) {
-    return true;
-  }
-  if (arg.typeID === TypeID.basic && isRadical(arg.baseID)) {
-    if (!substitutes.has(arg.baseID)) {
-      substitutes.set(arg.baseID, value);
-      return true;
-    } else {
-      const mergeType = mergeTypifications(substitutes.get(arg.baseID), value);
-      if (mergeType === null) {
-        return false;
-      }
-      substitutes.set(arg.baseID, mergeType);
-      return true;
-    }
-  }
-  if (value.typeID === TypeID.anyTypification) {
-    return true;
-  }
-  if (arg.typeID === TypeID.integer || arg.typeID === TypeID.basic || value.typeID === TypeID.integer || value.typeID === TypeID.basic) {
-    return commonType(arg, value) !== null;
-  }
-  if (arg.typeID !== value.typeID) {
-    return false;
-  }
-  switch (arg.typeID) {
-    case TypeID.collection:
-      return compareTemplated(substitutes, arg.base, value.base);
-    case TypeID.tuple: {
-      if (arg.factors.length !== value.factors.length) {
-        return false;
-      }
-      for (let index = 0; index < arg.factors.length; ++index) {
-        if (!compareTemplated(substitutes, arg.factors[index], value.factors[index])) {
-          return false;
-        }
-      }
-      return true;
-    }
-  }
-}
+	if (arg === value) return true;
+	if (arg.typeID === TypeID.basic && isRadical(arg.baseID)) if (!substitutes.has(arg.baseID)) {
+		substitutes.set(arg.baseID, value);
+		return true;
+	} else {
+		const mergeType = mergeTypifications(substitutes.get(arg.baseID), value);
+		if (mergeType === null) return false;
+		substitutes.set(arg.baseID, mergeType);
+		return true;
+	}
+	if (value.typeID === TypeID.anyTypification) return true;
+	if (arg.typeID === TypeID.integer || arg.typeID === TypeID.basic || value.typeID === TypeID.integer || value.typeID === TypeID.basic) return commonType(arg, value) !== null;
+	if (arg.typeID !== value.typeID) return false;
+	switch (arg.typeID) {
+		case TypeID.collection: return compareTemplated(substitutes, arg.base, value.base);
+		case TypeID.tuple:
+			if (arg.factors.length !== value.factors.length) return false;
+			for (let index = 0; index < arg.factors.length; ++index) if (!compareTemplated(substitutes, arg.factors[index], value.factors[index])) return false;
+			return true;
+	}
+}
+/** Apply substitutions to typification. */
 function substituteBase(target, substitutes) {
-  switch (target.typeID) {
-    case TypeID.basic: {
-      if (substitutes.has(target.baseID)) {
-        Object.assign(target, substitutes.get(target.baseID));
-      }
-      return;
-    }
-    case TypeID.collection: {
-      substituteBase(target.base, substitutes);
-      return;
-    }
-    case TypeID.tuple: {
-      for (const factor of target.factors) {
-        substituteBase(factor, substitutes);
-      }
-      return;
-    }
-  }
-}
+	switch (target.typeID) {
+		case TypeID.basic:
+			if (substitutes.has(target.baseID)) Object.assign(target, substitutes.get(target.baseID));
+			return;
+		case TypeID.collection:
+			substituteBase(target.base, substitutes);
+			return;
+		case TypeID.tuple:
+			for (const factor of target.factors) substituteBase(factor, substitutes);
+			return;
+	}
+}
+/** Extract bases from typification. */
 function extractBases(target) {
-  return new Set(extractBasesImpl(target));
+	return new Set(extractBasesImpl(target));
 }
+/** Apply type path to typification. */
 function applyPath(target, path, index = 0) {
-  let current = target;
-  let i = index;
-  while (i < path.length && current) {
-    switch (current.typeID) {
-      case TypeID.anyTypification:
-      case TypeID.integer:
-      case TypeID.basic:
-        return null;
-      case TypeID.collection:
-        current = current.base;
-        i++;
-        break;
-      case TypeID.tuple:
-        current = component(current, path[i]);
-        if (current === null) {
-          return null;
-        }
-        i++;
-        break;
-    }
-  }
-  return current;
+	let current = target;
+	let i = index;
+	while (i < path.length && current) switch (current.typeID) {
+		case TypeID.anyTypification:
+		case TypeID.integer:
+		case TypeID.basic: return null;
+		case TypeID.collection:
+			current = current.base;
+			i++;
+			break;
+		case TypeID.tuple:
+			current = component(current, path[i]);
+			if (current === null) return null;
+			i++;
+			break;
+	}
+	return current;
 }
 function commonType(type1, type2) {
-  if (type1 === type2) {
-    return type1;
-  }
-  const int1 = "isIntegerCompatible" in type1 && type1.isIntegerCompatible;
-  const int2 = "isIntegerCompatible" in type2 && type2.isIntegerCompatible;
-  if (!int1 || !int2) {
-    if (type1.typeID === TypeID.basic && type2.typeID === TypeID.basic) {
-      return type1.baseID === type2.baseID ? type1 : null;
-    }
-    return null;
-  }
-  if (type1.typeID === TypeID.integer) {
-    return type2;
-  } else if (type2.typeID === TypeID.integer) {
-    return type1;
-  } else {
-    return IntegerT;
-  }
+	if (type1 === type2) return type1;
+	const int1 = "isIntegerCompatible" in type1 && type1.isIntegerCompatible;
+	const int2 = "isIntegerCompatible" in type2 && type2.isIntegerCompatible;
+	if (!int1 || !int2) {
+		if (type1.typeID === TypeID.basic && type2.typeID === TypeID.basic) return type1.baseID === type2.baseID ? type1 : null;
+		return null;
+	}
+	if (type1.typeID === TypeID.integer) return type2;
+	else if (type2.typeID === TypeID.integer) return type1;
+	else return IntegerT;
 }
 function extractBasesImpl(target) {
-  switch (target.typeID) {
-    case TypeID.basic:
-      return [target.baseID];
-    case TypeID.collection:
-      return extractBasesImpl(target.base);
-    case TypeID.tuple:
-      return target.factors.reduce((result2, factor) => result2.concat(extractBasesImpl(factor)), []);
-    case TypeID.function:
-      const result = extractBasesImpl(target.result);
-      return target.args.reduce((result2, arg) => result2.concat(extractBasesImpl(arg.type)), result);
-    case TypeID.predicate:
-      return target.args.reduce((result2, arg) => result2.concat(extractBasesImpl(arg.type)), []);
-    default:
-      return [];
-  }
-}
-export {
-  applyPath,
-  checkCompatibility,
-  checkEquality,
-  compareTemplated,
-  extractBases,
-  getTypeClass,
-  hasGenerics,
-  mergeTypifications,
-  substituteBase
-};
+	switch (target.typeID) {
+		case TypeID.basic: return [target.baseID];
+		case TypeID.collection: return extractBasesImpl(target.base);
+		case TypeID.tuple: return target.factors.reduce((result, factor) => result.concat(extractBasesImpl(factor)), []);
+		case TypeID.function:
+			const result = extractBasesImpl(target.result);
+			return target.args.reduce((result, arg) => result.concat(extractBasesImpl(arg.type)), result);
+		case TypeID.predicate: return target.args.reduce((result, arg) => result.concat(extractBasesImpl(arg.type)), []);
+		default: return [];
+	}
+}
+//#endregion
+export { applyPath, checkCompatibility, checkEquality, compareTemplated, extractBases, getTypeClass, hasGenerics, mergeTypifications, substituteBase };
+
 //# sourceMappingURL=typification-api.js.map

package/dist/rslang/semantic/typification-api.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../../src/rslang/semantic/typification.ts","../../../src/rslang/semantic/typification-api.ts"],"sourcesContent":["/*\n * Module: Typification for RSLang.\n */\n\nimport { type Branded } from '../../shared';\n\n/** Typification structure enumeration. */\nexport const TypeID = {\n  anyTypification: 1,\n  integer: 2,\n  basic: 3,\n  tuple: 4,\n  collection: 5,\n  logic: 6,\n  function: 7,\n  predicate: 8\n} as const;\nexport type TypeID = (typeof TypeID)[keyof typeof TypeID];\n\n/** Represents type class. */\nexport const TypeClass = {\n  logic: 1,\n  typification: 2,\n  function: 3,\n  predicate: 4\n} as const;\nexport type TypeClass = (typeof TypeClass)[keyof typeof TypeClass];\n\n/** Logic type object. */\nexport const LogicT = { typeID: TypeID.logic } as const;\n\n/** Integer type object. */\nexport const IntegerT = {\n  typeID: TypeID.integer,\n  isOrdered: true,\n  isArithmetic: true,\n  isIntegerCompatible: true\n} as const;\n\n/** Type transformation path. */\nexport type TypePath = Branded<number[], 'TypePath'>;\n\n/** Creates type path. */\nexport function makeTypePath(path: number[]): TypePath {\n  return path as TypePath;\n}\n\n/** AnyTyped type object. */\nexport const AnyTypificationT = { typeID: TypeID.anyTypification } as const;\n\n/** Empty set typification. */\nexport const EmptySetT = bool(AnyTypificationT);\n\n/** Parametrized typification. */\nexport type Parametrized = EchelonFunctional | EchelonPredicate;\n\n/** General expression types. */\nexport type ExpressionType =\n  | EchelonLogic\n  | EchelonBase\n  | EchelonTuple\n  | EchelonCollection\n  | EchelonFunctional\n  | EchelonPredicate\n  | EchelonAnyTyped\n  | EchelonInteger;\n\n/** Setexpr type. */\nexport type Typification = EchelonBase | EchelonAnyTyped | EchelonInteger | EchelonCollection | EchelonTuple;\n\n/** Typification context. */\nexport type TypeContext = Map<string, ExpressionType>;\n\n/** Functional argument. */\nexport interface Argument {\n  readonly alias: string;\n  readonly type: Typification;\n}\n\n/** Type: Logic. */\nexport interface EchelonLogic {\n  readonly typeID: typeof TypeID.logic;\n}\n\n/** Type: AnyTyped. */\nexport interface EchelonAnyTyped {\n  readonly typeID: typeof TypeID.anyTypification;\n}\n\n/** Type: Integer. */\nexport interface EchelonInteger {\n  readonly typeID: typeof TypeID.integer;\n  readonly isOrdered: true;\n  readonly isArithmetic: true;\n  readonly isIntegerCompatible: true;\n}\n\n/** Type: Element of basic set. */\nexport interface EchelonBase {\n  readonly typeID: typeof TypeID.basic;\n  readonly baseID: string;\n  readonly isOrdered?: boolean;\n  readonly isArithmetic?: boolean;\n  readonly isIntegerCompatible?: boolean;\n}\n\n/** Type: Tuple. */\nexport interface EchelonTuple {\n  readonly typeID: typeof TypeID.tuple;\n  readonly factors: readonly Typification[];\n}\n\n/** Type: Collection. */\nexport interface EchelonCollection {\n  readonly typeID: typeof TypeID.collection;\n  readonly base: Typification;\n}\n\n/** Type: Functional. */\nexport interface EchelonFunctional {\n  readonly typeID: typeof TypeID.function;\n  readonly result: Typification;\n  readonly args: readonly Argument[];\n}\n\n/** Type: Predicate. */\nexport interface EchelonPredicate {\n  readonly typeID: typeof TypeID.predicate;\n  readonly result: EchelonLogic;\n  readonly args: readonly Argument[];\n}\n\n/** Create basic element typification. */\nexport function basic(alias: string): EchelonBase {\n  return { typeID: TypeID.basic, baseID: alias };\n}\n\n/** Create constant element typification. */\nexport function constant(alias: string): EchelonBase {\n  return { typeID: TypeID.basic, baseID: alias, isOrdered: true, isArithmetic: true, isIntegerCompatible: true };\n}\n\n/** Create boolean typification. */\nexport function bool(base: Typification): EchelonCollection {\n  return { typeID: TypeID.collection, base };\n}\n\n/** Create tuple typification. */\nexport function tuple(factors: Typification[]): EchelonTuple {\n  if (factors.length < 2) {\n    throw new Error('Tuple with less than two factors is not allowed');\n  }\n  return { typeID: TypeID.tuple, factors };\n}\n\n/** Remove boolean from typification. */\nexport function debool(target: EchelonCollection): Typification {\n  return target.base;\n}\n\n/** Extract component from tuple. */\nexport function component(target: EchelonTuple, index: number): Typification | null {\n  return target.factors[index - 1] ?? null;\n}\n\n/** Checks if given type is typification. */\nexport function isTypification(type: ExpressionType | null): boolean {\n  return (\n    type?.typeID === TypeID.basic ||\n    type?.typeID === TypeID.anyTypification ||\n    type?.typeID === TypeID.integer ||\n    type?.typeID === TypeID.collection ||\n    type?.typeID === TypeID.tuple\n  );\n}\n\n/** Checks if given type is radical. */\nexport function isRadical(alias: string): boolean {\n  return alias.length > 0 && alias.startsWith('R') && alias[1] !== '0';\n}\n","/**\n * Module: Typification API for RSLang.\n */\n\nimport {\n  bool,\n  component,\n  type EchelonBase,\n  type EchelonCollection,\n  type EchelonTuple,\n  type ExpressionType,\n  IntegerT,\n  isRadical,\n  isTypification,\n  tuple,\n  TypeClass,\n  TypeID,\n  type TypePath,\n  type Typification\n} from './typification';\n\n/** Record map from typeID to typeClass. */\nconst TypeIDToClass: Record<TypeID, TypeClass> = {\n  [TypeID.anyTypification]: TypeClass.typification,\n  [TypeID.integer]: TypeClass.typification,\n  [TypeID.basic]: TypeClass.typification,\n  [TypeID.tuple]: TypeClass.typification,\n  [TypeID.collection]: TypeClass.typification,\n  [TypeID.logic]: TypeClass.logic,\n  [TypeID.function]: TypeClass.function,\n  [TypeID.predicate]: TypeClass.predicate\n};\n\n/** Returns the TypeClass associated with the given TypeID. */\nexport function getTypeClass(typeID: TypeID): TypeClass {\n  return TypeIDToClass[typeID];\n}\n\n/** Returns true if the given typification is generic. */\nexport function hasGenerics(type: Typification): boolean {\n  switch (type.typeID) {\n    case TypeID.anyTypification:\n      return true;\n    case TypeID.integer:\n      return false;\n    case TypeID.basic:\n      return isRadical(type.baseID);\n    case TypeID.collection:\n      return hasGenerics(type.base);\n    case TypeID.tuple:\n      for (const factor of type.factors) {\n        if (hasGenerics(factor)) {\n          return true;\n        }\n      }\n      return false;\n  }\n}\n\n/** Checks if two typifications are equal. */\nexport function checkEquality(type1: Typification, type2: Typification): boolean {\n  if (type1 === type2) {\n    return true;\n  }\n  if (type1.typeID !== type2.typeID) {\n    return false;\n  }\n  switch (type1.typeID) {\n    case TypeID.integer:\n    case TypeID.anyTypification:\n      return true;\n    case TypeID.basic:\n      return type1.baseID === (type2 as EchelonBase).baseID;\n    case TypeID.collection:\n      return checkEquality(type1.base, (type2 as EchelonCollection).base);\n    case TypeID.tuple: {\n      if (type1.factors.length !== (type2 as EchelonTuple).factors.length) {\n        return false;\n      }\n      for (let index = 0; index < type1.factors.length; ++index) {\n        if (!checkEquality(type1.factors[index], (type2 as EchelonTuple).factors[index])) {\n          return false;\n        }\n      }\n      return true;\n    }\n  }\n}\n\n/** Merge two types to get result of binary operation. */\nexport function mergeTypifications(type1: Typification, type2: Typification): Typification | null {\n  if (type1 === type2) {\n    return type1;\n  }\n  if (type1.typeID === TypeID.anyTypification) {\n    return isTypification(type2) ? type2 : null;\n  }\n  if (type2.typeID === TypeID.anyTypification) {\n    return isTypification(type1) ? type1 : null;\n  }\n\n  switch (type1.typeID) {\n    case TypeID.integer:\n    case TypeID.basic:\n      return commonType(type1, type2);\n    case TypeID.collection:\n      if (type2.typeID !== TypeID.collection) {\n        return null;\n      }\n      const base = mergeTypifications(type1.base, type2.base);\n      return base ? bool(base) : null;\n    case TypeID.tuple:\n      if (type2.typeID !== TypeID.tuple) {\n        return null;\n      }\n      if (type1.factors.length !== type2.factors.length) {\n        return null;\n      }\n      const components: Typification[] = [];\n      for (let index = 0; index < type1.factors.length; ++index) {\n        const component = mergeTypifications(type1.factors[index], type2.factors[index]);\n        if (component === null) {\n          return null;\n        }\n        components.push(component);\n      }\n      return tuple(components);\n  }\n}\n\n/** Check compatibility of typifications. */\nexport function checkCompatibility(type1: ExpressionType, type2: ExpressionType): boolean {\n  if (type1 === type2) {\n    return true;\n  }\n  if (type1.typeID === TypeID.anyTypification) {\n    return isTypification(type2);\n  }\n  if (type2.typeID === TypeID.anyTypification) {\n    return isTypification(type1);\n  }\n  if (isTypification(type1) !== isTypification(type2)) {\n    return false;\n  }\n  if (\n    type1.typeID === TypeID.integer ||\n    type1.typeID === TypeID.basic ||\n    type2.typeID === TypeID.integer ||\n    type2.typeID === TypeID.basic\n  ) {\n    return commonType(type1 as Typification, type2 as Typification) !== null;\n  }\n\n  if (type1.typeID !== type2.typeID) {\n    return false;\n  }\n  switch (type1.typeID) {\n    case TypeID.collection:\n      return checkCompatibility(type1.base, (type2 as EchelonCollection).base);\n    case TypeID.tuple:\n      if (type1.factors.length !== (type2 as EchelonTuple).factors.length) {\n        return false;\n      }\n      for (let index = 0; index < type1.factors.length; ++index) {\n        if (!checkCompatibility(type1.factors[index], (type2 as EchelonTuple).factors[index])) {\n          return false;\n        }\n      }\n      return true;\n    case TypeID.logic:\n    case TypeID.predicate:\n    case TypeID.function:\n      return false;\n  }\n}\n\n/** Compare typification with substitutions. */\nexport function compareTemplated(\n  substitutes: Map<string, Typification>,\n  arg: Typification,\n  value: Typification\n): boolean {\n  if (arg === value) {\n    return true;\n  }\n  if (arg.typeID === TypeID.basic && isRadical(arg.baseID)) {\n    if (!substitutes.has(arg.baseID)) {\n      substitutes.set(arg.baseID, value);\n      return true;\n    } else {\n      const mergeType = mergeTypifications(substitutes.get(arg.baseID)!, value);\n      if (mergeType === null) {\n        return false;\n      }\n      substitutes.set(arg.baseID, mergeType);\n      return true;\n    }\n  }\n  if (value.typeID === TypeID.anyTypification) {\n    return true;\n  }\n  if (\n    arg.typeID === TypeID.integer ||\n    arg.typeID === TypeID.basic ||\n    value.typeID === TypeID.integer ||\n    value.typeID === TypeID.basic\n  ) {\n    return commonType(arg, value) !== null;\n  }\n  if (arg.typeID !== value.typeID) {\n    return false;\n  }\n  switch (arg.typeID) {\n    case TypeID.collection:\n      return compareTemplated(substitutes, arg.base, (value as EchelonCollection).base);\n    case TypeID.tuple: {\n      if (arg.factors.length !== (value as EchelonTuple).factors.length) {\n        return false;\n      }\n      for (let index = 0; index < arg.factors.length; ++index) {\n        if (!compareTemplated(substitutes, arg.factors[index], (value as EchelonTuple).factors[index])) {\n          return false;\n        }\n      }\n      return true;\n    }\n  }\n}\n\n/** Apply substitutions to typification. */\nexport function substituteBase(target: Typification, substitutes: Map<string, Typification>): void {\n  switch (target.typeID) {\n    case TypeID.basic: {\n      if (substitutes.has(target.baseID)) {\n        Object.assign(target, substitutes.get(target.baseID)!);\n      }\n      return;\n    }\n    case TypeID.collection: {\n      substituteBase(target.base, substitutes);\n      return;\n    }\n    case TypeID.tuple: {\n      for (const factor of target.factors) {\n        substituteBase(factor, substitutes);\n      }\n      return;\n    }\n  }\n}\n\n/** Extract bases from typification. */\nexport function extractBases(target: ExpressionType): Set<string> {\n  return new Set(extractBasesImpl(target));\n}\n\n/** Apply type path to typification. */\nexport function applyPath(target: Typification, path: TypePath, index = 0): Typification | null {\n  let current: Typification | null = target;\n  let i = index;\n  while (i < path.length && current) {\n    switch (current.typeID) {\n      case TypeID.anyTypification:\n      case TypeID.integer:\n      case TypeID.basic:\n        return null;\n      case TypeID.collection:\n        current = current.base;\n        i++;\n        break;\n      case TypeID.tuple:\n        current = component(current, path[i]);\n        if (current === null) {\n          return null;\n        }\n        i++;\n        break;\n    }\n  }\n  return current;\n}\n\n// ===== Internals =====\nfunction commonType(type1: Typification, type2: Typification): Typification | null {\n  if (type1 === type2) {\n    return type1;\n  }\n  const int1 = 'isIntegerCompatible' in type1 && type1.isIntegerCompatible;\n  const int2 = 'isIntegerCompatible' in type2 && type2.isIntegerCompatible;\n  if (!int1 || !int2) {\n    if (type1.typeID === TypeID.basic && type2.typeID === TypeID.basic) {\n      return type1.baseID === type2.baseID ? type1 : null;\n    }\n    return null;\n  }\n  if (type1.typeID === TypeID.integer) {\n    return type2;\n  } else if (type2.typeID === TypeID.integer) {\n    return type1;\n  } else {\n    return IntegerT;\n  }\n}\n\nfunction extractBasesImpl(target: ExpressionType): string[] {\n  switch (target.typeID) {\n    case TypeID.basic:\n      return [target.baseID];\n    case TypeID.collection:\n      return extractBasesImpl(target.base);\n    case TypeID.tuple:\n      return target.factors.reduce((result, factor) => result.concat(extractBasesImpl(factor)), [] as string[]);\n    case TypeID.function:\n      const result = extractBasesImpl(target.result);\n      return target.args.reduce((result, arg) => result.concat(extractBasesImpl(arg.type)), result);\n    case TypeID.predicate:\n      return target.args.reduce((result, arg) => result.concat(extractBasesImpl(arg.type)), [] as string[]);\n    default:\n      return [];\n  }\n}\n"],"mappings":";AAOO,IAAM,SAAS;AAAA,EACpB,iBAAiB;AAAA,EACjB,SAAS;AAAA,EACT,OAAO;AAAA,EACP,OAAO;AAAA,EACP,YAAY;AAAA,EACZ,OAAO;AAAA,EACP,UAAU;AAAA,EACV,WAAW;AACb;AAIO,IAAM,YAAY;AAAA,EACvB,OAAO;AAAA,EACP,cAAc;AAAA,EACd,UAAU;AAAA,EACV,WAAW;AACb;AAIO,IAAM,SAAS,EAAE,QAAQ,OAAO,MAAM;AAGtC,IAAM,WAAW;AAAA,EACtB,QAAQ,OAAO;AAAA,EACf,WAAW;AAAA,EACX,cAAc;AAAA,EACd,qBAAqB;AACvB;AAWO,IAAM,mBAAmB,EAAE,QAAQ,OAAO,gBAAgB;AAG1D,IAAM,YAAY,KAAK,gBAAgB;AA4FvC,SAAS,KAAK,MAAuC;AAC1D,SAAO,EAAE,QAAQ,OAAO,YAAY,KAAK;AAC3C;AAGO,SAAS,MAAM,SAAuC;AAC3D,MAAI,QAAQ,SAAS,GAAG;AACtB,UAAM,IAAI,MAAM,iDAAiD;AAAA,EACnE;AACA,SAAO,EAAE,QAAQ,OAAO,OAAO,QAAQ;AACzC;AAQO,SAAS,UAAU,QAAsB,OAAoC;AAClF,SAAO,OAAO,QAAQ,QAAQ,CAAC,KAAK;AACtC;AAGO,SAAS,eAAe,MAAsC;AACnE,SACE,MAAM,WAAW,OAAO,SACxB,MAAM,WAAW,OAAO,mBACxB,MAAM,WAAW,OAAO,WACxB,MAAM,WAAW,OAAO,cACxB,MAAM,WAAW,OAAO;AAE5B;AAGO,SAAS,UAAU,OAAwB;AAChD,SAAO,MAAM,SAAS,KAAK,MAAM,WAAW,GAAG,KAAK,MAAM,CAAC,MAAM;AACnE;;;AC7JA,IAAM,gBAA2C;AAAA,EAC/C,CAAC,OAAO,eAAe,GAAG,UAAU;AAAA,EACpC,CAAC,OAAO,OAAO,GAAG,UAAU;AAAA,EAC5B,CAAC,OAAO,KAAK,GAAG,UAAU;AAAA,EAC1B,CAAC,OAAO,KAAK,GAAG,UAAU;AAAA,EAC1B,CAAC,OAAO,UAAU,GAAG,UAAU;AAAA,EAC/B,CAAC,OAAO,KAAK,GAAG,UAAU;AAAA,EAC1B,CAAC,OAAO,QAAQ,GAAG,UAAU;AAAA,EAC7B,CAAC,OAAO,SAAS,GAAG,UAAU;AAChC;AAGO,SAAS,aAAa,QAA2B;AACtD,SAAO,cAAc,MAAM;AAC7B;AAGO,SAAS,YAAY,MAA6B;AACvD,UAAQ,KAAK,QAAQ;AAAA,IACnB,KAAK,OAAO;AACV,aAAO;AAAA,IACT,KAAK,OAAO;AACV,aAAO;AAAA,IACT,KAAK,OAAO;AACV,aAAO,UAAU,KAAK,MAAM;AAAA,IAC9B,KAAK,OAAO;AACV,aAAO,YAAY,KAAK,IAAI;AAAA,IAC9B,KAAK,OAAO;AACV,iBAAW,UAAU,KAAK,SAAS;AACjC,YAAI,YAAY,MAAM,GAAG;AACvB,iBAAO;AAAA,QACT;AAAA,MACF;AACA,aAAO;AAAA,EACX;AACF;AAGO,SAAS,cAAc,OAAqB,OAA8B;AAC/E,MAAI,UAAU,OAAO;AACnB,WAAO;AAAA,EACT;AACA,MAAI,MAAM,WAAW,MAAM,QAAQ;AACjC,WAAO;AAAA,EACT;AACA,UAAQ,MAAM,QAAQ;AAAA,IACpB,KAAK,OAAO;AAAA,IACZ,KAAK,OAAO;AACV,aAAO;AAAA,IACT,KAAK,OAAO;AACV,aAAO,MAAM,WAAY,MAAsB;AAAA,IACjD,KAAK,OAAO;AACV,aAAO,cAAc,MAAM,MAAO,MAA4B,IAAI;AAAA,IACpE,KAAK,OAAO,OAAO;AACjB,UAAI,MAAM,QAAQ,WAAY,MAAuB,QAAQ,QAAQ;AACnE,eAAO;AAAA,MACT;AACA,eAAS,QAAQ,GAAG,QAAQ,MAAM,QAAQ,QAAQ,EAAE,OAAO;AACzD,YAAI,CAAC,cAAc,MAAM,QAAQ,KAAK,GAAI,MAAuB,QAAQ,KAAK,CAAC,GAAG;AAChF,iBAAO;AAAA,QACT;AAAA,MACF;AACA,aAAO;AAAA,IACT;AAAA,EACF;AACF;AAGO,SAAS,mBAAmB,OAAqB,OAA0C;AAChG,MAAI,UAAU,OAAO;AACnB,WAAO;AAAA,EACT;AACA,MAAI,MAAM,WAAW,OAAO,iBAAiB;AAC3C,WAAO,eAAe,KAAK,IAAI,QAAQ;AAAA,EACzC;AACA,MAAI,MAAM,WAAW,OAAO,iBAAiB;AAC3C,WAAO,eAAe,KAAK,IAAI,QAAQ;AAAA,EACzC;AAEA,UAAQ,MAAM,QAAQ;AAAA,IACpB,KAAK,OAAO;AAAA,IACZ,KAAK,OAAO;AACV,aAAO,WAAW,OAAO,KAAK;AAAA,IAChC,KAAK,OAAO;AACV,UAAI,MAAM,WAAW,OAAO,YAAY;AACtC,eAAO;AAAA,MACT;AACA,YAAM,OAAO,mBAAmB,MAAM,MAAM,MAAM,IAAI;AACtD,aAAO,OAAO,KAAK,IAAI,IAAI;AAAA,IAC7B,KAAK,OAAO;AACV,UAAI,MAAM,WAAW,OAAO,OAAO;AACjC,eAAO;AAAA,MACT;AACA,UAAI,MAAM,QAAQ,WAAW,MAAM,QAAQ,QAAQ;AACjD,eAAO;AAAA,MACT;AACA,YAAM,aAA6B,CAAC;AACpC,eAAS,QAAQ,GAAG,QAAQ,MAAM,QAAQ,QAAQ,EAAE,OAAO;AACzD,cAAMA,aAAY,mBAAmB,MAAM,QAAQ,KAAK,GAAG,MAAM,QAAQ,KAAK,CAAC;AAC/E,YAAIA,eAAc,MAAM;AACtB,iBAAO;AAAA,QACT;AACA,mBAAW,KAAKA,UAAS;AAAA,MAC3B;AACA,aAAO,MAAM,UAAU;AAAA,EAC3B;AACF;AAGO,SAAS,mBAAmB,OAAuB,OAAgC;AACxF,MAAI,UAAU,OAAO;AACnB,WAAO;AAAA,EACT;AACA,MAAI,MAAM,WAAW,OAAO,iBAAiB;AAC3C,WAAO,eAAe,KAAK;AAAA,EAC7B;AACA,MAAI,MAAM,WAAW,OAAO,iBAAiB;AAC3C,WAAO,eAAe,KAAK;AAAA,EAC7B;AACA,MAAI,eAAe,KAAK,MAAM,eAAe,KAAK,GAAG;AACnD,WAAO;AAAA,EACT;AACA,MACE,MAAM,WAAW,OAAO,WACxB,MAAM,WAAW,OAAO,SACxB,MAAM,WAAW,OAAO,WACxB,MAAM,WAAW,OAAO,OACxB;AACA,WAAO,WAAW,OAAuB,KAAqB,MAAM;AAAA,EACtE;AAEA,MAAI,MAAM,WAAW,MAAM,QAAQ;AACjC,WAAO;AAAA,EACT;AACA,UAAQ,MAAM,QAAQ;AAAA,IACpB,KAAK,OAAO;AACV,aAAO,mBAAmB,MAAM,MAAO,MAA4B,IAAI;AAAA,IACzE,KAAK,OAAO;AACV,UAAI,MAAM,QAAQ,WAAY,MAAuB,QAAQ,QAAQ;AACnE,eAAO;AAAA,MACT;AACA,eAAS,QAAQ,GAAG,QAAQ,MAAM,QAAQ,QAAQ,EAAE,OAAO;AACzD,YAAI,CAAC,mBAAmB,MAAM,QAAQ,KAAK,GAAI,MAAuB,QAAQ,KAAK,CAAC,GAAG;AACrF,iBAAO;AAAA,QACT;AAAA,MACF;AACA,aAAO;AAAA,IACT,KAAK,OAAO;AAAA,IACZ,KAAK,OAAO;AAAA,IACZ,KAAK,OAAO;AACV,aAAO;AAAA,EACX;AACF;AAGO,SAAS,iBACd,aACA,KACA,OACS;AACT,MAAI,QAAQ,OAAO;AACjB,WAAO;AAAA,EACT;AACA,MAAI,IAAI,WAAW,OAAO,SAAS,UAAU,IAAI,MAAM,GAAG;AACxD,QAAI,CAAC,YAAY,IAAI,IAAI,MAAM,GAAG;AAChC,kBAAY,IAAI,IAAI,QAAQ,KAAK;AACjC,aAAO;AAAA,IACT,OAAO;AACL,YAAM,YAAY,mBAAmB,YAAY,IAAI,IAAI,MAAM,GAAI,KAAK;AACxE,UAAI,cAAc,MAAM;AACtB,eAAO;AAAA,MACT;AACA,kBAAY,IAAI,IAAI,QAAQ,SAAS;AACrC,aAAO;AAAA,IACT;AAAA,EACF;AACA,MAAI,MAAM,WAAW,OAAO,iBAAiB;AAC3C,WAAO;AAAA,EACT;AACA,MACE,IAAI,WAAW,OAAO,WACtB,IAAI,WAAW,OAAO,SACtB,MAAM,WAAW,OAAO,WACxB,MAAM,WAAW,OAAO,OACxB;AACA,WAAO,WAAW,KAAK,KAAK,MAAM;AAAA,EACpC;AACA,MAAI,IAAI,WAAW,MAAM,QAAQ;AAC/B,WAAO;AAAA,EACT;AACA,UAAQ,IAAI,QAAQ;AAAA,IAClB,KAAK,OAAO;AACV,aAAO,iBAAiB,aAAa,IAAI,MAAO,MAA4B,IAAI;AAAA,IAClF,KAAK,OAAO,OAAO;AACjB,UAAI,IAAI,QAAQ,WAAY,MAAuB,QAAQ,QAAQ;AACjE,eAAO;AAAA,MACT;AACA,eAAS,QAAQ,GAAG,QAAQ,IAAI,QAAQ,QAAQ,EAAE,OAAO;AACvD,YAAI,CAAC,iBAAiB,aAAa,IAAI,QAAQ,KAAK,GAAI,MAAuB,QAAQ,KAAK,CAAC,GAAG;AAC9F,iBAAO;AAAA,QACT;AAAA,MACF;AACA,aAAO;AAAA,IACT;AAAA,EACF;AACF;AAGO,SAAS,eAAe,QAAsB,aAA8C;AACjG,UAAQ,OAAO,QAAQ;AAAA,IACrB,KAAK,OAAO,OAAO;AACjB,UAAI,YAAY,IAAI,OAAO,MAAM,GAAG;AAClC,eAAO,OAAO,QAAQ,YAAY,IAAI,OAAO,MAAM,CAAE;AAAA,MACvD;AACA;AAAA,IACF;AAAA,IACA,KAAK,OAAO,YAAY;AACtB,qBAAe,OAAO,MAAM,WAAW;AACvC;AAAA,IACF;AAAA,IACA,KAAK,OAAO,OAAO;AACjB,iBAAW,UAAU,OAAO,SAAS;AACnC,uBAAe,QAAQ,WAAW;AAAA,MACpC;AACA;AAAA,IACF;AAAA,EACF;AACF;AAGO,SAAS,aAAa,QAAqC;AAChE,SAAO,IAAI,IAAI,iBAAiB,MAAM,CAAC;AACzC;AAGO,SAAS,UAAU,QAAsB,MAAgB,QAAQ,GAAwB;AAC9F,MAAI,UAA+B;AACnC,MAAI,IAAI;AACR,SAAO,IAAI,KAAK,UAAU,SAAS;AACjC,YAAQ,QAAQ,QAAQ;AAAA,MACtB,KAAK,OAAO;AAAA,MACZ,KAAK,OAAO;AAAA,MACZ,KAAK,OAAO;AACV,eAAO;AAAA,MACT,KAAK,OAAO;AACV,kBAAU,QAAQ;AAClB;AACA;AAAA,MACF,KAAK,OAAO;AACV,kBAAU,UAAU,SAAS,KAAK,CAAC,CAAC;AACpC,YAAI,YAAY,MAAM;AACpB,iBAAO;AAAA,QACT;AACA;AACA;AAAA,IACJ;AAAA,EACF;AACA,SAAO;AACT;AAGA,SAAS,WAAW,OAAqB,OAA0C;AACjF,MAAI,UAAU,OAAO;AACnB,WAAO;AAAA,EACT;AACA,QAAM,OAAO,yBAAyB,SAAS,MAAM;AACrD,QAAM,OAAO,yBAAyB,SAAS,MAAM;AACrD,MAAI,CAAC,QAAQ,CAAC,MAAM;AAClB,QAAI,MAAM,WAAW,OAAO,SAAS,MAAM,WAAW,OAAO,OAAO;AAClE,aAAO,MAAM,WAAW,MAAM,SAAS,QAAQ;AAAA,IACjD;AACA,WAAO;AAAA,EACT;AACA,MAAI,MAAM,WAAW,OAAO,SAAS;AACnC,WAAO;AAAA,EACT,WAAW,MAAM,WAAW,OAAO,SAAS;AAC1C,WAAO;AAAA,EACT,OAAO;AACL,WAAO;AAAA,EACT;AACF;AAEA,SAAS,iBAAiB,QAAkC;AAC1D,UAAQ,OAAO,QAAQ;AAAA,IACrB,KAAK,OAAO;AACV,aAAO,CAAC,OAAO,MAAM;AAAA,IACvB,KAAK,OAAO;AACV,aAAO,iBAAiB,OAAO,IAAI;AAAA,IACrC,KAAK,OAAO;AACV,aAAO,OAAO,QAAQ,OAAO,CAACC,SAAQ,WAAWA,QAAO,OAAO,iBAAiB,MAAM,CAAC,GAAG,CAAC,CAAa;AAAA,IAC1G,KAAK,OAAO;AACV,YAAM,SAAS,iBAAiB,OAAO,MAAM;AAC7C,aAAO,OAAO,KAAK,OAAO,CAACA,SAAQ,QAAQA,QAAO,OAAO,iBAAiB,IAAI,IAAI,CAAC,GAAG,MAAM;AAAA,IAC9F,KAAK,OAAO;AACV,aAAO,OAAO,KAAK,OAAO,CAACA,SAAQ,QAAQA,QAAO,OAAO,iBAAiB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAa;AAAA,IACtG;AACE,aAAO,CAAC;AAAA,EACZ;AACF;","names":["component","result"]}
+{"version":3,"file":"typification-api.js","names":[],"sources":["../../../src/rslang/semantic/typification-api.ts"],"sourcesContent":["/**\n * Module: Typification API for RSLang.\n */\n\nimport {\n  bool,\n  component,\n  type EchelonBase,\n  type EchelonCollection,\n  type EchelonTuple,\n  type ExpressionType,\n  IntegerT,\n  isRadical,\n  isTypification,\n  tuple,\n  TypeClass,\n  TypeID,\n  type TypePath,\n  type Typification\n} from './typification';\n\n/** Record map from typeID to typeClass. */\nconst TypeIDToClass: Record<TypeID, TypeClass> = {\n  [TypeID.anyTypification]: TypeClass.typification,\n  [TypeID.integer]: TypeClass.typification,\n  [TypeID.basic]: TypeClass.typification,\n  [TypeID.tuple]: TypeClass.typification,\n  [TypeID.collection]: TypeClass.typification,\n  [TypeID.logic]: TypeClass.logic,\n  [TypeID.function]: TypeClass.function,\n  [TypeID.predicate]: TypeClass.predicate\n};\n\n/** Returns the TypeClass associated with the given TypeID. */\nexport function getTypeClass(typeID: TypeID): TypeClass {\n  return TypeIDToClass[typeID];\n}\n\n/** Returns true if the given typification is generic. */\nexport function hasGenerics(type: Typification): boolean {\n  switch (type.typeID) {\n    case TypeID.anyTypification:\n      return true;\n    case TypeID.integer:\n      return false;\n    case TypeID.basic:\n      return isRadical(type.baseID);\n    case TypeID.collection:\n      return hasGenerics(type.base);\n    case TypeID.tuple:\n      for (const factor of type.factors) {\n        if (hasGenerics(factor)) {\n          return true;\n        }\n      }\n      return false;\n  }\n}\n\n/** Checks if two typifications are equal. */\nexport function checkEquality(type1: Typification, type2: Typification): boolean {\n  if (type1 === type2) {\n    return true;\n  }\n  if (type1.typeID !== type2.typeID) {\n    return false;\n  }\n  switch (type1.typeID) {\n    case TypeID.integer:\n    case TypeID.anyTypification:\n      return true;\n    case TypeID.basic:\n      return type1.baseID === (type2 as EchelonBase).baseID;\n    case TypeID.collection:\n      return checkEquality(type1.base, (type2 as EchelonCollection).base);\n    case TypeID.tuple: {\n      if (type1.factors.length !== (type2 as EchelonTuple).factors.length) {\n        return false;\n      }\n      for (let index = 0; index < type1.factors.length; ++index) {\n        if (!checkEquality(type1.factors[index], (type2 as EchelonTuple).factors[index])) {\n          return false;\n        }\n      }\n      return true;\n    }\n  }\n}\n\n/** Merge two types to get result of binary operation. */\nexport function mergeTypifications(type1: Typification, type2: Typification): Typification | null {\n  if (type1 === type2) {\n    return type1;\n  }\n  if (type1.typeID === TypeID.anyTypification) {\n    return isTypification(type2) ? type2 : null;\n  }\n  if (type2.typeID === TypeID.anyTypification) {\n    return isTypification(type1) ? type1 : null;\n  }\n\n  switch (type1.typeID) {\n    case TypeID.integer:\n    case TypeID.basic:\n      return commonType(type1, type2);\n    case TypeID.collection:\n      if (type2.typeID !== TypeID.collection) {\n        return null;\n      }\n      const base = mergeTypifications(type1.base, type2.base);\n      return base ? bool(base) : null;\n    case TypeID.tuple:\n      if (type2.typeID !== TypeID.tuple) {\n        return null;\n      }\n      if (type1.factors.length !== type2.factors.length) {\n        return null;\n      }\n      const components: Typification[] = [];\n      for (let index = 0; index < type1.factors.length; ++index) {\n        const component = mergeTypifications(type1.factors[index], type2.factors[index]);\n        if (component === null) {\n          return null;\n        }\n        components.push(component);\n      }\n      return tuple(components);\n  }\n}\n\n/** Check compatibility of typifications. */\nexport function checkCompatibility(type1: ExpressionType, type2: ExpressionType): boolean {\n  if (type1 === type2) {\n    return true;\n  }\n  if (type1.typeID === TypeID.anyTypification) {\n    return isTypification(type2);\n  }\n  if (type2.typeID === TypeID.anyTypification) {\n    return isTypification(type1);\n  }\n  if (isTypification(type1) !== isTypification(type2)) {\n    return false;\n  }\n  if (\n    type1.typeID === TypeID.integer ||\n    type1.typeID === TypeID.basic ||\n    type2.typeID === TypeID.integer ||\n    type2.typeID === TypeID.basic\n  ) {\n    return commonType(type1 as Typification, type2 as Typification) !== null;\n  }\n\n  if (type1.typeID !== type2.typeID) {\n    return false;\n  }\n  switch (type1.typeID) {\n    case TypeID.collection:\n      return checkCompatibility(type1.base, (type2 as EchelonCollection).base);\n    case TypeID.tuple:\n      if (type1.factors.length !== (type2 as EchelonTuple).factors.length) {\n        return false;\n      }\n      for (let index = 0; index < type1.factors.length; ++index) {\n        if (!checkCompatibility(type1.factors[index], (type2 as EchelonTuple).factors[index])) {\n          return false;\n        }\n      }\n      return true;\n    case TypeID.logic:\n    case TypeID.predicate:\n    case TypeID.function:\n      return false;\n  }\n}\n\n/** Compare typification with substitutions. */\nexport function compareTemplated(\n  substitutes: Map<string, Typification>,\n  arg: Typification,\n  value: Typification\n): boolean {\n  if (arg === value) {\n    return true;\n  }\n  if (arg.typeID === TypeID.basic && isRadical(arg.baseID)) {\n    if (!substitutes.has(arg.baseID)) {\n      substitutes.set(arg.baseID, value);\n      return true;\n    } else {\n      const mergeType = mergeTypifications(substitutes.get(arg.baseID)!, value);\n      if (mergeType === null) {\n        return false;\n      }\n      substitutes.set(arg.baseID, mergeType);\n      return true;\n    }\n  }\n  if (value.typeID === TypeID.anyTypification) {\n    return true;\n  }\n  if (\n    arg.typeID === TypeID.integer ||\n    arg.typeID === TypeID.basic ||\n    value.typeID === TypeID.integer ||\n    value.typeID === TypeID.basic\n  ) {\n    return commonType(arg, value) !== null;\n  }\n  if (arg.typeID !== value.typeID) {\n    return false;\n  }\n  switch (arg.typeID) {\n    case TypeID.collection:\n      return compareTemplated(substitutes, arg.base, (value as EchelonCollection).base);\n    case TypeID.tuple: {\n      if (arg.factors.length !== (value as EchelonTuple).factors.length) {\n        return false;\n      }\n      for (let index = 0; index < arg.factors.length; ++index) {\n        if (!compareTemplated(substitutes, arg.factors[index], (value as EchelonTuple).factors[index])) {\n          return false;\n        }\n      }\n      return true;\n    }\n  }\n}\n\n/** Apply substitutions to typification. */\nexport function substituteBase(target: Typification, substitutes: Map<string, Typification>): void {\n  switch (target.typeID) {\n    case TypeID.basic: {\n      if (substitutes.has(target.baseID)) {\n        Object.assign(target, substitutes.get(target.baseID)!);\n      }\n      return;\n    }\n    case TypeID.collection: {\n      substituteBase(target.base, substitutes);\n      return;\n    }\n    case TypeID.tuple: {\n      for (const factor of target.factors) {\n        substituteBase(factor, substitutes);\n      }\n      return;\n    }\n  }\n}\n\n/** Extract bases from typification. */\nexport function extractBases(target: ExpressionType): Set<string> {\n  return new Set(extractBasesImpl(target));\n}\n\n/** Apply type path to typification. */\nexport function applyPath(target: Typification, path: TypePath, index = 0): Typification | null {\n  let current: Typification | null = target;\n  let i = index;\n  while (i < path.length && current) {\n    switch (current.typeID) {\n      case TypeID.anyTypification:\n      case TypeID.integer:\n      case TypeID.basic:\n        return null;\n      case TypeID.collection:\n        current = current.base;\n        i++;\n        break;\n      case TypeID.tuple:\n        current = component(current, path[i]);\n        if (current === null) {\n          return null;\n        }\n        i++;\n        break;\n    }\n  }\n  return current;\n}\n\n// ===== Internals =====\nfunction commonType(type1: Typification, type2: Typification): Typification | null {\n  if (type1 === type2) {\n    return type1;\n  }\n  const int1 = 'isIntegerCompatible' in type1 && type1.isIntegerCompatible;\n  const int2 = 'isIntegerCompatible' in type2 && type2.isIntegerCompatible;\n  if (!int1 || !int2) {\n    if (type1.typeID === TypeID.basic && type2.typeID === TypeID.basic) {\n      return type1.baseID === type2.baseID ? type1 : null;\n    }\n    return null;\n  }\n  if (type1.typeID === TypeID.integer) {\n    return type2;\n  } else if (type2.typeID === TypeID.integer) {\n    return type1;\n  } else {\n    return IntegerT;\n  }\n}\n\nfunction extractBasesImpl(target: ExpressionType): string[] {\n  switch (target.typeID) {\n    case TypeID.basic:\n      return [target.baseID];\n    case TypeID.collection:\n      return extractBasesImpl(target.base);\n    case TypeID.tuple:\n      return target.factors.reduce((result, factor) => result.concat(extractBasesImpl(factor)), [] as string[]);\n    case TypeID.function:\n      const result = extractBasesImpl(target.result);\n      return target.args.reduce((result, arg) => result.concat(extractBasesImpl(arg.type)), result);\n    case TypeID.predicate:\n      return target.args.reduce((result, arg) => result.concat(extractBasesImpl(arg.type)), [] as string[]);\n    default:\n      return [];\n  }\n}\n"],"mappings":";;;;;;AAsBA,MAAM,gBAA2C;EAC9C,OAAO,kBAAkB,UAAU;EACnC,OAAO,UAAU,UAAU;EAC3B,OAAO,QAAQ,UAAU;EACzB,OAAO,QAAQ,UAAU;EACzB,OAAO,aAAa,UAAU;EAC9B,OAAO,QAAQ,UAAU;EACzB,OAAO,WAAW,UAAU;EAC5B,OAAO,YAAY,UAAU;AAChC;;AAGA,SAAgB,aAAa,QAA2B;CACtD,OAAO,cAAc;AACvB;;AAGA,SAAgB,YAAY,MAA6B;CACvD,QAAQ,KAAK,QAAb;EACE,KAAK,OAAO,iBACV,OAAO;EACT,KAAK,OAAO,SACV,OAAO;EACT,KAAK,OAAO,OACV,OAAO,UAAU,KAAK,MAAM;EAC9B,KAAK,OAAO,YACV,OAAO,YAAY,KAAK,IAAI;EAC9B,KAAK,OAAO;GACV,KAAK,MAAM,UAAU,KAAK,SACxB,IAAI,YAAY,MAAM,GACpB,OAAO;GAGX,OAAO;CACX;AACF;;AAGA,SAAgB,cAAc,OAAqB,OAA8B;CAC/E,IAAI,UAAU,OACZ,OAAO;CAET,IAAI,MAAM,WAAW,MAAM,QACzB,OAAO;CAET,QAAQ,MAAM,QAAd;EACE,KAAK,OAAO;EACZ,KAAK,OAAO,iBACV,OAAO;EACT,KAAK,OAAO,OACV,OAAO,MAAM,WAAY,MAAsB;EACjD,KAAK,OAAO,YACV,OAAO,cAAc,MAAM,MAAO,MAA4B,IAAI;EACpE,KAAK,OAAO;GACV,IAAI,MAAM,QAAQ,WAAY,MAAuB,QAAQ,QAC3D,OAAO;GAET,KAAK,IAAI,QAAQ,GAAG,QAAQ,MAAM,QAAQ,QAAQ,EAAE,OAClD,IAAI,CAAC,cAAc,MAAM,QAAQ,QAAS,MAAuB,QAAQ,MAAM,GAC7E,OAAO;GAGX,OAAO;CAEX;AACF;;AAGA,SAAgB,mBAAmB,OAAqB,OAA0C;CAChG,IAAI,UAAU,OACZ,OAAO;CAET,IAAI,MAAM,WAAW,OAAO,iBAC1B,OAAO,eAAe,KAAK,IAAI,QAAQ;CAEzC,IAAI,MAAM,WAAW,OAAO,iBAC1B,OAAO,eAAe,KAAK,IAAI,QAAQ;CAGzC,QAAQ,MAAM,QAAd;EACE,KAAK,OAAO;EACZ,KAAK,OAAO,OACV,OAAO,WAAW,OAAO,KAAK;EAChC,KAAK,OAAO;GACV,IAAI,MAAM,WAAW,OAAO,YAC1B,OAAO;GAET,MAAM,OAAO,mBAAmB,MAAM,MAAM,MAAM,IAAI;GACtD,OAAO,OAAO,KAAK,IAAI,IAAI;EAC7B,KAAK,OAAO;GACV,IAAI,MAAM,WAAW,OAAO,OAC1B,OAAO;GAET,IAAI,MAAM,QAAQ,WAAW,MAAM,QAAQ,QACzC,OAAO;GAET,MAAM,aAA6B,CAAC;GACpC,KAAK,IAAI,QAAQ,GAAG,QAAQ,MAAM,QAAQ,QAAQ,EAAE,OAAO;IACzD,MAAM,YAAY,mBAAmB,MAAM,QAAQ,QAAQ,MAAM,QAAQ,MAAM;IAC/E,IAAI,cAAc,MAChB,OAAO;IAET,WAAW,KAAK,SAAS;GAC3B;GACA,OAAO,MAAM,UAAU;CAC3B;AACF;;AAGA,SAAgB,mBAAmB,OAAuB,OAAgC;CACxF,IAAI,UAAU,OACZ,OAAO;CAET,IAAI,MAAM,WAAW,OAAO,iBAC1B,OAAO,eAAe,KAAK;CAE7B,IAAI,MAAM,WAAW,OAAO,iBAC1B,OAAO,eAAe,KAAK;CAE7B,IAAI,eAAe,KAAK,MAAM,eAAe,KAAK,GAChD,OAAO;CAET,IACE,MAAM,WAAW,OAAO,WACxB,MAAM,WAAW,OAAO,SACxB,MAAM,WAAW,OAAO,WACxB,MAAM,WAAW,OAAO,OAExB,OAAO,WAAW,OAAuB,KAAqB,MAAM;CAGtE,IAAI,MAAM,WAAW,MAAM,QACzB,OAAO;CAET,QAAQ,MAAM,QAAd;EACE,KAAK,OAAO,YACV,OAAO,mBAAmB,MAAM,MAAO,MAA4B,IAAI;EACzE,KAAK,OAAO;GACV,IAAI,MAAM,QAAQ,WAAY,MAAuB,QAAQ,QAC3D,OAAO;GAET,KAAK,IAAI,QAAQ,GAAG,QAAQ,MAAM,QAAQ,QAAQ,EAAE,OAClD,IAAI,CAAC,mBAAmB,MAAM,QAAQ,QAAS,MAAuB,QAAQ,MAAM,GAClF,OAAO;GAGX,OAAO;EACT,KAAK,OAAO;EACZ,KAAK,OAAO;EACZ,KAAK,OAAO,UACV,OAAO;CACX;AACF;;AAGA,SAAgB,iBACd,aACA,KACA,OACS;CACT,IAAI,QAAQ,OACV,OAAO;CAET,IAAI,IAAI,WAAW,OAAO,SAAS,UAAU,IAAI,MAAM,GACrD,IAAI,CAAC,YAAY,IAAI,IAAI,MAAM,GAAG;EAChC,YAAY,IAAI,IAAI,QAAQ,KAAK;EACjC,OAAO;CACT,OAAO;EACL,MAAM,YAAY,mBAAmB,YAAY,IAAI,IAAI,MAAM,GAAI,KAAK;EACxE,IAAI,cAAc,MAChB,OAAO;EAET,YAAY,IAAI,IAAI,QAAQ,SAAS;EACrC,OAAO;CACT;CAEF,IAAI,MAAM,WAAW,OAAO,iBAC1B,OAAO;CAET,IACE,IAAI,WAAW,OAAO,WACtB,IAAI,WAAW,OAAO,SACtB,MAAM,WAAW,OAAO,WACxB,MAAM,WAAW,OAAO,OAExB,OAAO,WAAW,KAAK,KAAK,MAAM;CAEpC,IAAI,IAAI,WAAW,MAAM,QACvB,OAAO;CAET,QAAQ,IAAI,QAAZ;EACE,KAAK,OAAO,YACV,OAAO,iBAAiB,aAAa,IAAI,MAAO,MAA4B,IAAI;EAClF,KAAK,OAAO;GACV,IAAI,IAAI,QAAQ,WAAY,MAAuB,QAAQ,QACzD,OAAO;GAET,KAAK,IAAI,QAAQ,GAAG,QAAQ,IAAI,QAAQ,QAAQ,EAAE,OAChD,IAAI,CAAC,iBAAiB,aAAa,IAAI,QAAQ,QAAS,MAAuB,QAAQ,MAAM,GAC3F,OAAO;GAGX,OAAO;CAEX;AACF;;AAGA,SAAgB,eAAe,QAAsB,aAA8C;CACjG,QAAQ,OAAO,QAAf;EACE,KAAK,OAAO;GACV,IAAI,YAAY,IAAI,OAAO,MAAM,GAC/B,OAAO,OAAO,QAAQ,YAAY,IAAI,OAAO,MAAM,CAAE;GAEvD;EAEF,KAAK,OAAO;GACV,eAAe,OAAO,MAAM,WAAW;GACvC;EAEF,KAAK,OAAO;GACV,KAAK,MAAM,UAAU,OAAO,SAC1B,eAAe,QAAQ,WAAW;GAEpC;CAEJ;AACF;;AAGA,SAAgB,aAAa,QAAqC;CAChE,OAAO,IAAI,IAAI,iBAAiB,MAAM,CAAC;AACzC;;AAGA,SAAgB,UAAU,QAAsB,MAAgB,QAAQ,GAAwB;CAC9F,IAAI,UAA+B;CACnC,IAAI,IAAI;CACR,OAAO,IAAI,KAAK,UAAU,SACxB,QAAQ,QAAQ,QAAhB;EACE,KAAK,OAAO;EACZ,KAAK,OAAO;EACZ,KAAK,OAAO,OACV,OAAO;EACT,KAAK,OAAO;GACV,UAAU,QAAQ;GAClB;GACA;EACF,KAAK,OAAO;GACV,UAAU,UAAU,SAAS,KAAK,EAAE;GACpC,IAAI,YAAY,MACd,OAAO;GAET;GACA;CACJ;CAEF,OAAO;AACT;AAGA,SAAS,WAAW,OAAqB,OAA0C;CACjF,IAAI,UAAU,OACZ,OAAO;CAET,MAAM,OAAO,yBAAyB,SAAS,MAAM;CACrD,MAAM,OAAO,yBAAyB,SAAS,MAAM;CACrD,IAAI,CAAC,QAAQ,CAAC,MAAM;EAClB,IAAI,MAAM,WAAW,OAAO,SAAS,MAAM,WAAW,OAAO,OAC3D,OAAO,MAAM,WAAW,MAAM,SAAS,QAAQ;EAEjD,OAAO;CACT;CACA,IAAI,MAAM,WAAW,OAAO,SAC1B,OAAO;MACF,IAAI,MAAM,WAAW,OAAO,SACjC,OAAO;MAEP,OAAO;AAEX;AAEA,SAAS,iBAAiB,QAAkC;CAC1D,QAAQ,OAAO,QAAf;EACE,KAAK,OAAO,OACV,OAAO,CAAC,OAAO,MAAM;EACvB,KAAK,OAAO,YACV,OAAO,iBAAiB,OAAO,IAAI;EACrC,KAAK,OAAO,OACV,OAAO,OAAO,QAAQ,QAAQ,QAAQ,WAAW,OAAO,OAAO,iBAAiB,MAAM,CAAC,GAAG,CAAC,CAAa;EAC1G,KAAK,OAAO;GACV,MAAM,SAAS,iBAAiB,OAAO,MAAM;GAC7C,OAAO,OAAO,KAAK,QAAQ,QAAQ,QAAQ,OAAO,OAAO,iBAAiB,IAAI,IAAI,CAAC,GAAG,MAAM;EAC9F,KAAK,OAAO,WACV,OAAO,OAAO,KAAK,QAAQ,QAAQ,QAAQ,OAAO,OAAO,iBAAiB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAa;EACtG,SACE,OAAO,CAAC;CACZ;AACF"}

package/dist/rslang/semantic/typification-parser.d.ts

@@ -1,12 +1,2 @@
-import { ExpressionType } from './typification.js';
-import '../../shared/branded.js';
-
-interface TypificationParseResult {
-    type: ExpressionType | null;
-    error: string | null;
-}
-declare function parseTypeText(input: string): TypificationParseResult;
-/** ASCII substitutions while editing typification text */
-declare function applyAsciiTypeSubstitutions(raw: string): string;
-
-export { type TypificationParseResult, applyAsciiTypeSubstitutions, parseTypeText };
+import { n as applyAsciiTypeSubstitutions, r as parseTypeText, t as TypificationParseResult } from "../../typification-parser-BBVx1RxP.js";
+export { TypificationParseResult, applyAsciiTypeSubstitutions, parseTypeText };