pareto 0.76.2 → 0.76.3

package/dist/shorthands/module.d.ts

@@ -0,0 +1,8 @@
+import * as pd from 'exupery-core-data';
+import * as unresolved from "../generated/interface/schemas/module/unresolved";
+import * as unresolved_schema from "../generated/interface/schemas/schema/unresolved";
+import { Raw_Or_Normal_Dictionary } from 'exupery-core-data/dist/shorthands/unresolved';
+export declare const module_: (operations: unresolved.Operations<pd.Source_Location>, schemas: unresolved_schema.Schemas<pd.Source_Location>) => unresolved.Module<pd.Source_Location>;
+export declare const operations: (operations: Raw_Or_Normal_Dictionary<unresolved.Operations.D<pd.Source_Location>>) => unresolved.Operations<pd.Source_Location>;
+export declare const operation: (type_parameters: Raw_Or_Normal_Dictionary<unresolved_schema.Type_Parameters.D<pd.Source_Location>>, context: unresolved.Operations.D.SG.operation.context<pd.Source_Location>, parameters: Raw_Or_Normal_Dictionary<unresolved.Operations.D.SG.operation.parameters.D<pd.Source_Location>>, result: unresolved.Operations.D.SG.operation.result<pd.Source_Location>) => unresolved.Operations.D<pd.Source_Location>;
+export declare const set: (operations: Raw_Or_Normal_Dictionary<unresolved.Operations.D<pd.Source_Location>>) => unresolved.Operations.D<pd.Source_Location>;

package/dist/shorthands/module.js

@@ -0,0 +1,29 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.set = exports.operation = exports.operations = exports.module_ = void 0;
+const unresolved_1 = require("exupery-core-data/dist/shorthands/unresolved");
+const module_ = (operations, schemas) => {
+    return {
+        'operations': operations,
+        'schemas': schemas,
+    };
+};
+exports.module_ = module_;
+const operations = (operations) => {
+    return (0, unresolved_1.wrap_dictionary)(operations);
+};
+exports.operations = operations;
+const operation = (type_parameters, context, parameters, result) => {
+    return (0, unresolved_1.wrap_state_group)(['operation', {
+            'type parameters': (0, unresolved_1.wrap_dictionary)(type_parameters),
+            'context': context,
+            'parameters': (0, unresolved_1.wrap_dictionary)(parameters),
+            'result': result
+        }]);
+};
+exports.operation = operation;
+const set = (operations) => {
+    return (0, unresolved_1.wrap_state_group)(['set', (0, unresolved_1.wrap_dictionary)(operations)]);
+};
+exports.set = set;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibW9kdWxlLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Nob3J0aGFuZHMvbW9kdWxlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7OztBQU1BLDZFQUlxRDtBQUU5QyxNQUFNLE9BQU8sR0FBRyxDQUNuQixVQUFxRCxFQUNyRCxPQUFxRCxFQUNoQixFQUFFO0lBQ3ZDLE9BQU87UUFDSCxZQUFZLEVBQUUsVUFBVTtRQUN4QixTQUFTLEVBQUUsT0FBTztLQUNyQixDQUFBO0FBQ0wsQ0FBQyxDQUFBO0FBUlksUUFBQSxPQUFPLFdBUW5CO0FBR00sTUFBTSxVQUFVLEdBQUcsQ0FDdEIsVUFBaUYsRUFDeEMsRUFBRTtJQUMzQyxPQUFPLElBQUEsNEJBQWUsRUFBQyxVQUFVLENBQUMsQ0FBQTtBQUN0QyxDQUFDLENBQUE7QUFKWSxRQUFBLFVBQVUsY0FJdEI7QUFFTSxNQUFNLFNBQVMsR0FBRyxDQUNyQixlQUFrRyxFQUNsRyxPQUF5RSxFQUN6RSxVQUEyRyxFQUMzRyxNQUF1RSxFQUM1QixFQUFFO0lBQzdDLE9BQU8sSUFBQSw2QkFBZ0IsRUFBQyxDQUFDLFdBQVcsRUFBRTtZQUNsQyxpQkFBaUIsRUFBRSxJQUFBLDRCQUFlLEVBQUMsZUFBZSxDQUFDO1lBQ25ELFNBQVMsRUFBRSxPQUFPO1lBQ2xCLFlBQVksRUFBRSxJQUFBLDRCQUFlLEVBQUMsVUFBVSxDQUFDO1lBQ3pDLFFBQVEsRUFBRSxNQUFNO1NBQ25CLENBQUMsQ0FBQyxDQUFBO0FBQ1AsQ0FBQyxDQUFBO0FBWlksUUFBQSxTQUFTLGFBWXJCO0FBRU0sTUFBTSxHQUFHLEdBQUcsQ0FDZixVQUFpRixFQUN0QyxFQUFFO0lBQzdDLE9BQU8sSUFBQSw2QkFBZ0IsRUFBQyxDQUFDLEtBQUssRUFBRSxJQUFBLDRCQUFlLEVBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQyxDQUFBO0FBQ2pFLENBQUMsQ0FBQTtBQUpZLFFBQUEsR0FBRyxPQUlmIn0=

