pareto 0.57.0 → 0.58.0

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/tostring/api.data.ts

@@ -1,11 +1,11 @@
 import * as pd from 'pareto-core-data'
 
-import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 
-import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
 
 import { $ as glos } from "./glossary.data"
-import { glossary, member, type, group, string, optional, number } from 'pareto/auto.dist/public/shorthands/cosmos'
+import { glossary, member, type, group, string, optional, number } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 export const $: g_project.D.API = api(
     glos,
     {

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/tostring/glossary.data.ts

@@ -5,9 +5,9 @@ import {
     parametrizedType,
     ref,
     typeParameter
-} from "pareto/auto.dist/public/shorthands/cosmos"
+} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 
-import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
 const d = pd.d
 
 export const $: g_glossary.D.Glossary = {

package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.alan.data.ts

@@ -0,0 +1,441 @@
+import * as pd from 'pareto-core-data'
+
+import * as g_cosmos from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+
+const d = pd.d
+const a = pd.a
+
+export const $: g_cosmos.D.Glossary = {
+    'imports': d({}),
+    'glossary parameters': d({}),
+    'root': {
+        'data types': d({
+            "Node": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['group', d({
+                    "properties": {
+                        'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
+                            "type": {
+                                'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
+                                    "collection": <g_cosmos.D.Data__Type>['group', d({
+                                        "key": {
+                                            'type': <g_cosmos.D.Data__Type>['string', null],
+                                        },
+                                        "node": {
+                                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                                'context': ['local', null],
+                                                'typeXX': "Node",
+                                                'tailXX': a([]),
+                                                'type arguments': d({}),
+                                            }]],
+                                        },
+                                    })],
+                                    "group": <g_cosmos.D.Data__Type>['group', d({
+                                        "node": {
+                                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                                'context': ['local', null],
+                                                'typeXX': "Node",
+                                                'tailXX': a([]),
+                                                'type arguments': d({}),
+                                            }]],
+                                        },
+                                    })],
+                                    "state group": <g_cosmos.D.Data__Type>['group', d({
+                                        "states": {
+                                            'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
+                                                "constraints": {
+                                                    'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
+                                                        "path": {
+                                                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                                                'context': ['local', null],
+                                                                'typeXX': "Path",
+                                                                'tailXX': a([]),
+                                                                'type arguments': d({}),
+                                                            }]],
+                                                        },
+                                                    })]],
+                                                },
+                                                "node": {
+                                                    'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                                        'context': ['local', null],
+                                                        'typeXX': "Node",
+                                                        'tailXX': a([]),
+                                                        'type arguments': d({}),
+                                                    }]],
+                                                },
+                                            })]],
+                                        },
+                                    })],
+                                    "text": <g_cosmos.D.Data__Type>['group', d({
+                                        "constraint": {
+                                            'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['group', d({
+                                                "dictionary": {
+                                                    'type': <g_cosmos.D.Data__Type>['string', null],
+                                                },
+                                                "path": {
+                                                    'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                                        'context': ['local', null],
+                                                        'typeXX': "Path",
+                                                        'tailXX': a([]),
+                                                        'type arguments': d({}),
+                                                    }]],
+                                                },
+                                            })]],
+                                        },
+                                    })],
+                                })],
+                            },
+                        })]],
+                    },
+                })]
+            },
+            "Path": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['group', d({
+                    "context": {
+                        'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
+                            "sibling": <g_cosmos.D.Data__Type>['group', d({})],
+                            "state constraint": <g_cosmos.D.Data__Type>['group', d({
+                                "name": {
+                                    'type': <g_cosmos.D.Data__Type>['string', null],
+                                },
+                            })],
+                        })],
+                    },
+                    "selection steps": {
+                        'type': <g_cosmos.D.Data__Type>['array', <g_cosmos.D.Data__Type>['taggedUnion', d({
+                            "group": <g_cosmos.D.Data__Type>['group', d({
+                                "name": {
+                                    'type': <g_cosmos.D.Data__Type>['string', null],
+                                },
+                            })],
+                            "reference": <g_cosmos.D.Data__Type>['group', d({
+                                "name": {
+                                    'type': <g_cosmos.D.Data__Type>['string', null],
+                                },
+                            })],
+                            "state constraint": <g_cosmos.D.Data__Type>['group', d({
+                                "name": {
+                                    'type': <g_cosmos.D.Data__Type>['string', null],
+                                },
+                            })],
+                        })]],
+                    },
+                    "up steps": {
+                        'type': <g_cosmos.D.Data__Type>['array', <g_cosmos.D.Data__Type>['group', d({})]],
+                    },
+                })]
+            },
+            "Root": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['group', d({
+                    "numerical types": {
+                        'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({})]],
+                    },
+                    "root": {
+                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Node",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
+                    },
+                })]
+            },
+        }),
+        'namespaces': d({
+            "Node": {
+                'data types': d({}),
+                'namespaces': d({
+                    "G": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "properties": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "DX": {
+                                        'data types': d({}),
+                                        'namespaces': d({
+                                            "G": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "type": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "TU": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({
+                                                                    "collection": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({
+                                                                            "G": {
+                                                                                'data types': d({}),
+                                                                                'namespaces': d({
+                                                                                    "key": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({}),
+                                                                                    },
+                                                                                    "node": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({}),
+                                                                                    },
+                                                                                }),
+                                                                            },
+                                                                        }),
+                                                                    },
+                                                                    "group": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({
+                                                                            "G": {
+                                                                                'data types': d({}),
+                                                                                'namespaces': d({
+                                                                                    "node": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({}),
+                                                                                    },
+                                                                                }),
+                                                                            },
+                                                                        }),
+                                                                    },
+                                                                    "state group": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({
+                                                                            "G": {
+                                                                                'data types': d({}),
+                                                                                'namespaces': d({
+                                                                                    "states": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({
+                                                                                            "DX": {
+                                                                                                'data types': d({}),
+                                                                                                'namespaces': d({
+                                                                                                    "G": {
+                                                                                                        'data types': d({}),
+                                                                                                        'namespaces': d({
+                                                                                                            "constraints": {
+                                                                                                                'data types': d({}),
+                                                                                                                'namespaces': d({
+                                                                                                                    "DX": {
+                                                                                                                        'data types': d({}),
+                                                                                                                        'namespaces': d({
+                                                                                                                            "G": {
+                                                                                                                                'data types': d({}),
+                                                                                                                                'namespaces': d({
+                                                                                                                                    "path": {
+                                                                                                                                        'data types': d({}),
+                                                                                                                                        'namespaces': d({}),
+                                                                                                                                    },
+                                                                                                                                }),
+                                                                                                                            },
+                                                                                                                        }),
+                                                                                                                    },
+                                                                                                                }),
+                                                                                                            },
+                                                                                                            "node": {
+                                                                                                                'data types': d({}),
+                                                                                                                'namespaces': d({}),
+                                                                                                            },
+                                                                                                        }),
+                                                                                                    },
+                                                                                                }),
+                                                                                            },
+                                                                                        }),
+                                                                                    },
+                                                                                }),
+                                                                            },
+                                                                        }),
+                                                                    },
+                                                                    "text": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({
+                                                                            "G": {
+                                                                                'data types': d({}),
+                                                                                'namespaces': d({
+                                                                                    "constraint": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({
+                                                                                            "O": {
+                                                                                                'data types': d({}),
+                                                                                                'namespaces': d({
+                                                                                                    "G": {
+                                                                                                        'data types': d({}),
+                                                                                                        'namespaces': d({
+                                                                                                            "dictionary": {
+                                                                                                                'data types': d({}),
+                                                                                                                'namespaces': d({}),
+                                                                                                            },
+                                                                                                            "path": {
+                                                                                                                'data types': d({}),
+                                                                                                                'namespaces': d({}),
+                                                                                                            },
+                                                                                                        }),
+                                                                                                    },
+                                                                                                }),
+                                                                                            },
+                                                                                        }),
+                                                                                    },
+                                                                                }),
+                                                                            },
+                                                                        }),
+                                                                    },
+                                                                }),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                        }),
+                                    },
+                                }),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Path": {
+                'data types': d({}),
+                'namespaces': d({
+                    "G": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "context": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "TU": {
+                                        'data types': d({}),
+                                        'namespaces': d({
+                                            "sibling": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({}),
+                                                    },
+                                                }),
+                                            },
+                                            "state constraint": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "name": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({}),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                        }),
+                                    },
+                                }),
+                            },
+                            "selection steps": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "A": {
+                                        'data types': d({}),
+                                        'namespaces': d({
+                                            "TU": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "group": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "G": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({
+                                                                    "name": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({}),
+                                                                    },
+                                                                }),
+                                                            },
+                                                        }),
+                                                    },
+                                                    "reference": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "G": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({
+                                                                    "name": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({}),
+                                                                    },
+                                                                }),
+                                                            },
+                                                        }),
+                                                    },
+                                                    "state constraint": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "G": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({
+                                                                    "name": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({}),
+                                                                    },
+                                                                }),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                        }),
+                                    },
+                                }),
+                            },
+                            "up steps": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "A": {
+                                        'data types': d({}),
+                                        'namespaces': d({
+                                            "G": {
+                                                'data types': d({}),
+                                                'namespaces': d({}),
+                                            },
+                                        }),
+                                    },
+                                }),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Root": {
+                'data types': d({}),
+                'namespaces': d({
+                    "G": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "numerical types": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "DX": {
+                                        'data types': d({}),
+                                        'namespaces': d({
+                                            "G": {
+                                                'data types': d({}),
+                                                'namespaces': d({}),
+                                            },
+                                        }),
+                                    },
+                                }),
+                            },
+                            "root": {
+                                'data types': d({}),
+                                'namespaces': d({}),
+                            },
+                        }),
+                    },
+                }),
+            },
+        }),
+    },
+    'interface types': d({}),
+    'algorithm types': d({}),
+}