search

NICTA / text1

Non-empty text
Other
3 stars 1 forks source link

Isomorphism fails #2

Open tonymorris opened 9 years ago

tonymorris commented 9 years ago

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

tonymorris commented 9 years ago

? Perhaps justifiable as "improper isomorphisms"

Seems a bit blasé. Tips?

gwils commented 7 years ago

So it's only partial in one direction? If you're not happy with "improper isomorphism", it sounds like Prism is the answer.