I implemented these for a project I'm working on that uses jsons, then noticed https://github.com/ramonhagenaars/jsons/issues/170 and figured I may as well see if you like the implementation enough to go with it.
I included the strictly_equal_literal as a compromise between correctness and utility.
Two types Literal[v1] and Literal[v2] are equivalent when both of the following conditions are true:
type(v1) == type(v2)
v1 == v2
I took that to mean that for a value to really match a literal it should match in both type and value. The only problem with that is that I've found it to be very useful to allow jsons to "coerce" values that are equal in value into the literal value, the use case that prompted me to implement this actually relies on that behaviour.
I implemented these for a project I'm working on that uses
jsons, then noticed https://github.com/ramonhagenaars/jsons/issues/170 and figured I may as well see if you like the implementation enough to go with it.I included the
strictly_equal_literalas a compromise between correctness and utility.From https://peps.python.org/pep-0586/#equivalence-of-two-literals
I took that to mean that for a value to really match a literal it should match in both type and value. The only problem with that is that I've found it to be very useful to allow
jsonsto "coerce" values that are equal in value into the literal value, the use case that prompted me to implement this actually relies on that behaviour.