NICTA / text1

Non-empty text

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Isomorphism fails

tonymorris opened this issue · comments

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

? Perhaps justifiable as "improper isomorphisms"

Seems a bit blasé. Tips?

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