Data.Text.Encoding.Base32

This module contains Text-valued combinators for implementing the RFC 4648 specification of the Base32 encoding format. This includes strictly padded/unpadded decoding variants, as well as internal and external validation for canonicity.

Documentation

encodeBase32 :: Text -> Text

Encode a Text value in Base32 with padding.

See: RFC-4648 section 6

Examples:

>>> encodeBase32 "Sun"
"KN2W4==="

decodeBase32 :: Text -> Either Text Text

Decode an arbitrarily padded Base32-encoded Text value. If its length is not a multiple of 4, then padding chars will be added to fill out the input to a multiple of 4 for safe decoding as base32 encodings are optionally padded.

Note: This function makes sure that decoding is total by deferring to decodeLatin1. This will always round trip for any valid Base32-encoded text value, but it may not round trip for bad inputs. The onus is on the caller to make sure inputs are valid. If unsure, defer to decodeBase32With and pass in a custom decode function.

See: RFC-4648 section 6

Examples:

>>> decodeBase32 "KN2W4==="
Right "Sun"

>>> decodeBase32 "KN2W4"
Right "Sun"

>>> decodeBase32 "KN2W==="
Left "Base32-encoded bytestring has invalid padding"

decodeBase32With

Arguments

:: (ByteString -> Either err Text)

convert a bytestring to text (e.g. decodeUtf8')

-> ByteString

Input text to decode

-> Either (Base32Error err) Text

Attempt to decode a Text value as Base32, converting from ByteString to Text according to some encoding function. In practice, This is something like decodeUtf8', which may produce an error.

See: RFC-4648 section 6

Example:

decodeBase32With decodeUtf8'
  :: ByteString -> Either (Base32Error UnicodeException) Text

encodeBase32Unpadded :: Text -> Text

Encode a Text value in Base32 without padding.

See: RFC-4648 section 6

Examples:

>>> encodeBase32Unpadded "Sun"
"KN2W4"

decodeBase32Unpadded :: Text -> Either Text Text

Decode an unpadded Base32 encoded Text value.

Note: This function makes sure that decoding is total by deferring to decodeLatin1. This will always round trip for any valid Base32-encoded text value, but it may not round trip for bad inputs. The onus is on the caller to make sure inputs are valid. If unsure, defer to decodeBase32WUnpaddedWith and pass in a custom decode function.

See: RFC-4648 section 6

Examples:

>>> decodeBase32Unpadded "KN2W4"
Right "Sun"

>>> decodeBase32Unpadded "KN2W4==="
Left "Base32-encoded bytestring has invalid padding"

decodeBase32UnpaddedWith

Arguments

:: (ByteString -> Either err Text)

convert a bytestring to text (e.g. decodeUtf8')

-> ByteString

Input text to decode

-> Either (Base32Error err) Text

Attempt to decode an unpadded ByteString value as Base32, converting from ByteString to Text according to some encoding function. In practice, This is something like decodeUtf8', which may produce an error.

See: RFC-4648 section 6

Example:

decodeBase32UnpaddedWith decodeUtf8'
  :: ByteString -> Either (Base32Error UnicodeException) Text

decodeBase32Padded :: Text -> Either Text Text

Decode an padded Base32 encoded Text value

Note: This function makes sure that decoding is total by deferring to decodeLatin1. This will always round trip for any valid Base32-encoded text value, but it may not round trip for bad inputs. The onus is on the caller to make sure inputs are valid. If unsure, defer to decodeBase32PaddedWith and pass in a custom decode function.

See: RFC-4648 section 6

Examples:

>>> decodeBase32Padded "KN2W4==="
Right "Sun"

>>> decodeBase32Padded "KN2W4"
Left "Base32-encoded bytestring requires padding"

decodeBase32PaddedWith

Arguments

:: (ByteString -> Either err Text)

convert a bytestring to text (e.g. decodeUtf8')

-> ByteString

Input text to decode

-> Either (Base32Error err) Text

Attempt to decode a padded ByteString value as Base32, converting from ByteString to Text according to some encoding function. In practice, This is something like decodeUtf8', which may produce an error.

See: RFC-4648 section 6

Example:

decodeBase32PaddedWith decodeUtf8'
  :: ByteString -> Either (Base32Error UnicodeException) Text

isBase32 :: Text -> Bool

Tell whether a Text value is Base32-encoded

Examples:

>>> isBase32 "KN2W4"
True

>>> isBase32 "KN2W4==="
True

>>> isBase32 "KN2W4=="
False

isValidBase32 :: Text -> Bool

Tell whether a Text value is a valid Base32 format.

This will not tell you whether or not this is a correct Base32 representation, only that it conforms to the correct shape. To check whether it is a true Base32 encoded Text value, use isBase32.

Examples:

>>> isValidBase32 "KN2W4"
True

>>> isValidBase32 "KN2W4="
False

>>> isValidBase32 "KN2W4%"
False