Skip to content

Commit

Permalink
jsonschema: support more string formats for date and email
Browse files Browse the repository at this point in the history
  • Loading branch information
Khady committed Feb 27, 2024
1 parent 25720fd commit 55b7a39
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions lib/json_schema.atd
Original file line number Diff line number Diff line change
Expand Up @@ -27,6 +27,10 @@ type number_format = [
type str_format = [
| Date <json name="date">
| Datetime <json name="date-time">
| Time <json name="time">
| Duration <json name="duration">
| Email <json name="email">
| Idn_email <json name="idn-email">
]

type format = [
Expand Down

0 comments on commit 55b7a39

Please sign in to comment.