Skip to content

Pass key constraints as propertyNames in JSON Schema#604

Merged
jcrist merged 1 commit intomainfrom
json-schema-property-names
Dec 7, 2023
Merged

Pass key constraints as propertyNames in JSON Schema#604
jcrist merged 1 commit intomainfrom
json-schema-property-names

Conversation

@jcrist
Copy link
Copy Markdown
Owner

@jcrist jcrist commented Dec 7, 2023

This adds support for publicizing constraints on dict keys using the propertyNames field when generating a JSON Schema. For now this is only done for dicts with string keys; constraints on other key types are trickier to specify.

Supersedes #576.

This adds support for publicizing constraints on dict keys using the
`propertyNames` field when generating a JSON Schema. For now this is
only done for dicts with string keys; constraints on other key types are
trickier to specify.
@jcrist jcrist merged commit ad5801d into main Dec 7, 2023
@jcrist jcrist deleted the json-schema-property-names branch December 7, 2023 18:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant