Safe Haskell	Safe
Language	Haskell2010

Data.TypedEncoding.Instances.Enc.Base64

Contents

Conversions
Encoders
Decoders
Validation
Orphan instances

Description

Defines Base64 encoding

Synopsis

acceptLenientS :: Enc ("enc-B64-len" ': ys) c ByteString -> Enc ("enc-B64" ': ys) c ByteString
acceptLenientL :: Enc ("enc-B64-len" ': ys) c ByteString -> Enc ("enc-B64" ': ys) c ByteString
encB64B :: Applicative f => Encoding f "enc-B64" "enc-B64" c ByteString
encB64BL :: Applicative f => Encoding f "enc-B64" "enc-B64" c ByteString
endB64T :: Applicative f => Encoding f "enc-B64" "enc-B64" c Text
decB64B :: (UnexpectedDecodeErr f, Applicative f) => Decoding f "enc-B64" "enc-B64" c ByteString
decB64BL :: (UnexpectedDecodeErr f, Applicative f) => Decoding f "enc-B64" "enc-B64" c ByteString
decB64T :: (UnexpectedDecodeErr f, Applicative f) => Decoding f "enc-B64" "enc-B64" c Text
decB64TL :: (UnexpectedDecodeErr f, Applicative f) => Decoding f "enc-B64" "enc-B64" c Text

Documentation

>>> :set -XOverloadedStrings -XScopedTypeVariables -XKindSignatures -XMultiParamTypeClasses -XDataKinds -XPolyKinds -XPartialTypeSignatures -XFlexibleInstances -XTypeApplications
>>> import Test.QuickCheck
>>> import Test.QuickCheck.Instances.Text()
>>> import Test.QuickCheck.Instances.ByteString()

Conversions

acceptLenientS :: Enc ("enc-B64-len" ': ys) c ByteString -> Enc ("enc-B64" ': ys) c ByteString Source #

acceptLenientL :: Enc ("enc-B64-len" ': ys) c ByteString -> Enc ("enc-B64" ': ys) c ByteString Source #

Encoders

encB64B :: Applicative f => Encoding f "enc-B64" "enc-B64" c ByteString Source #

encB64BL :: Applicative f => Encoding f "enc-B64" "enc-B64" c ByteString Source #

endB64T :: Applicative f => Encoding f "enc-B64" "enc-B64" c Text Source #

This function will likely be removed in future versions (performance concerns)

Decoders

decB64B :: (UnexpectedDecodeErr f, Applicative f) => Decoding f "enc-B64" "enc-B64" c ByteString Source #

Effectful decoding for corruption detection. This protocol is used, for example, in emails. It is a well known encoding and hackers will have no problem making undetectable changes, but error handling at this stage could verify that email was corrupted.

decB64BL :: (UnexpectedDecodeErr f, Applicative f) => Decoding f "enc-B64" "enc-B64" c ByteString Source #

decB64T :: (UnexpectedDecodeErr f, Applicative f) => Decoding f "enc-B64" "enc-B64" c Text Source #

Warning: This method was not optimized for performance.

decB64TL :: (UnexpectedDecodeErr f, Applicative f) => Decoding f "enc-B64" "enc-B64" c Text Source #

Warning: This method was not optimized for performance.

Validation

Orphan instances

