Randall
Aarktype
•Created by Stuart B on 9/25/2024 in #questions
Post-morph constraints not checked if constraints not met on another property
it's an interesting problem. I'm reminded of a conditional-logger I made recently, in which phase 1 of a process generates some diagnostics that become irrelevant if the thing had no problem
I guess it's maybe not very similar to the situation from the OP
188 replies
Aarktype
•Created by Möhre on 9/11/2024 in #questions
ToJsonSchema fails with narrow
thanks for this heavy duty work
36 replies
Aarktype
•Created by Möhre on 9/11/2024 in #questions
ToJsonSchema fails with narrow
relax this case.
36 replies
Aarktype
•Created by Möhre on 9/11/2024 in #questions
ToJsonSchema fails with narrow
so
laxNarrow
, lateNarrow
, constraint
etc ... all just thesaurifying a way of reframing the notion of "loose". Not sure if it buys people anything by way of different granularity.36 replies
Aarktype
•Created by Möhre on 9/11/2024 in #questions
ToJsonSchema fails with narrow
that's intuitive
36 replies
Aarktype
•Created by Möhre on 9/11/2024 in #questions
ToJsonSchema fails with narrow
and finally e) I'm assuming that basic min/max constraints
"< 4"
would be representable in JSON-Schema (are they?) ... and others?36 replies
Aarktype
•Created by Möhre on 9/11/2024 in #questions
ToJsonSchema fails with narrow
What I was trying to say was that a) I understand using narrow() screws up the chance to represent a type as JSON-Schema.
b) I'm assuming morph works fine, not affecting the JSON-Schema output.
c) I wonder if some variant fitting between those two somehow could express a type that produces a valid JSON-Schema, while still capturing the functionality restricting actual data in ways that would raise (post-schema) validation failures. Just as morph could explode if it sees something it doesn't like, and recognizing that not every possible
constraint/restriction/transform/validate
may be expressible within JSON-Schema's capabilities, yet still be fundamentally part of the data's domain model.
d) those ...names
could be ideas for how to name an API call expressing such facts about the domain model.36 replies
Aarktype
•Created by Möhre on 9/11/2024 in #questions
ToJsonSchema fails with narrow
Will rety later
36 replies
Aarktype
•Created by Möhre on 9/11/2024 in #questions
ToJsonSchema fails with narrow
Phone kb sry
36 replies
Aarktype
•Created by Möhre on 9/11/2024 in #questions
ToJsonSchema fails with narrow
So narrow can make a type break jsonschema. Morph OK? Sometimes names help clarity. Restrict, narrow, transform, morph, validate,... thesaurus. X like y& lax semantic
Any AT constructs that can feed jsonschema native constraints? OK to rtfm me, night here rn
36 replies
Aarktype
•Created by JameEnder on 4/12/2024 in #questions
Export type to JSON and share it
interesting!
123 replies