Skip to content

State the trgeometry scope the parameter types do not name #114

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
estebanzimanyi merged 1 commit into from
Sep 2, 2026
Merged

State the trgeometry scope the parameter types do not name #114

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
40 changes: 40 additions & 0 deletions meta/type-scope.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -91,6 +91,46 @@
"types": ["trgeometry"],
"note": "Serves trgeometry alone; states no validity check."
},
"trgeometry_at_value": {
"types": ["trgeometry"],
"note": "Serves trgeometry alone. Its operand is a Temporal *, and the only parameter naming a type is the pose restricted to, so the parameter types name the value rather than the temporal type."
},
"trgeometry_minus_value": {
"types": ["trgeometry"],
"note": "Serves trgeometry alone; its parameter types name the pose, not the temporal type."
},
"trgeometry_at_timestamptz": {
"types": ["trgeometry"],
"note": "Serves trgeometry alone; its parameter types name the timestamp, not the temporal type."
},
"trgeometry_minus_timestamptz": {
"types": ["trgeometry"],
"note": "Serves trgeometry alone; its parameter types name the timestamp, not the temporal type."
},
"trgeometry_at_geom": {
"types": ["trgeometry"],
"note": "Serves trgeometry alone; its parameter types name the geometry restricted to, not the temporal type."
},
"trgeometry_minus_geom": {
"types": ["trgeometry"],
"note": "Serves trgeometry alone; its parameter types name the geometry, not the temporal type."
},
"trgeometry_at_stbox": {
"types": ["trgeometry"],
"note": "Serves trgeometry alone; its parameter types name the box and the border flag, not the temporal type."
},
"trgeometry_minus_stbox": {
"types": ["trgeometry"],
"note": "Serves trgeometry alone; its parameter types name the box and the border flag, not the temporal type."
},
"trgeometry_as_text": {
"types": ["trgeometry"],
"note": "Serves trgeometry alone; its only remaining parameter is the digit count, whose type names nothing it serves."
},
"trgeometry_as_ewkt": {
"types": ["trgeometry"],
"note": "Serves trgeometry alone; its only remaining parameter is the digit count, whose type names nothing it serves."
},

"tintbox_shift_scale": {
"types": ["tbox"],
Expand Down
Loading