Data.TypedEncoding.Conv.ByteString.Char8

Encoding safe version of Data.ByteString.Char8 @since 0.2.2.0

Documentation

>>> :set -XDataKinds -XTypeApplications -XOverloadedStrings

pack :: (LLast xs ~ t, IsSuperset "r-ASCII" t ~ True) => Enc xs c String -> Enc xs c ByteString

Type safer version of pack.

This assumes that each of the encodings in xs work work equivalently in String and ByteString.

Because of how ByteString.Char8.pack works, the first encoding (last in the list) must restrict character set to a subset of ASCII.

Currently this uses (an over-conservative) "r-ASCII" superset constraint, in the future, this could be relaxed to a superset of ASCII, e.g. r-CHAR8 when one is in place.

>>> :t pack (undefined :: Enc '["r-bar", "r-foo"] () String)
...
... error:
... Couldn't match type ...
... "r-ASCII" "r-foo" ...
...

>>> displ $ pack (unsafeSetPayload () "Hello" :: Enc '["r-bar", "r-ASCII"] () String)
"Enc '[r-bar,r-ASCII] () (ByteString Hello)"

unpack :: (LLast xs ~ t, IsSuperset "r-ASCII" t ~ True) => Enc xs c ByteString -> Enc xs c String

unpack on encoded strings.

See pack