Isomorphism fails
tonymorris opened this issue · comments
Tony Morris commented
Although there exists Iso' Text String
, this is not a true isomorphism. Consequently, similar optics in Text1
exhibit issues.
From the documentation for Data.Text
:
a Text cannot contain values in the range U+D800 to U+DFFF inclusive
Tony Morris commented
? Perhaps justifiable as "improper isomorphisms"
Seems a bit blasé. Tips?
George Wilson commented
So it's only partial in one direction?
If you're not happy with "improper isomorphism", it sounds like Prism is the answer.