typed-encoding-0.2.2.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Conv.ByteString.Lazy.Char8

Description

Lazy version of Data.TypedEncoding.Conv.ByteString.Char8 @since 0.2.2.0

Synopsis

Documentation

>>> :set -XDataKinds -XTypeApplications -XOverloadedStrings

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

Type safe version of pack.

:t pack (undefined :: Enc '["r-bar", "r-ASCII"] () String) :t pack (undefined :: Enc '["r-bar", "r-foo"] () String)

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

Type safe version of unpack.