starred/pkl
1
0
Fork 0
mirror of https://github.com/apple/pkl.git synced 2026-01-11 22:30:54 +01:00
Code Issues 198 Packages Projects Releases 10 Wiki Activity

URI standard library #270

New Issue
Open
opened 2025-12-30 01:23:00 +01:00 by adam · 2 comments
adam commented 2025-12-30 01:23:00 +01:00
Owner
Copy Link

Originally created by @bioball on GitHub (Jan 27, 2025).

Pkl's standard library is missing a URI type, but this is a quite common type in service configuration.

For example:

  • Website address
  • Database connection string

Additionally, it's necessary to construct a valid URI sometimes when interacting with read().
Currently, this requires importing package pkl.experimental.uri.

There should be an API within the standard library for working with URIs.

This requires a SPICE to be written to iterate on the design.

Originally created by @bioball on GitHub (Jan 27, 2025). Pkl's standard library is missing a URI type, but this is a quite common type in service configuration. For example: * Website address * Database connection string Additionally, it's necessary to construct a valid URI sometimes when interacting with `read()`. Currently, this requires [importing package `pkl.experimental.uri`](https://github.com/apple/pkl-pantry/blob/main/packages/k8s.contrib/convert.pkl#L112). There should be an API within the standard library for working with URIs. This requires a SPICE to be written to iterate on the design.
adam commented 2025-12-30 01:23:01 +01:00
Author
Owner
Copy Link

@bioball commented on GitHub (Jan 30, 2025):

SPICE is up! https://github.com/apple/pkl-evolution/pull/13

@bioball commented on GitHub (Jan 30, 2025): SPICE is up! https://github.com/apple/pkl-evolution/pull/13
adam commented 2025-12-30 01:23:01 +01:00
Author
Owner
Copy Link

@bioball commented on GitHub (Feb 3, 2025):

I'm going to punt this to the 0.29 release. I think there's too many open questions here, and I doubt that we can get a polished version out in just three weeks.

@bioball commented on GitHub (Feb 3, 2025): I'm going to punt this to the 0.29 release. I think there's too many open questions here, and I doubt that we can get a polished version out in just three weeks.
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bug
duplicate
enhancement
good first issue
help wanted
pull-request
Mirrored from GitHub Pull Request
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
adam
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/pkl#270
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?