2022-05-02 18:55:15 +03:00
|
|
|
# Namespace list api
|
|
|
|
|
2024-07-10 17:46:18 +03:00
|
|
|
``` unison
|
2022-05-02 18:55:15 +03:00
|
|
|
{{ Documentation }}
|
|
|
|
nested.names.x = 42
|
|
|
|
|
|
|
|
nested.names.readme = {{ I'm a readme! }}
|
|
|
|
```
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2022-05-02 18:55:15 +03:00
|
|
|
|
2023-12-22 14:55:24 +03:00
|
|
|
Loading changes detected in scratch.u.
|
|
|
|
|
2022-05-02 18:55:15 +03:00
|
|
|
I found and typechecked these definitions in scratch.u. If you
|
|
|
|
do an `add` or `update`, here's how your codebase would
|
|
|
|
change:
|
|
|
|
|
|
|
|
⍟ These new definitions are ok to `add`:
|
|
|
|
|
|
|
|
nested.names.readme : Doc2
|
|
|
|
nested.names.x : Nat
|
|
|
|
nested.names.x.doc : Doc2
|
|
|
|
|
|
|
|
```
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> add
|
2022-05-02 18:55:15 +03:00
|
|
|
|
|
|
|
⍟ I've added these definitions:
|
|
|
|
|
|
|
|
nested.names.readme : Doc2
|
|
|
|
nested.names.x : Nat
|
|
|
|
nested.names.x.doc : Doc2
|
|
|
|
|
|
|
|
```
|
2024-07-10 19:17:15 +03:00
|
|
|
``` api
|
2024-06-27 20:17:27 +03:00
|
|
|
GET /api/projects/scratch/branches/main/list?namespace=nested.names
|
2022-05-02 18:55:15 +03:00
|
|
|
{
|
2024-06-27 20:17:27 +03:00
|
|
|
"namespaceListingChildren": [
|
|
|
|
{
|
|
|
|
"contents": {
|
|
|
|
"termHash": "#ddmmatmmiqsts2ku0i02kntd0s7rvcui4nn1cusio8thp9oqhbtilvcnhen52ibv43kr5q83f5er5q9h56s807k17tnelnrac7cch8o",
|
|
|
|
"termName": "readme",
|
|
|
|
"termTag": "Doc",
|
|
|
|
"termType": [
|
|
|
|
{
|
|
|
|
"annotation": {
|
|
|
|
"contents": "#ej86si0ur1",
|
|
|
|
"tag": "HashQualifier"
|
|
|
|
},
|
|
|
|
"segment": "#ej86si0ur1"
|
|
|
|
}
|
|
|
|
]
|
|
|
|
},
|
|
|
|
"tag": "TermObject"
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"contents": {
|
|
|
|
"termHash": "#qkhkl0n238s1eqibd1ecb8605sqj1m4hpoaag177cu572otqlaf1u28c8suuuqgljdtthsjtr07rv04np05o6oa27ml9105k7uas0t8",
|
|
|
|
"termName": "x",
|
|
|
|
"termTag": "Plain",
|
|
|
|
"termType": [
|
|
|
|
{
|
|
|
|
"annotation": {
|
|
|
|
"contents": "##Nat",
|
|
|
|
"tag": "HashQualifier"
|
|
|
|
},
|
|
|
|
"segment": "##Nat"
|
|
|
|
}
|
|
|
|
]
|
|
|
|
},
|
|
|
|
"tag": "TermObject"
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"contents": {
|
|
|
|
"namespaceHash": "#n1egracfeljprftoktbjcase2hs4f4p8idbhs5ujipl42agld1810hrq9t7p7ped16aagni2cm1fjcjhho770jh80ipthhmg0cnsur0",
|
|
|
|
"namespaceName": "x",
|
|
|
|
"namespaceSize": 1
|
|
|
|
},
|
|
|
|
"tag": "Subnamespace"
|
|
|
|
}
|
|
|
|
],
|
2022-05-02 18:55:15 +03:00
|
|
|
"namespaceListingFQN": "nested.names",
|
2024-06-27 20:17:27 +03:00
|
|
|
"namespaceListingHash": "#oms19b4f9s3c8tb5skeb8jii95ij35n3hdg038pu6rv5b0fikqe4gd7lnu6a1i6aq5tdh2opdo4s0sfrupvk6vfkr9lf0n752gbl8o0"
|
2022-05-02 18:55:15 +03:00
|
|
|
}
|
2024-06-27 20:17:27 +03:00
|
|
|
GET /api/projects/scratch/branches/main/list?namespace=names&relativeTo=nested
|
2022-05-02 18:55:15 +03:00
|
|
|
{
|
2024-06-27 20:17:27 +03:00
|
|
|
"namespaceListingChildren": [
|
|
|
|
{
|
|
|
|
"contents": {
|
|
|
|
"termHash": "#ddmmatmmiqsts2ku0i02kntd0s7rvcui4nn1cusio8thp9oqhbtilvcnhen52ibv43kr5q83f5er5q9h56s807k17tnelnrac7cch8o",
|
|
|
|
"termName": "readme",
|
|
|
|
"termTag": "Doc",
|
|
|
|
"termType": [
|
|
|
|
{
|
|
|
|
"annotation": {
|
|
|
|
"contents": "#ej86si0ur1",
|
|
|
|
"tag": "HashQualifier"
|
|
|
|
},
|
|
|
|
"segment": "#ej86si0ur1"
|
|
|
|
}
|
|
|
|
]
|
|
|
|
},
|
|
|
|
"tag": "TermObject"
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"contents": {
|
|
|
|
"termHash": "#qkhkl0n238s1eqibd1ecb8605sqj1m4hpoaag177cu572otqlaf1u28c8suuuqgljdtthsjtr07rv04np05o6oa27ml9105k7uas0t8",
|
|
|
|
"termName": "x",
|
|
|
|
"termTag": "Plain",
|
|
|
|
"termType": [
|
|
|
|
{
|
|
|
|
"annotation": {
|
|
|
|
"contents": "##Nat",
|
|
|
|
"tag": "HashQualifier"
|
|
|
|
},
|
|
|
|
"segment": "##Nat"
|
|
|
|
}
|
|
|
|
]
|
|
|
|
},
|
|
|
|
"tag": "TermObject"
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"contents": {
|
|
|
|
"namespaceHash": "#n1egracfeljprftoktbjcase2hs4f4p8idbhs5ujipl42agld1810hrq9t7p7ped16aagni2cm1fjcjhho770jh80ipthhmg0cnsur0",
|
|
|
|
"namespaceName": "x",
|
|
|
|
"namespaceSize": 1
|
|
|
|
},
|
|
|
|
"tag": "Subnamespace"
|
|
|
|
}
|
|
|
|
],
|
2022-05-02 18:55:15 +03:00
|
|
|
"namespaceListingFQN": "nested.names",
|
2024-06-27 20:17:27 +03:00
|
|
|
"namespaceListingHash": "#oms19b4f9s3c8tb5skeb8jii95ij35n3hdg038pu6rv5b0fikqe4gd7lnu6a1i6aq5tdh2opdo4s0sfrupvk6vfkr9lf0n752gbl8o0"
|
2022-05-02 18:55:15 +03:00
|
|
|
}
|
2024-07-10 22:15:33 +03:00
|
|
|
```
|
|
|
|
|