Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
1 change: 0 additions & 1 deletion CLAUDE.md
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,6 @@ Uses `corral` for dependency management. `make` automatically runs `corral fetch
- `github.com/ponylang/lori.git` (via courier) -- TCP connections
- `github.com/ponylang/ssl.git` (via courier) -- SSL/TLS
- `github.com/ponylang/web_link.git` -- RFC 8288 Link header parsing
- `github.com/ponylang/json-ng.git` -- JSON parsing (immutable, persistent collections)
- `github.com/ponylang/uri.git` -- RFC 6570 URI template expansion

## Source Layout
Expand Down
4 changes: 0 additions & 4 deletions corral.json
Original file line number Diff line number Diff line change
Expand Up @@ -12,10 +12,6 @@
"locator": "github.com/ponylang/courier.git",
"version": "0.1.0"
},
{
"locator": "github.com/ponylang/json-ng.git",
"version": "0.3.0"
},
{
"locator": "github.com/ponylang/uri.git",
"version": "0.1.0"
Expand Down
9 changes: 4 additions & 5 deletions github_rest_api/json_nav_util.pony
Original file line number Diff line number Diff line change
Expand Up @@ -4,11 +4,10 @@ primitive JsonNavUtil
"""
Utility for extracting optional string fields from JSON.

json-ng's JsonNav does not have an as_string_or_none() method. This
primitive provides equivalent functionality: given a JsonNav positioned on a
field, it returns the String value if present or None if the JSON value is
null. Raises an error if the navigation failed (key missing) or the value is
any other type.
JsonNav does not have an as_string_or_none() method. This primitive provides
equivalent functionality: given a JsonNav positioned on a field, it returns
the String value if present or None if the JSON value is null. Raises an
error if the navigation failed (key missing) or the value is any other type.
"""
fun string_or_none(json: JsonNav): (String | None) ? =>
match json.json()
Expand Down
Loading