pareto 0.64.0 → 0.65.0

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

@@ -1,10 +1,24 @@
 import * as pd from 'pareto-core-data'
 
 import {
-    array, data, dictionary, typeReference, group, member, null_, number, optional, sfunction, string, type,
+    boolean,
+    component,
+    data,
+    dictionary,
+    externalTypeReference,
+    group,
+    integer,
+    list,
+    member,
+    nothing,
+    optional,
     parametrizedType,
-    ref,
-    typeParameter
+    sfunction,
+    stateGroup,
+    text,
+    type,
+    typeParameter,
+    typeReference,
 } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 
 import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
@@ -18,9 +32,9 @@ export const $: g_glossary.D.Glossary = {
         'root': {
             'namespaces': d({}),
             'data types': d({
-                "String": type(string()),
-                "Array": parametrizedType({ "T": null }, array(ref(typeParameter("T")))),
-                "Dictionary": parametrizedType({ "T": null }, dictionary(ref(typeParameter("T")))),
+                "String": type(text()),
+                "Array": parametrizedType({ "T": null }, list(component(typeParameter("T")))),
+                "Dictionary": parametrizedType({ "T": null }, dictionary(component(typeParameter("T")))),
             }),
         },
     },

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

@@ -1,12 +1,25 @@
 import * as pd from 'pareto-core-data'
 
 import {
-    array, afunction, boolean, computed, data, dictionary,
-    glossaryParameter, group, member, number, optional, ref, sfunction, string, type, typeReference,
-    taggedUnion,
-    null_,
-    sInterface,
-    sInterfaceMethod
+    boolean,
+    component,
+    data,
+    dictionary,
+    externalTypeReference,
+    group,
+    imp,
+    integer,
+    list,
+    member,
+    nothing,
+    optional,
+    parametrizedType,
+    sfunction,
+    stateGroup,
+    text,
+    type,
+    typeParameter,
+    typeReference,
 } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 
 import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
@@ -21,18 +34,18 @@ export const $: g_glossary.D.Glossary = {
         'root': {
             'namespaces': d({}),
             'data types': d({
-                "Value": type(taggedUnion({
-                    "verbose type": dictionary(ref(typeReference("Value"))),
-                    "shorthand type": array(ref(typeReference("Value"))),
-                    "dictionary": dictionary(ref(typeReference("Value"))),
-                    "array": array(ref(typeReference("Value"))),
-                    "quoted string": string(),
-                    "apostrophed string": string(),
-                    "backticked string": string(),
-                    "raw string": string(),
+                "Value": type(stateGroup({
+                    "verbose type": dictionary(component(typeReference("Value"))),
+                    "shorthand type": list(component(typeReference("Value"))),
+                    "dictionary": dictionary(component(typeReference("Value"))),
+                    "array": list(component(typeReference("Value"))),
+                    "quoted string": text(),
+                    "apostrophed string": text(),
+                    "backticked string": text(),
+                    "raw string": text(),
                     "tagged union": group({
-                        "option": member(string()),
-                        "value": member(ref(typeReference("Value"))),
+                        "option": member(text()),
+                        "value": member(component(typeReference("Value"))),
                     })
                 })),
             }),

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

@@ -14,133 +14,91 @@ export const $: g_cosmos.D.Glossary = {
                 "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({}),
-                                                        }]],
-                                                    },
-                                                })]],
-                                            },
-                                        })],
-                                    })],
-                                },
-                            })]],
-                        },
+                        "properties": <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
+                            "type": <g_cosmos.D.Data__Type>['state group', d({
+                                "collection": <g_cosmos.D.Data__Type>['group', d({
+                                    "key": <g_cosmos.D.Data__Type>['text', null],
+                                    "node": <g_cosmos.D.Data__Type>['component', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "Node",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]],
+                                })],
+                                "group": <g_cosmos.D.Data__Type>['group', d({
+                                    "node": <g_cosmos.D.Data__Type>['component', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "Node",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]],
+                                })],
+                                "state group": <g_cosmos.D.Data__Type>['group', d({
+                                    "states": <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
+                                        "constraints": <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
+                                            "path": <g_cosmos.D.Data__Type>['component', ['type', {
+                                                'context': ['local', null],
+                                                'typeXX': "Path",
+                                                'tailXX': a([]),
+                                                'type arguments': d({}),
+                                            }]],
+                                        })]],
+                                        "node": <g_cosmos.D.Data__Type>['component', ['type', {
+                                            'context': ['local', null],
+                                            'typeXX': "Node",
+                                            'tailXX': a([]),
+                                            'type arguments': d({}),
+                                        }]],
+                                    })]],
+                                })],
+                                "text": <g_cosmos.D.Data__Type>['group', d({
+                                    "constraint": <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['group', d({
+                                        "dictionary": <g_cosmos.D.Data__Type>['text', null],
+                                        "path": <g_cosmos.D.Data__Type>['component', ['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],
-                                    },
-                                })],
+                        "context": <g_cosmos.D.Data__Type>['state group', d({
+                            "sibling": <g_cosmos.D.Data__Type>['group', d({})],
+                            "state constraint": <g_cosmos.D.Data__Type>['group', d({
+                                "name": <g_cosmos.D.Data__Type>['text', 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({})]],
-                        },
+                        })],
+                        "selection steps": <g_cosmos.D.Data__Type>['list', <g_cosmos.D.Data__Type>['state group', d({
+                            "group": <g_cosmos.D.Data__Type>['group', d({
+                                "name": <g_cosmos.D.Data__Type>['text', null],
+                            })],
+                            "reference": <g_cosmos.D.Data__Type>['group', d({
+                                "name": <g_cosmos.D.Data__Type>['text', null],
+                            })],
+                            "state constraint": <g_cosmos.D.Data__Type>['group', d({
+                                "name": <g_cosmos.D.Data__Type>['text', null],
+                            })],
+                        })]],
+                        "up steps": <g_cosmos.D.Data__Type>['list', <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({}),
-                            }]],
-                        },
+                        "numerical types": <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({})]],
+                        "root": <g_cosmos.D.Data__Type>['component', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Node",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
                     })]
                 },
             }),