pareto 0.64.0 → 0.65.0

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

@@ -14,46 +14,36 @@ export const $: g_cosmos.D.Glossary = {
                 "Atom": {
                     'parameters': d({}),
                     'type': <g_cosmos.D.Data__Type>['group', d({
-                        "type": {
-                            'type': <g_cosmos.D.Data__Type>['string', null],
-                        },
+                        "type": <g_cosmos.D.Data__Type>['text', null],
                     })]
                 },
                 "Dictionary Constraints": {
                     'parameters': d({}),
                     'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
-                        "type": {
-                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                'context': ['local', null],
-                                'typeXX': "Type Selection",
-                                'tailXX': a([]),
-                                'type arguments': d({}),
-                            }]],
-                        },
+                        "type": <g_cosmos.D.Data__Type>['component', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type Selection",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
                     })]]
                 },
                 "Global Type": {
                     'parameters': d({}),
                     'type': <g_cosmos.D.Data__Type>['group', d({
-                        "type": {
-                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                'context': ['local', null],
-                                'typeXX': "Type",
-                                'tailXX': a([]),
-                                'type arguments': d({}),
-                            }]],
-                        },
+                        "type": <g_cosmos.D.Data__Type>['component', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
                     })]
                 },
                 "Global Type Selection": {
                     'parameters': d({}),
                     'type': <g_cosmos.D.Data__Type>['group', d({
-                        "import": {
-                            'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['string', null]],
-                        },
-                        "type": {
-                            'type': <g_cosmos.D.Data__Type>['string', null],
-                        },
+                        "import": <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['text', null]],
+                        "type": <g_cosmos.D.Data__Type>['text', null],
                     })]
                 },
                 "Imports": {
@@ -63,268 +53,202 @@ export const $: g_cosmos.D.Glossary = {
                 "Labels": {
                     'parameters': d({}),
                     'type': <g_cosmos.D.Data__Type>['group', d({
-                        "atom types": {
-                            'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({})]],
-                        },
+                        "atom types": <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({})]],
                     })]
                 },
                 "Model": {
                     'parameters': d({}),
                     'type': <g_cosmos.D.Data__Type>['group', d({
-                        "root": {
-                            'type': <g_cosmos.D.Data__Type>['string', null],
-                        },
-                        "type library": {
-                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                'context': ['local', null],
-                                'typeXX': "Type Library",
-                                'tailXX': a([]),
-                                'type arguments': d({}),
-                            }]],
-                        },
+                        "root": <g_cosmos.D.Data__Type>['text', null],
+                        "type library": <g_cosmos.D.Data__Type>['component', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type Library",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
                     })]
                 },
                 "Properties": {
                     'parameters': d({}),
                     'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
-                        "type": {
-                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                'context': ['local', null],
-                                'typeXX': "Type",
-                                'tailXX': a([]),
-                                'type arguments': d({}),
-                            }]],
-                        },
+                        "type": <g_cosmos.D.Data__Type>['component', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
                     })]]
                 },
                 "State Constraints": {
                     'parameters': d({}),
                     'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
-                        "state": {
-                            'type': <g_cosmos.D.Data__Type>['string', null],
-                        },
-                        "type": {
-                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                'context': ['local', null],
-                                'typeXX': "Type Selection",
-                                'tailXX': a([]),
-                                'type arguments': d({}),
-                            }]],
-                        },
+                        "state": <g_cosmos.D.Data__Type>['text', null],
+                        "type": <g_cosmos.D.Data__Type>['component', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type Selection",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
                     })]]
                 },
                 "Type": {
                     'parameters': d({}),
                     'type': <g_cosmos.D.Data__Type>['group', d({
-                        "type": {
-                            'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
-                                "component": <g_cosmos.D.Data__Type>['group', d({
-                                    "context": {
-                                        'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
-                                            "cyclic sibling": <g_cosmos.D.Data__Type>['group', d({
-                                                "type": {
-                                                    'type': <g_cosmos.D.Data__Type>['string', null],
-                                                },
-                                            })],
-                                            "import": <g_cosmos.D.Data__Type>['group', d({
-                                                "library": {
-                                                    'type': <g_cosmos.D.Data__Type>['string', null],
-                                                },
-                                                "type": {
-                                                    'type': <g_cosmos.D.Data__Type>['string', null],
-                                                },
-                                            })],
-                                            "resolved sibling": <g_cosmos.D.Data__Type>['group', d({
-                                                "type": {
-                                                    'type': <g_cosmos.D.Data__Type>['string', null],
-                                                },
-                                            })],
-                                        })],
-                                    },
-                                })],
-                                "dictionary": <g_cosmos.D.Data__Type>['group', d({
-                                    "constraints": {
-                                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                            'context': ['local', null],
-                                            'typeXX': "Dictionary Constraints",
-                                            'tailXX': a([]),
-                                            'type arguments': d({}),
-                                        }]],
-                                    },
-                                    "key": {
-                                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                            'context': ['local', null],
-                                            'typeXX': "Atom",
-                                            'tailXX': a([]),
-                                            'type arguments': d({}),
-                                        }]],
-                                    },
-                                    "type": {
-                                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                            'context': ['local', null],
-                                            'typeXX': "Type",
-                                            'tailXX': a([]),
-                                            'type arguments': d({}),
-                                        }]],
-                                    },
-                                })],
-                                "group": <g_cosmos.D.Data__Type>['group', d({
-                                    "properties": {
-                                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                            'context': ['local', null],
-                                            'typeXX': "Properties",
-                                            'tailXX': a([]),
-                                            'type arguments': d({}),
-                                        }]],
-                                    },
-                                })],
-                                "list": <g_cosmos.D.Data__Type>['group', d({
-                                    "type": {
-                                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                            'context': ['local', null],
-                                            'typeXX': "Type",
-                                            'tailXX': a([]),
-                                            'type arguments': d({}),
-                                        }]],
-                                    },
-                                })],
-                                "nothing": <g_cosmos.D.Data__Type>['group', d({})],
-                                "optional": <g_cosmos.D.Data__Type>['group', d({
-                                    "type": {
-                                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                            'context': ['local', null],
-                                            'typeXX': "Type",
-                                            '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>['reference', ['type', {
-                                                    'context': ['local', null],
-                                                    'typeXX': "State Constraints",
-                                                    'tailXX': a([]),
-                                                    'type arguments': d({}),
-                                                }]],
-                                            },
-                                            "type": {
-                                                'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                                    'context': ['local', null],
-                                                    'typeXX': "Type",
-                                                    'tailXX': a([]),
-                                                    'type arguments': d({}),
-                                                }]],
-                                            },
-                                        })]],
-                                    },
-                                })],
-                                "terminal": <g_cosmos.D.Data__Type>['group', d({
-                                    "constraint": {
-                                        'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['group', d({
-                                            "type": {
-                                                'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                                    'context': ['local', null],
-                                                    'typeXX': "Type Selection",
-                                                    'tailXX': a([]),
-                                                    'type arguments': d({}),
-                                                }]],
-                                            },
-                                        })]],
-                                    },
-                                    "terminal": {
-                                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                            'context': ['local', null],
-                                            'typeXX': "Atom",
-                                            'tailXX': a([]),
-                                            'type arguments': d({}),
-                                        }]],
-                                    },
+                        "type": <g_cosmos.D.Data__Type>['state group', d({
+                            "component": <g_cosmos.D.Data__Type>['group', d({
+                                "context": <g_cosmos.D.Data__Type>['state group', d({
+                                    "cyclic sibling": <g_cosmos.D.Data__Type>['group', d({
+                                        "type": <g_cosmos.D.Data__Type>['text', null],
+                                    })],
+                                    "import": <g_cosmos.D.Data__Type>['group', d({
+                                        "library": <g_cosmos.D.Data__Type>['text', null],
+                                        "type": <g_cosmos.D.Data__Type>['text', null],
+                                    })],
+                                    "resolved sibling": <g_cosmos.D.Data__Type>['group', d({
+                                        "type": <g_cosmos.D.Data__Type>['text', null],
+                                    })],
                                 })],
                             })],
-                        },
+                            "dictionary": <g_cosmos.D.Data__Type>['group', d({
+                                "constraints": <g_cosmos.D.Data__Type>['component', ['type', {
+                                    'context': ['local', null],
+                                    'typeXX': "Dictionary Constraints",
+                                    'tailXX': a([]),
+                                    'type arguments': d({}),
+                                }]],
+                                "key": <g_cosmos.D.Data__Type>['component', ['type', {
+                                    'context': ['local', null],
+                                    'typeXX': "Atom",
+                                    'tailXX': a([]),
+                                    'type arguments': d({}),
+                                }]],
+                                "type": <g_cosmos.D.Data__Type>['component', ['type', {
+                                    'context': ['local', null],
+                                    'typeXX': "Type",
+                                    'tailXX': a([]),
+                                    'type arguments': d({}),
+                                }]],
+                            })],
+                            "group": <g_cosmos.D.Data__Type>['group', d({
+                                "properties": <g_cosmos.D.Data__Type>['component', ['type', {
+                                    'context': ['local', null],
+                                    'typeXX': "Properties",
+                                    'tailXX': a([]),
+                                    'type arguments': d({}),
+                                }]],
+                            })],
+                            "list": <g_cosmos.D.Data__Type>['group', d({
+                                "type": <g_cosmos.D.Data__Type>['component', ['type', {
+                                    'context': ['local', null],
+                                    'typeXX': "Type",
+                                    'tailXX': a([]),
+                                    'type arguments': d({}),
+                                }]],
+                            })],
+                            "nothing": <g_cosmos.D.Data__Type>['group', d({})],
+                            "optional": <g_cosmos.D.Data__Type>['group', d({
+                                "type": <g_cosmos.D.Data__Type>['component', ['type', {
+                                    'context': ['local', null],
+                                    'typeXX': "Type",
+                                    '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>['component', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "State Constraints",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]],
+                                    "type": <g_cosmos.D.Data__Type>['component', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "Type",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]],
+                                })]],
+                            })],
+                            "terminal": <g_cosmos.D.Data__Type>['group', d({
+                                "constraint": <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['group', d({
+                                    "type": <g_cosmos.D.Data__Type>['component', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "Type Selection",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]],
+                                })]],
+                                "terminal": <g_cosmos.D.Data__Type>['component', ['type', {
+                                    'context': ['local', null],
+                                    'typeXX': "Atom",
+                                    'tailXX': a([]),
+                                    'type arguments': d({}),
+                                }]],
+                            })],
+                        })],
                     })]
                 },
                 "Type Library": {
                     'parameters': d({}),
                     'type': <g_cosmos.D.Data__Type>['group', d({
-                        "global types": {
-                            'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['reference', ['type', {
-                                'context': ['local', null],
-                                'typeXX': "Global Type",
-                                'tailXX': a([]),
-                                'type arguments': d({}),
-                            }]]],
-                        },
-                        "imports": {
-                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                'context': ['local', null],
-                                'typeXX': "Imports",
-                                'tailXX': a([]),
-                                'type arguments': d({}),
-                            }]],
-                        },
-                        "labels": {
-                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                'context': ['local', null],
-                                'typeXX': "Labels",
-                                'tailXX': a([]),
-                                'type arguments': d({}),
-                            }]],
-                        },
+                        "global types": <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['component', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Global Type",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]]],
+                        "imports": <g_cosmos.D.Data__Type>['component', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Imports",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
+                        "labels": <g_cosmos.D.Data__Type>['component', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Labels",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
                     })]
                 },
                 "Type Selection": {
                     'parameters': d({}),
                     'type': <g_cosmos.D.Data__Type>['group', d({
-                        "global type": {
-                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
-                                'context': ['local', null],
-                                'typeXX': "Global Type Selection",
-                                'tailXX': a([]),
-                                'type arguments': d({}),
-                            }]],
-                        },
-                        "tail": {
-                            'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['reference', ['type', {
-                                'context': ['local', null],
-                                'typeXX': "Type Selection Tail",
-                                'tailXX': a([]),
-                                'type arguments': d({}),
-                            }]]],
-                        },
+                        "global type": <g_cosmos.D.Data__Type>['component', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Global Type Selection",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
+                        "tail": <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['component', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type Selection Tail",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]]],
                     })]
                 },
                 "Type Selection Tail": {
                     'parameters': d({}),
                     'type': <g_cosmos.D.Data__Type>['group', d({
-                        "step type": {
-                            'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
-                                "dictionary": <g_cosmos.D.Data__Type>['group', d({})],
-                                "group": <g_cosmos.D.Data__Type>['group', d({
-                                    "property": {
-                                        'type': <g_cosmos.D.Data__Type>['string', null],
-                                    },
-                                })],
-                                "list": <g_cosmos.D.Data__Type>['group', d({})],
-                                "optional": <g_cosmos.D.Data__Type>['group', d({})],
-                                "state group": <g_cosmos.D.Data__Type>['group', d({
-                                    "state": {
-                                        'type': <g_cosmos.D.Data__Type>['string', null],
-                                    },
-                                })],
+                        "step type": <g_cosmos.D.Data__Type>['state group', d({
+                            "dictionary": <g_cosmos.D.Data__Type>['group', d({})],
+                            "group": <g_cosmos.D.Data__Type>['group', d({
+                                "property": <g_cosmos.D.Data__Type>['text', null],
                             })],
-                        },
-                        "tail": {
-                            'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['reference', ['type', {
-                                'context': ['local', null],
-                                'typeXX': "Type Selection Tail",
-                                'tailXX': a([]),
-                                'type arguments': d({}),
-                            }]]],
-                        },
+                            "list": <g_cosmos.D.Data__Type>['group', d({})],
+                            "optional": <g_cosmos.D.Data__Type>['group', d({})],
+                            "state group": <g_cosmos.D.Data__Type>['group', d({
+                                "state": <g_cosmos.D.Data__Type>['text', null],
+                            })],
+                        })],
+                        "tail": <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['component', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type Selection Tail",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]]],
                     })]
                 },
             }),

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

