Copyright | (c) 2019-2023 Emily Pillmore |
---|---|
License | BSD-style |
Maintainer | Emily Pillmore <emilypi@cohomolo.gy> |
Stability | stable |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
This module contains Text
-valued combinators for
implementing the RFC 4648 specification of the Base32hex
encoding format. This includes strictly padded/unpadded decoding
variants, as well as internal and external validation for canonicity.
Synopsis
- encodeBase32 :: Text -> Text
- encodeBase32Unpadded :: Text -> Text
- decodeBase32 :: Text -> Either Text Text
- decodeBase32With :: (ByteString -> Either err Text) -> ByteString -> Either (Base32Error err) Text
- decodeBase32Unpadded :: Text -> Either Text Text
- decodeBase32UnpaddedWith :: (ByteString -> Either err Text) -> ByteString -> Either (Base32Error err) Text
- decodeBase32Padded :: Text -> Either Text Text
- decodeBase32PaddedWith :: (ByteString -> Either err Text) -> ByteString -> Either (Base32Error err) Text
- isBase32Hex :: Text -> Bool
- isValidBase32Hex :: Text -> Bool
Encoding
encodeBase32 :: Text -> Text Source #
Encode a Text
value in Base32hex with padding.
See: RFC-4648 section 7
Examples:
>>>
encodeBase32 "Sun"
"ADQMS==="
encodeBase32Unpadded :: Text -> Text Source #
Encode a Text
value in Base32hex without padding. Note that for Base32hex,
padding is optional. If you call this function, you will simply be encoding
as Base32hex and stripping padding chars from the output.
See: RFC-4648 section 7
Examples:
>>>
encodeBase32Unpadded "Sun"
"ADQMS"
Decoding
decodeBase32 :: Text -> Either Text Text Source #
Decode a padded Base32hex-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 base32hex encodings are optionally padded.
Note: This function makes sure that decoding is total by deferring to
decodeUtf8
. 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 7
Examples:
>>>
decodeBase32 "ADQMS==="
Right "Sun"
>>>
decodeBase32 "ADQMS"
Right "Sun"
>>>
decodeBase32 "ADQMS==="
Left "Base32-encoded bytestring has invalid padding"
:: (ByteString -> Either err Text) | convert a bytestring to text (e.g. |
-> ByteString | Input text to decode |
-> Either (Base32Error err) Text |
Attempt to decode a lazy ByteString
value as Base32hex, 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 7
Examples:
decodeBase32With
decodeUtf8'
::ByteString
->Either
(Base32Error
UnicodeException
)Text
decodeBase32Unpadded :: Text -> Either Text Text Source #
Decode an unpadded Base32hex encoded Text
value.
Note: This function makes sure that decoding is total by deferring to
decodeUtf8
. 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 7
Examples:
>>>
decodeBase32Unpadded "ADQMS"
Right "Sun"
>>>
decodeBase32Unpadded "ADQMS==="
Left "Base32-encoded bytestring has invalid padding"
decodeBase32UnpaddedWith Source #
:: (ByteString -> Either err Text) | convert a bytestring to text (e.g. |
-> ByteString | Input text to decode |
-> Either (Base32Error err) Text |
Attempt to decode an unpadded lazy ByteString
value as Base32hex, 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 7
Examples:
decodeBase32UnpaddedWith
decodeUtf8'
::ByteString
->Either
(Base32Error
UnicodeException
)Text
decodeBase32Padded :: Text -> Either Text Text Source #
Decode an padded Base32hex encoded Text
value
Note: This function makes sure that decoding is total by deferring to
decodeUtf8
. 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 7
Examples:
>>>
decodeBase32Padded "ADQMS==="
Right "Sun"
>>>
decodeBase32Padded "ADQMS"
Left "Base32-encoded bytestring requires padding"
decodeBase32PaddedWith Source #
:: (ByteString -> Either err Text) | convert a bytestring to text (e.g. |
-> ByteString | Input text to decode |
-> Either (Base32Error err) Text |
Attempt to decode a padded lazy ByteString
value as Base32hex, 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 7
Example:
decodeBase32PaddedWith
decodeUtf8'
::ByteString
->Either
(Base32Error
UnicodeException
)Text
Validation
isBase32Hex :: Text -> Bool Source #
Tell whether a Text
value is Base32hex-encoded
Examples:
>>>
isBase32Hex "ADQMS"
True
>>>
isBase32Hex "ADQMS==="
True
>>>
isBase32Hex "ADQMS=="
False
isValidBase32Hex :: Text -> Bool Source #
Tell whether a Text
value is a valid Base32hex format.
This will not tell you whether or not this is a correct Base32hex representation,
only that it conforms to the correct shape. To check whether it is a true
Base32 encoded Text
value, use isBase32Hex
.
Examples:
>>>
isValidBase32Hex "ADQMS"
True
>>>
isValidBase32Hex "ADQMS="
False
>>>
isValidBase32Hex "ADQMS%"
False