Data.TypedEncoding.Instances.Restriction.UTF8

'UTF-8' encoding with additional assumption of conforming to Unicode.D76.

"r-UTF-8" basically defines restriction on ByteString that is needed for conversion to Text to work.

Since: 0.1.0.0

Documentation

prxyUtf8 :: Proxy "r-UTF8"

encUTF8B :: Encoding (Either EncodeEx) "r-UTF8" "r-UTF8" c ByteString

encUTF8BL :: Encoding (Either EncodeEx) "r-UTF8" "r-UTF8" c ByteString

verEncoding :: ByteString -> Either err ByteString -> Bool

helper function checks that given ByteString, if is encoded as Left is must be not Utf8 decodable is is encoded as Right is must be Utf8 encodable

reexported for backward compatibility, will be removed in the future

implVerifyR :: (a -> Either err b) -> a -> Either err a

Since: 0.5.1.0

Orphan instances

(RecreateErr f, Applicative f) => Validate f "r-UTF8" "r-UTF8" c ByteString

Methods

validation :: Validation f "r-UTF8" "r-UTF8" c ByteString

(RecreateErr f, Applicative f) => Validate f "r-UTF8" "r-UTF8" c ByteString

Methods

validation :: Validation f "r-UTF8" "r-UTF8" c ByteString

Applicative f => Decode f "r-UTF8" "r-UTF8" c str

Methods

decoding :: Decoding f "r-UTF8" "r-UTF8" c str

Encode (Either EncodeEx) "r-UTF8" "r-UTF8" c ByteString

Methods

encoding :: Encoding (Either EncodeEx) "r-UTF8" "r-UTF8" c ByteString

Encode (Either EncodeEx) "r-UTF8" "r-UTF8" c ByteString

UTF8 encodings are defined for ByteString only as that would not make much sense for Text

>>> _runEncodings encodings . toEncoding () $ "\xc3\xb1" :: Either EncodeEx (Enc '["r-UTF8"] () B.ByteString)
Right (UnsafeMkEnc Proxy () "\195\177")

>>> _runEncodings encodings . toEncoding () $ "\xc3\x28" :: Either EncodeEx (Enc '["r-UTF8"] () B.ByteString)
Left (EncodeEx "r-UTF8" (Cannot decode byte '\xc3': ...

Following test uses verEncoding helper that checks that bytes are encoded as Right iff they are valid UTF8 bytes

>>> :{
quickCheck $ \(b :: B.ByteString) -> verEncoding b $ fmap (
         fromEncoding 
         . decodeAll @'["r-UTF8"]
         ) . encodeFAll @'["r-UTF8"] @(Either EncodeEx)
         . toEncoding () $ b
:}
+++ OK, passed 100 tests.

Methods

encoding :: Encoding (Either EncodeEx) "r-UTF8" "r-UTF8" c ByteString