@@ -1,14 +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,
-    externalTypeReference
+    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"
@@ -22,18 +33,18 @@ export const $: g_glossary.D.Glossary = {
         'glossary parameters': d({
         }),
         'imports': d({
-            "fp": imp(d_fountain_pen, {}),
+            "fp": imp(d_fountain_pen['data glossary'], {}),
         }),
         'root': {
             'namespaces': d({}),
             'data types': d({
                 "Directory": type(group({
-                    "nodes": member(dictionary(taggedUnion({
-                        "allowed manual": null_(),
-                        "allowed automatic": null_(),
-                        "file": ref(externalTypeReference("fp", "Block")),
-                        "template": ref(externalTypeReference("fp", "Block")),
-                        "directory": ref(typeReference("Directory")),
+                    "nodes": member(dictionary(stateGroup({
+                        "allowed manual": nothing(),
+                        "allowed automatic": nothing(),
+                        "file": component(externalTypeReference("fp", "Block")),
+                        "template": component(externalTypeReference("fp", "Block")),
+                        "directory": component(typeReference("Directory")),
                     })))
                 }))
             }),

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

@@ -1,12 +1,26 @@
 import * as pd from 'pareto-core-data'
 
 import {
-    aInterface,
-    aInterfaceMethod,
-    aInterfaceReference,
-    array, data, dictionary, externalTypeReference, glossaryParameter, group, infInit, member, null_, number, parametrizedType, ref, sfunction, streamconsumer, string, taggedUnion, type, typeParameter, typeReference
+    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"
 const d = pd.d
 
@@ -18,27 +32,27 @@ export const $: g_glossary.D.Glossary = {
         'root': {
             'namespaces': d({}),
             'data types': d({
-                "Block": type(array(taggedUnion({
-                    "nested line": ref(typeReference("Line")),
-                    "line": string(),
+                "Block": type(list(stateGroup({
+                    "nested line": component(typeReference("Line")),
+                    "line": text(),
                     /**
                      * this one can be used to make code generation easier.
                      * it will be inlined
                      */
-                    "sub block": ref(typeReference("Block")),
+                    "sub block": component(typeReference("Block")),
                 }))),
-                "Line": type(array(taggedUnion({
-                    "snippet": string(),
-                    "indent": ref(typeReference("Block")),
+                "Line": type(list(stateGroup({
+                    "snippet": text(),
+                    "indent": component(typeReference("Block")),
                     /**
                      * this one can be used to make code generation easier.
                      * it will be inlined
                      */
-                    "sub line": ref(typeReference("Line")),
+                    "sub line": component(typeReference("Line")),
                 }))),
-                "Lines": type(array(group({
-                    "indentation": member(number()),
-                    "text": member(string()),
+                "Lines": type(list(group({
+                    "indentation": member(integer()),
+                    "text": member(text()),
                 }))),
             }),
         },