Encode a Text value in Base64url with padding.
See: RFC-4648 section 5
Examples:
encodeBase64 "<<?>>""PDw_Pj4="
:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Modulebase64-1.0Haskell2010
This module contains Text-valued combinators for implementing the RFC 4648 specification of the Base64url encoding format. This includes strictly padded/unpadded and lenient decoding variants, as well as internal and external validation for canonicity.
Encode a Text value in Base64url with padding.
See: RFC-4648 section 5
encodeBase64 "<<?>>""PDw_Pj4="
Encode a Text value in Base64url without padding.
See: RFC-4648 section 3.2
encodeBase64Unpadded "<<?>>""PDw_Pj4"
Decode a Base64url encoded Text value, either padded or unpadded. The correct decoding function is dispatched based on the existence of padding.
For typed values: - If a padded value is required, use decodeBase64Padded - If an unpadded value is required, use decodeBase64Unpadded
See: RFC-4648 section 4
decodeBase64 $ assertBase64 @'UrlPadded "PDw_Pj4=""<<?>>"
decodeBase64 $ assertBase64 @'UrlUnpadded "PDw_Pj4""<<?>>"
Decode an untyped Base64url 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 Base64url-encoded values are optionally padded.
For a decoder that fails to decode untyped values of incorrect size: - If a padded value is required, use decodeBase64PaddedUntyped - If an unpadded value is required, use decodeBase64UnpaddedUntyped
See: RFC-4648 section 4
decodeBase64Untyped "PDw_Pj4="Right "<<?>>"
decodeBase64Untyped "PDw_Pj4"Right "<<?>>"
decodeBase64Untyped "PDw-Pg="Left "Base64-encoded bytestring has invalid padding"
decodeBase64Untyped "PDw-Pg"Right "<<>>"
decodeBase64UntypedWith :: (ByteString -> Either err Text)convert a bytestring to text (e.g. decodeUtf8')
-> ByteStringInput text to decode
-> Either (Base64Error err) TextAttempt to decode an untyped ByteString value as Base64url, 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 4
decodeBase64UntypedWith decodeUtf8'
:: Text -> Either (Base64Error UnicodeException) Text
Decode an unpadded Base64url encoded Text value.
See: RFC-4648 section 4
decodeBase64Unpadded $ assertBase64 @'UrlUnpadded "PDw_Pj4""<<?>>"
Decode a unpadded, untyped Base64url-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 base64url encodings are optionally padded.
For a decoder that fails on unpadded input, use decodeBase64PaddedUntyped
See: RFC-4648 section 4
decodeBase64UnpaddedUntyped "PDw_Pj4"Right "<<?>>"
decodeBase64UnpaddedUntyped "PDw-Pg="Left "Base64-encoded bytestring has invalid padding"
decodeBase64UnpaddedUntyped "PDw-Pg"Right "<<>>"
decodeBase64UnpaddedUntypedWith :: (ByteString -> Either err Text)convert a bytestring to text (e.g. decodeUtf8')
-> ByteStringInput text to decode
-> Either (Base64Error err) TextAttempt to decode an untyped, unpadded ByteString value as Base64url, 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 4
decodeBase64UnpaddedUntypedWith decodeUtf8'
:: ByteString -> Either (Base64Error UnicodeException) Text
Decode a padded Base64url encoded Text value
See: RFC-4648 section 4
decodeBase64Padded $ assertBase64 @'UrlPadded "PDw_Pj4=""<<?>>"
Decode an untyped, padded Base64url encoded Text value
For a decoder that fails on padded input, use decodeBase64UnpaddedUntyped
See: RFC-4648 section 4
decodeBase64PaddedUntyped "PDw_Pj4="Right "<<?>>"
decodeBase64PaddedUntypedWith :: (ByteString -> Either err Text)convert a bytestring to text (e.g. decodeUtf8')
-> ByteStringInput text to decode
-> Either (Base64Error err) TextAttempt to decode a padded, untyped ByteString value as Base64url, 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 4
decodeBase64PaddedWith decodeUtf8'
:: ByteString -> Either (Base64Error UnicodeException) Text
Leniently decode an untyped Base64url-encoded Text. This function will not generate parse errors. If input data contains padding chars, then the input will be parsed up until the first pad character.
Note: This is not RFC 4648-compliant.
decodeBase64Lenient "PDw_Pj4=""<<?>>"
decodeBase64Lenient "PDw_%%%$}Pj4""<<?>>"
Tell whether an untyped Text value is Base64url-encoded.
isBase64Url "PDw_Pj4="True
isBase64Url "PDw_Pj4"True
isBase64Url "PDw_Pj"False
Tell whether an untyped Text value is a valid Base64url format.
This will not tell you whether or not this is a correct Base64url representation, only that it conforms to the correct shape. To check whether it is a true Base64 encoded Text value, use isBase64Url.
isValidBase64Url "PDw_Pj4="True
isValidBase64Url "PDw_Pj"True
isValidBase64Url "%"False