Documentation

This isomorphism can be used to pack (or unpack ) strict Text .

>>> "hello"^.packed -- :: Text
"hello"

pack x ≡ x ^. packed
unpack x ≡ x ^. from packed
packed ≡ from unpacked
packed ≡ iso pack unpack

This isomorphism can be used to unpack (or pack ) lazy Text .

>>> "hello"^.unpacked -- :: String
"hello"

This Iso is provided for notational convenience rather than out of great need, since

unpacked ≡ from packed

pack x ≡ x ^. from unpacked
unpack x ≡ x ^. packed
unpacked ≡ iso unpack pack

Convert between strict Text and Builder .

fromText x ≡ x ^. builder
toStrict (toLazyText x) ≡ x ^. from builder

Traverse the individual characters in strict Text .

>>> anyOf text (=='o') "hello"
True

When the type is unambiguous, you can also use the more general each .

text ≡ unpacked . traversed
text ≡ each

Note that when just using this as a Setter , setting map can be more efficient.

Encode/Decode a strict Text to/from strict ByteString , via UTF-8.

>>> utf8 # "☃"
"\226\152\131"

This is an alias for unpacked that makes it more obvious how to use it with #

> _Text # "hello" -- :: Text

"hello"