@rsconcept/domain 1.0.0 → 1.1.0

package/dist/rslang/semantic/typification.js

@@ -1,74 +1,88 @@
-// src/rslang/semantic/typification.ts
-var TypeID = {
-  anyTypification: 1,
-  integer: 2,
-  basic: 3,
-  tuple: 4,
-  collection: 5,
-  logic: 6,
-  function: 7,
-  predicate: 8
+//#region src/rslang/semantic/typification.ts
+/** Typification structure enumeration. */
+const 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
+/** Represents type class. */
+const 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
+/** Logic type object. */
+const LogicT = { typeID: TypeID.logic };
+/** Integer type object. */
+const IntegerT = {
+	typeID: TypeID.integer,
+	isOrdered: true,
+	isArithmetic: true,
+	isIntegerCompatible: true
 };
+/** Creates type path. */
 function makeTypePath(path) {
-  return path;
+	return path;
 }
-var AnyTypificationT = { typeID: TypeID.anyTypification };
-var EmptySetT = bool(AnyTypificationT);
+/** AnyTyped type object. */
+const AnyTypificationT = { typeID: TypeID.anyTypification };
+/** Empty set typification. */
+const EmptySetT = bool(AnyTypificationT);
+/** Create basic element typification. */
 function basic(alias) {
-  return { typeID: TypeID.basic, baseID: alias };
+	return {
+		typeID: TypeID.basic,
+		baseID: alias
+	};
 }
+/** Create constant element typification. */
 function constant(alias) {
-  return { typeID: TypeID.basic, baseID: alias, isOrdered: true, isArithmetic: true, isIntegerCompatible: true };
+	return {
+		typeID: TypeID.basic,
+		baseID: alias,
+		isOrdered: true,
+		isArithmetic: true,
+		isIntegerCompatible: true
+	};
 }
+/** Create boolean typification. */
 function bool(base) {
-  return { typeID: TypeID.collection, base };
+	return {
+		typeID: TypeID.collection,
+		base
+	};
 }
+/** Create tuple typification. */
 function tuple(factors) {
-  if (factors.length < 2) {
-    throw new Error("Tuple with less than two factors is not allowed");
-  }
-  return { typeID: TypeID.tuple, factors };
+	if (factors.length < 2) throw new Error("Tuple with less than two factors is not allowed");
+	return {
+		typeID: TypeID.tuple,
+		factors
+	};
 }
+/** Remove boolean from typification. */
 function debool(target) {
-  return target.base;
+	return target.base;
 }
+/** Extract component from tuple. */
 function component(target, index) {
-  return target.factors[index - 1] ?? null;
+	return target.factors[index - 1] ?? null;
 }
+/** Checks if given type is typification. */
 function isTypification(type) {
-  return type?.typeID === TypeID.basic || type?.typeID === TypeID.anyTypification || type?.typeID === TypeID.integer || type?.typeID === TypeID.collection || type?.typeID === TypeID.tuple;
+	return type?.typeID === TypeID.basic || type?.typeID === TypeID.anyTypification || type?.typeID === TypeID.integer || type?.typeID === TypeID.collection || type?.typeID === TypeID.tuple;
 }
+/** Checks if given type is radical. */
 function isRadical(alias) {
-  return alias.length > 0 && alias.startsWith("R") && alias[1] !== "0";
+	return alias.length > 0 && alias.startsWith("R") && alias[1] !== "0";
 }
-export {
-  AnyTypificationT,
-  EmptySetT,
-  IntegerT,
-  LogicT,
-  TypeClass,
-  TypeID,
-  basic,
-  bool,
-  component,
-  constant,
-  debool,
-  isRadical,
-  isTypification,
-  makeTypePath,
-  tuple
-};
+//#endregion
+export { AnyTypificationT, EmptySetT, IntegerT, LogicT, TypeClass, TypeID, basic, bool, component, constant, debool, isRadical, isTypification, makeTypePath, tuple };
+
 //# sourceMappingURL=typification.js.map

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

@@ -1 +1 @@
-{"version":3,"sources":["../../../src/rslang/semantic/typification.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"],"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;AAMO,SAAS,aAAa,MAA0B;AACrD,SAAO;AACT;AAGO,IAAM,mBAAmB,EAAE,QAAQ,OAAO,gBAAgB;AAG1D,IAAM,YAAY,KAAK,gBAAgB;AAkFvC,SAAS,MAAM,OAA4B;AAChD,SAAO,EAAE,QAAQ,OAAO,OAAO,QAAQ,MAAM;AAC/C;AAGO,SAAS,SAAS,OAA4B;AACnD,SAAO,EAAE,QAAQ,OAAO,OAAO,QAAQ,OAAO,WAAW,MAAM,cAAc,MAAM,qBAAqB,KAAK;AAC/G;AAGO,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;AAGO,SAAS,OAAO,QAAyC;AAC9D,SAAO,OAAO;AAChB;AAGO,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;","names":[]}
+{"version":3,"file":"typification.js","names":[],"sources":["../../../src/rslang/semantic/typification.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"],"mappings":";;AAOA,MAAa,SAAS;CACpB,iBAAiB;CACjB,SAAS;CACT,OAAO;CACP,OAAO;CACP,YAAY;CACZ,OAAO;CACP,UAAU;CACV,WAAW;AACb;;AAIA,MAAa,YAAY;CACvB,OAAO;CACP,cAAc;CACd,UAAU;CACV,WAAW;AACb;;AAIA,MAAa,SAAS,EAAE,QAAQ,OAAO,MAAM;;AAG7C,MAAa,WAAW;CACtB,QAAQ,OAAO;CACf,WAAW;CACX,cAAc;CACd,qBAAqB;AACvB;;AAMA,SAAgB,aAAa,MAA0B;CACrD,OAAO;AACT;;AAGA,MAAa,mBAAmB,EAAE,QAAQ,OAAO,gBAAgB;;AAGjE,MAAa,YAAY,KAAK,gBAAgB;;AAkF9C,SAAgB,MAAM,OAA4B;CAChD,OAAO;EAAE,QAAQ,OAAO;EAAO,QAAQ;CAAM;AAC/C;;AAGA,SAAgB,SAAS,OAA4B;CACnD,OAAO;EAAE,QAAQ,OAAO;EAAO,QAAQ;EAAO,WAAW;EAAM,cAAc;EAAM,qBAAqB;CAAK;AAC/G;;AAGA,SAAgB,KAAK,MAAuC;CAC1D,OAAO;EAAE,QAAQ,OAAO;EAAY;CAAK;AAC3C;;AAGA,SAAgB,MAAM,SAAuC;CAC3D,IAAI,QAAQ,SAAS,GACnB,MAAM,IAAI,MAAM,iDAAiD;CAEnE,OAAO;EAAE,QAAQ,OAAO;EAAO;CAAQ;AACzC;;AAGA,SAAgB,OAAO,QAAyC;CAC9D,OAAO,OAAO;AAChB;;AAGA,SAAgB,UAAU,QAAsB,OAAoC;CAClF,OAAO,OAAO,QAAQ,QAAQ,MAAM;AACtC;;AAGA,SAAgB,eAAe,MAAsC;CACnE,OACE,MAAM,WAAW,OAAO,SACxB,MAAM,WAAW,OAAO,mBACxB,MAAM,WAAW,OAAO,WACxB,MAAM,WAAW,OAAO,cACxB,MAAM,WAAW,OAAO;AAE5B;;AAGA,SAAgB,UAAU,OAAwB;CAChD,OAAO,MAAM,SAAS,KAAK,MAAM,WAAW,GAAG,KAAK,MAAM,OAAO;AACnE"}

package/dist/rslang/semantic/value-auditor.d.ts

@@ -1,43 +1,37 @@
-import { AstNode } from '../../parsing/ast.js';
-import { ErrorReporter } from '../error.js';
-import { ValueClassContext, ValueClass } from './value-class.js';
-import '@lezer/common';
-
-/**
- * Module: Value auditor for AST value class checking.
- *
- * Determines whether an expression yields a concrete value (computable)
- * or a property (e.g., depends on a quantified variable).
- */
+import { t as AstNode } from "../../ast-C8sIpKdL.js";
+import { t as ErrorReporter } from "../../error-E1LVq_3w.js";
+import { n as ValueClassContext, t as ValueClass } from "../../value-class-CNI-lqXJ.js";
 
+//#region src/rslang/semantic/value-auditor.d.ts
 /** Value auditor for AST value class checking. */
 declare class ValueAuditor {
-    private context;
-    private annotateErrors;
-    private reporter?;
-    constructor(context: ValueClassContext);
-    /**
-     * Runs value audit on the AST. Returns the value class on success, null on failure.
-     */
-    run(ast: AstNode, reporter?: ErrorReporter, annotateErrors?: boolean): ValueClass | null;
-    private dispatchVisit;
-    private onError;
-    private visitChild;
-    private visitAllAndReturn;
-    private assertChildIsValue;
-    private assertAllValues;
-    private visitFunctionDefinition;
-    private visitFunctionCall;
-    private visitGlobal;
-    private visitQuantifier;
-    private visitSetexprPredicate;
-    private visitDeclarative;
-    private visitImperative;
-    private visitIterateOrAssign;
-    private visitDecart;
-    private visitBoolean;
-    private visitFilter;
-    private visitSetexprBinary;
+  private context;
+  private annotateErrors;
+  private reporter?;
+  constructor(context: ValueClassContext);
+  /**
+   * Runs value audit on the AST. Returns the value class on success, null on failure.
+   */
+  run(ast: AstNode, reporter?: ErrorReporter, annotateErrors?: boolean): ValueClass | null;
+  private dispatchVisit;
+  private onError;
+  private visitChild;
+  private visitAllAndReturn;
+  private assertChildIsValue;
+  private assertAllValues;
+  private visitFunctionDefinition;
+  private visitFunctionCall;
+  private visitGlobal;
+  private visitQuantifier;
+  private visitSetexprPredicate;
+  private visitDeclarative;
+  private visitImperative;
+  private visitIterateOrAssign;
+  private visitDecart;
+  private visitBoolean;
+  private visitFilter;
+  private visitSetexprBinary;
 }
-
+//#endregion
 export { ValueAuditor };
+//# sourceMappingURL=value-auditor.d.ts.map