package/dist/shorthands/schema.d.ts

@@ -0,0 +1,139 @@
+import * as pd from 'exupery-core-data';
+import * as unresolved from "../generated/interface/schemas/schema/unresolved";
+import { Raw_Or_Normal_Dictionary } from 'exupery-core-data/dist/shorthands/unresolved';
+export declare const types: (types: Raw_Or_Normal_Dictionary<unresolved.Types.D<pd.Source_Location>>) => unresolved.Types<pd.Source_Location>;
+export declare const globals: (complexity: "unconstrained" | "constrained", text_types: Raw_Or_Normal_Dictionary<unresolved.Globals.text_types.D<pd.Source_Location>>, number_types: Raw_Or_Normal_Dictionary<unresolved.Globals.number_types.D<pd.Source_Location>>) => unresolved.Globals<pd.Source_Location>;
+export declare const type: (type: unresolved.Type_Node<pd.Source_Location>) => unresolved.Types.D<pd.Source_Location>;
+export declare const text: (type: "single line" | "multi line") => unresolved.Text_Type<pd.Source_Location>;
+export declare namespace n {
+    const integer: (decimal_separator_offset?: number) => unresolved.Number_Type<pd.Source_Location>;
+    const approximation: (significant_digits: number) => unresolved.Number_Type<pd.Source_Location>;
+    const natural: (decimal_separator_offset?: number) => unresolved.Number_Type<pd.Source_Location>;
+    const positive_natural: (decimal_separator_offset?: number) => unresolved.Number_Type<pd.Source_Location>;
+}
+export declare const reference: (type: string) => unresolved.Type_Reference<pd.Source_Location>;
+export declare const part_reference: (type: string, tail: unresolved.Type_Node_Reference.tail.L<pd.Source_Location>[]) => unresolved.Type_Node_Reference<pd.Source_Location>;
+export declare namespace t {
+    const boolean: () => unresolved.Type_Node<pd.Source_Location>;
+    const component: (type: string) => unresolved.Type_Node<pd.Source_Location>;
+    const component_cyclic: (type: string) => unresolved.Type_Node<pd.Source_Location>;
+    const component_external: (imp: string, type: string) => unresolved.Type_Node<pd.Source_Location>;
+    const dictionary: (type: unresolved.Type_Node<pd.Source_Location>, ordered?: "ordered" | "") => unresolved.Type_Node<pd.Source_Location>;
+    const group: (properties: Raw_Or_Normal_Dictionary<unresolved.Type_Node<pd.Source_Location>>) => unresolved.Type_Node<pd.Source_Location>;
+    const identifier_value_pair: (type: unresolved.Type_Node<pd.Source_Location>) => unresolved.Type_Node<pd.Source_Location>;
+    const list: (type: unresolved.Type_Node<pd.Source_Location>) => unresolved.Type_Node<pd.Source_Location>;
+    const nothing: () => unresolved.Type_Node<pd.Source_Location>;
+    const number_global: (name: string) => unresolved.Type_Node<pd.Source_Location>;
+    const number_local: (bt: unresolved.Number_Type<pd.Source_Location>) => unresolved.Type_Node<pd.Source_Location>;
+    const optional: (type: unresolved.Type_Node<pd.Source_Location>) => unresolved.Type_Node<pd.Source_Location>;
+    const reference_derived: (type: string, tail: unresolved.Type_Node_Reference.tail.L<pd.Source_Location>[]) => unresolved.Type_Node<pd.Source_Location>;
+    const reference_derived_external: (imp: string, type: string, tail: unresolved.Type_Node_Reference.tail.L<pd.Source_Location>[]) => unresolved.Type_Node<pd.Source_Location>;
+    const reference: (type: string, tail: unresolved.Type_Node_Reference.tail.L<pd.Source_Location>[], dependency?: "cyclic" | "acyclic") => unresolved.Type_Node<pd.Source_Location>;
+    const reference_stack: (type: string, tail: unresolved.Type_Node_Reference.tail.L<pd.Source_Location>[]) => unresolved.Type_Node<pd.Source_Location>;
+    const reference_external: (imp: string, type: string, tail: unresolved.Type_Node_Reference.tail.L<pd.Source_Location>[], dependency?: "cyclic" | "acyclic") => unresolved.Type_Node<pd.Source_Location>;
+    const state_group: (states: Raw_Or_Normal_Dictionary<unresolved.Type_Node<pd.Source_Location>>) => unresolved.Type_Node<pd.Source_Location>;
+    const text_global: (name: string) => unresolved.Type_Node<pd.Source_Location>;
+    const text_local: (bt: unresolved.Text_Type<pd.Source_Location>) => unresolved.Type_Node<pd.Source_Location>;
+    const type_parameter: (name: string) => unresolved.Type_Node<pd.Source_Location>;
+}
+export declare namespace tr {
+    const d: () => unresolved.Type_Node_Reference.tail.L<pd.Source_Location>;
+    const g: (grp: string) => unresolved.Type_Node_Reference.tail.L<pd.Source_Location>;
+    const s: (state: string) => unresolved.Type_Node_Reference.tail.L<pd.Source_Location>;
+    const o: () => unresolved.Type_Node_Reference.tail.L<pd.Source_Location>;
+}
+export declare const sig_params: (values: Raw_Or_Normal_Dictionary<unresolved.Signature_Parameters.values.D<pd.Source_Location>>, lookups: Raw_Or_Normal_Dictionary<unresolved.Signature_Parameters.lookups.D<pd.Source_Location>>) => unresolved.Signature_Parameters<pd.Source_Location>;
+export declare namespace sig {
+    const local: (values: Raw_Or_Normal_Dictionary<unresolved.Signature_Parameters.values.D<pd.Source_Location>>, lookups: Raw_Or_Normal_Dictionary<unresolved.Signature_Parameters.lookups.D<pd.Source_Location>>) => unresolved.Signatures.D<pd.Source_Location>;
+    const same_as: (name: string) => unresolved.Signatures.D<pd.Source_Location>;
+}
+export declare const value_parameter: (name: string, presence?: "optional" | "required") => unresolved.Signature_Parameters.values.D<pd.Source_Location>;
+export declare const value_parameter_external: (imp: string, type: string, presence?: "optional" | "required") => unresolved.Signature_Parameters.values.D<pd.Source_Location>;
+export declare const lookup_parameter: (name: string, type?: "acyclic" | "cyclic" | "stack", presence?: "optional" | "required") => unresolved.Signature_Parameters.lookups.D<pd.Source_Location>;
+export declare namespace rls {
+    const dictionary: (value_selection: unresolved.Guaranteed_Value_Selection<pd.Source_Location>) => unresolved.Lookup_Selection<pd.Source_Location>;
+    const parameter: (parameter: string) => unresolved.Lookup_Selection<pd.Source_Location>;
+    const not_circular_dependent_siblings: () => unresolved.Lookup_Selection<pd.Source_Location>;
+    const possibly_circular_dependent_siblings: () => unresolved.Lookup_Selection<pd.Source_Location>;
+}
+export declare namespace al {
+    const not_set: () => unresolved.Node_Resolver.SG.component._arguments.O.lookups.O.D<pd.Source_Location>;
+    const empty_stack: () => unresolved.Node_Resolver.SG.component._arguments.O.lookups.O.D<pd.Source_Location>;
+    const stack: (stack: unresolved.Lookup_Selection<pd.Source_Location>, element: unresolved.Lookup_Selection<pd.Source_Location>) => unresolved.Node_Resolver.SG.component._arguments.O.lookups.O.D<pd.Source_Location>;
+    const dictionary: (value_selection: unresolved.Guaranteed_Value_Selection<pd.Source_Location>) => unresolved.Node_Resolver.SG.component._arguments.O.lookups.O.D<pd.Source_Location>;
+    const parameter: (parameter: string) => unresolved.Node_Resolver.SG.component._arguments.O.lookups.O.D<pd.Source_Location>;
+    const not_circular_dependent_siblings: () => unresolved.Node_Resolver.SG.component._arguments.O.lookups.O.D<pd.Source_Location>;
+    const possibly_circular_dependent_siblings: () => unresolved.Node_Resolver.SG.component._arguments.O.lookups.O.D<pd.Source_Location>;
+}
+export declare namespace vst {
+    const component: () => unresolved.Relative_Value_Selection.path.L<pd.Source_Location>;
+    const group: (property: string) => unresolved.Relative_Value_Selection.path.L<pd.Source_Location>;
+    const reference: () => unresolved.Relative_Value_Selection.path.L<pd.Source_Location>;
+}
+export declare namespace ovi {
+    const not_set: () => unresolved.Optional_Value_Initialization<pd.Source_Location>;
+    const set: (value: unresolved.Guaranteed_Value_Selection<pd.Source_Location>) => unresolved.Optional_Value_Initialization<pd.Source_Location>;
+    const selection: (selection: unresolved.Possible_Value_Selection<pd.Source_Location>) => unresolved.Optional_Value_Initialization<pd.Source_Location>;
+}
+export declare namespace pvs {
+    const state_group: (state_group: string, result: unresolved.Type_Reference<pd.Source_Location>) => unresolved.Possible_Value_Selection<pd.Source_Location>;
+    const optional_value: (optional_value: string, result: unresolved.Type_Reference<pd.Source_Location>) => unresolved.Possible_Value_Selection<pd.Source_Location>;
+    const parameter: (parameter: string) => unresolved.Possible_Value_Selection<pd.Source_Location>;
+}
+export declare namespace gvs {
+    namespace constraint {
+        const component: (component: string, constraint: string, tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[]) => unresolved.Guaranteed_Value_Selection<pd.Source_Location>;
+        const reference: (reference: string, constraint: string, tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[]) => unresolved.Guaranteed_Value_Selection<pd.Source_Location>;
+    }
+    const list: (list: string, tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[]) => unresolved.Guaranteed_Value_Selection<pd.Source_Location>;
+    const state_group: (state_group: string, result: unresolved.Type_Reference<pd.Source_Location>, tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[]) => unresolved.Guaranteed_Value_Selection<pd.Source_Location>;
+    const optional_value: (optional_value: string, result: unresolved.Type_Reference<pd.Source_Location>, tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[]) => unresolved.Guaranteed_Value_Selection<pd.Source_Location>;
+    const parameter: (parameter: string, tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[]) => unresolved.Guaranteed_Value_Selection<pd.Source_Location>;
+    const list_cursor: (tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[]) => unresolved.Guaranteed_Value_Selection<pd.Source_Location>;
+    const linked_entry: (tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[]) => unresolved.Guaranteed_Value_Selection<pd.Source_Location>;
+    const sibling: (sibling: string, tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[]) => unresolved.Guaranteed_Value_Selection<pd.Source_Location>;
+    const parent_sibling: (parent_sibling: string, tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[]) => unresolved.Guaranteed_Value_Selection<pd.Source_Location>;
+    const option_constraint: (constraint: string, tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[]) => unresolved.Guaranteed_Value_Selection<pd.Source_Location>;
+}
+export declare namespace av {
+    const parameter: (parameter: string) => unresolved.Node_Resolver.SG.component._arguments.O.values.O.D<pd.Source_Location>;
+    const required: (value: unresolved.Guaranteed_Value_Selection<pd.Source_Location>) => unresolved.Node_Resolver.SG.component._arguments.O.values.O.D<pd.Source_Location>;
+    const optional: (value: unresolved.Optional_Value_Initialization<pd.Source_Location>) => unresolved.Node_Resolver.SG.component._arguments.O.values.O.D<pd.Source_Location>;
+}
+export declare const state: (resolver: unresolved.Node_Resolver<pd.Source_Location>) => unresolved.Node_Resolver.SG.state_group.states.D<pd.Source_Location>;
+export declare const state_constrained: (constraints: Raw_Or_Normal_Dictionary<unresolved.Option_Constraints.D<pd.Source_Location>>, resolver: unresolved.Node_Resolver<pd.Source_Location>) => unresolved.Node_Resolver.SG.state_group.states.D<pd.Source_Location>;
+export declare namespace oc {
+    const state: (value_selection: unresolved.Guaranteed_Value_Selection<pd.Source_Location>, state: string) => unresolved.Option_Constraints.D<pd.Source_Location>;
+    const assert_set: (possibly_optional: unresolved.Possible_Value_Selection<pd.Source_Location>) => unresolved.Option_Constraints.D<pd.Source_Location>;
+}
+export declare namespace pc {
+    const property: (value_selection_tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[], state: string) => unresolved.Property_Constraints.D<pd.Source_Location>;
+    const constraint: (constraint: string, value_selection_tail: unresolved.Relative_Value_Selection.path.L<pd.Source_Location>[], state?: string) => unresolved.Property_Constraints.D<pd.Source_Location>;
+}
+export declare namespace r {
+    const text: () => unresolved.Node_Resolver<pd.Source_Location>;
+    const boolean: () => unresolved.Node_Resolver<pd.Source_Location>;
+    const number: () => unresolved.Node_Resolver<pd.Source_Location>;
+    const component: (type: string, values: null | Raw_Or_Normal_Dictionary<unresolved.Node_Resolver.SG.component._arguments.O.values.O.D<pd.Source_Location>>, lookups: null | Raw_Or_Normal_Dictionary<unresolved.Node_Resolver.SG.component._arguments.O.lookups.O.D<pd.Source_Location>>, constraints?: Raw_Or_Normal_Dictionary<unresolved.Property_Constraints.D<pd.Source_Location>>) => unresolved.Node_Resolver<pd.Source_Location>;
+    const component_external: (imp: string, type: string, values: null | Raw_Or_Normal_Dictionary<unresolved.Node_Resolver.SG.component._arguments.O.values.O.D<pd.Source_Location>>, lookups: null | Raw_Or_Normal_Dictionary<unresolved.Node_Resolver.SG.component._arguments.O.lookups.O.D<pd.Source_Location>>, constraints?: Raw_Or_Normal_Dictionary<unresolved.Property_Constraints.D<pd.Source_Location>>) => unresolved.Node_Resolver<pd.Source_Location>;
+    const dictionary: (resolver: unresolved.Node_Resolver<pd.Source_Location>) => unresolved.Node_Resolver<pd.Source_Location>;
+    const dictionary_linked: (dense: "dense" | "sparse", selection: unresolved.Guaranteed_Value_Selection<pd.Source_Location>, resolver: unresolved.Node_Resolver<pd.Source_Location>) => unresolved.Node_Resolver<pd.Source_Location>;
+    const group: (properties: Raw_Or_Normal_Dictionary<unresolved.Node_Resolver_Group.D.resolver<pd.Source_Location>>) => unresolved.Node_Resolver<pd.Source_Location>;
+    const list: (type_resolver: unresolved.Node_Resolver<pd.Source_Location>) => unresolved.Node_Resolver<pd.Source_Location>;
+    const list_with_result: (type_resolver: unresolved.Node_Resolver<pd.Source_Location>, result: unresolved.Type_Reference<pd.Source_Location>) => unresolved.Node_Resolver<pd.Source_Location>;
+    const nothing: () => unresolved.Node_Resolver<pd.Source_Location>;
+    const optional: (type_resolver: unresolved.Node_Resolver<pd.Source_Location>) => unresolved.Node_Resolver<pd.Source_Location>;
+    const optional_constrained: (constraints: Raw_Or_Normal_Dictionary<unresolved.Option_Constraints.D<pd.Source_Location>>, type_resolver: unresolved.Node_Resolver<pd.Source_Location>) => unresolved.Node_Resolver<pd.Source_Location>;
+    const reference_derived: (value_selection: unresolved.Guaranteed_Value_Selection<pd.Source_Location>) => unresolved.Node_Resolver<pd.Source_Location>;
+    const reference: (lookup_selection: unresolved.Lookup_Selection<pd.Source_Location>, constraints?: Raw_Or_Normal_Dictionary<unresolved.Property_Constraints.D<pd.Source_Location>>) => unresolved.Node_Resolver<pd.Source_Location>;
+    const reference_stack: (lookup_selection: unresolved.Lookup_Selection<pd.Source_Location>, constraints?: Raw_Or_Normal_Dictionary<unresolved.Property_Constraints.D<pd.Source_Location>>) => unresolved.Node_Resolver<pd.Source_Location>;
+    const state_group: (states: Raw_Or_Normal_Dictionary<unresolved.Node_Resolver.SG.state_group.states.D<pd.Source_Location>>) => unresolved.Node_Resolver<pd.Source_Location>;
+}
+export declare const resolver: (type_resolver: unresolved.Node_Resolver<pd.Source_Location>) => unresolved.Resolvers.D<pd.Source_Location>;
+export declare const signatures: (signatures: Raw_Or_Normal_Dictionary<unresolved.Signatures.D<pd.Source_Location>>) => unresolved.Resolve_Logic.signatures<pd.Source_Location>;
+export declare const resolvers: (resolvers: Raw_Or_Normal_Dictionary<unresolved.Resolvers.D<pd.Source_Location>>) => unresolved.Resolvers<pd.Source_Location>;
+export declare const schemas: (schemas: Raw_Or_Normal_Dictionary<unresolved.Schemas.D<pd.Source_Location>>) => unresolved.Schemas<pd.Source_Location>;
+export declare const import_: (up: number, name: string) => unresolved.Imports.D<pd.Source_Location>;
+export declare const constrained: (signatures: unresolved.Resolve_Logic.signatures<pd.Source_Location>, resolvers: unresolved.Resolvers<pd.Source_Location>) => unresolved.Schemas.D.SG.schema.complexity.SG.constrained<pd.Source_Location>;
+export declare const unconstrained: () => unresolved.Schemas.D.SG.schema.complexity.SG.unconstrained<pd.Source_Location>;
+export declare const schema_: (imports: Raw_Or_Normal_Dictionary<unresolved.Imports.D<pd.Source_Location>>, globals: unresolved.Globals<pd.Source_Location>, types: unresolved.Types<pd.Source_Location>, resolve: null | unresolved.Schemas.D.SG.schema.complexity.SG.constrained<pd.Source_Location>) => unresolved.Schemas.D<pd.Source_Location>;