| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.TypedEncoding.Conv.Text
Description
Text encoding combinators specific to Text
@since 0.2.2.0
Documentation
>>>:set -XDataKinds -XTypeFamilies -XTypeApplications
pack :: Enc xs c String -> Enc xs c Text Source #
This assumes that each of the encodings in xs work work equivalently in String and Text.
unpack :: Enc xs c Text -> Enc xs c String Source #
This assumes that each of the encodings in xs work work equivalently in String and Text.
utf8Promote :: Enc xs c Text -> Enc (Snoc xs "r-UTF8") c Text Source #
Text is automatically "r-UTF8" encoded
Adding "r-UTF8" annotation simply adds type level interpretion requirement that Text is treated
as UTF8. The internals of Text (currently UTF-16) are not relevant and utf8Promote is implemented
as id. This is not the same as encoding Word8 layouts into Char-s.
This, in typed-encoding terminology, would be "enc-UTF8", not @"r-UTF8".
>>>displ $ utf8Promote $ toEncoding () ("text" :: T.Text)"Enc '[r-UTF8] () (Text text)"