EncodingSuperset "enc-B64" Source #	This is not precise, actually Base 64 uses a subset of ASCII and that would require a new definition `"r-B64"`. This instance likely to be changed / corrected in the future if `"r-B64"` is defined. `>>>` `let tstB64 = encodeAll . toEncoding () $ "Hello World" :: Enc '["enc-B64"] () B.ByteString``>>>` `displ (_encodesInto @"r-ASCII" $ tstB64)`"Enc '[r-ASCII,enc-B64] () (ByteString SGVsbG8gV29ybGQ=)" `>>>` `displ (_encodesInto @"r-UTF8" $ tstB64)`"Enc '[r-UTF8,enc-B64] () (ByteString SGVsbG8gV29ybGQ=)" Since: 0.3.0.0
Instance details Associated Types type EncSuperset "enc-B64" :: Symbol Source # Methods implEncInto :: Enc ("enc-B64" ': xs) c str -> Enc (EncSuperset "enc-B64" ': ("enc-B64" ': xs)) c str Source #
FlattenAs "r-ASCII" "enc-B64" Source #
Instance details Methods flattenAs :: Enc ("enc-B64" ': xs) c str -> Enc ("r-ASCII" ': []) c str Source #
FlattenAs "r-ASCII" "enc-B64-nontext" Source #	allow to treat B64 encodings as ASCII forgetting about B64 encoding `>>>` `let tstB64 = encodeAll . toEncoding () $ "Hello World" :: Enc '["enc-B64"] () B.ByteString``>>>` `displ (flattenAs tstB64 :: Enc '["r-ASCII"] () B.ByteString)`"Enc '[r-ASCII] () (ByteString SGVsbG8gV29ybGQ=)"
Instance details Methods flattenAs :: Enc ("enc-B64-nontext" ': xs) c str -> Enc ("r-ASCII" ': []) c str Source #
Applicative f => Encode f "enc-B64" "enc-B64" c Text Source #	This instance will likely be removed in future versions (performance concerns)
Instance details Methods encoding :: Encoding f "enc-B64" "enc-B64" c Text Source #
Applicative f => Encode f "enc-B64" "enc-B64" c ByteString Source #
Instance details Methods encoding :: Encoding f "enc-B64" "enc-B64" c ByteString Source #
Applicative f => Encode f "enc-B64" "enc-B64" c ByteString Source #
Instance details Methods encoding :: Encoding f "enc-B64" "enc-B64" c ByteString Source #
Applicative f => Validate f "enc-B64-len" "enc-B64-len" c ByteString Source #	Lenient decoding does not fail
Instance details Methods validation :: Validation f "enc-B64-len" "enc-B64-len" c ByteString Source #
Applicative f => Validate f "enc-B64-len" "enc-B64-len" c ByteString Source #	Lenient decoding does not fail
Instance details Methods validation :: Validation f "enc-B64-len" "enc-B64-len" c ByteString Source #
(RecreateErr f, Applicative f) => Validate f "enc-B64" "enc-B64" c Text Source #
Instance details Methods validation :: Validation f "enc-B64" "enc-B64" c Text Source #
(RecreateErr f, Applicative f) => Validate f "enc-B64" "enc-B64" c Text Source #
Instance details Methods validation :: Validation f "enc-B64" "enc-B64" c Text Source #
(RecreateErr f, Applicative f) => Validate f "enc-B64" "enc-B64" c ByteString Source #
Instance details Methods validation :: Validation f "enc-B64" "enc-B64" c ByteString Source #
(RecreateErr f, Applicative f) => Validate f "enc-B64" "enc-B64" c ByteString Source #
Instance details Methods validation :: Validation f "enc-B64" "enc-B64" c ByteString Source #
(UnexpectedDecodeErr f, Applicative f) => Decode f "enc-B64" "enc-B64" c Text Source #	WARNING (performance)
Instance details Methods decoding :: Decoding f "enc-B64" "enc-B64" c Text Source #
(UnexpectedDecodeErr f, Applicative f) => Decode f "enc-B64" "enc-B64" c Text Source #	WARNING (performance)
Instance details Methods decoding :: Decoding f "enc-B64" "enc-B64" c Text Source #
(UnexpectedDecodeErr f, Applicative f) => Decode f "enc-B64" "enc-B64" c ByteString Source #
Instance details Methods decoding :: Decoding f "enc-B64" "enc-B64" c ByteString Source #
(UnexpectedDecodeErr f, Applicative f) => Decode f "enc-B64" "enc-B64" c ByteString Source #
Instance details Methods decoding :: Decoding f "enc-B64" "enc-B64" c ByteString Source #