Randall
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
heard
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
'Course
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