Text.Lazy

Text

module Data.Text.Lazy

module Data.Text.Lazy.Encoding

Optics

packed :: Iso' String Text

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

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

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

unpacked :: Iso' Text String

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

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

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

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

unpacked ≡ from packed

text :: IndexedTraversal' Int Text Char

Traverse the individual characters in a Text.

>>> anyOf text (=='c') "chello"
True

text = unpacked . traversed

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

text ≡ each

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

builder :: Iso' Text Builder

Convert between lazy Text and Builder .

fromLazyText x ≡ x ^. builder
toLazyText x ≡ x ^. from builder