Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Base64 – RFC 4648 Codec

Lean: Hale.Base64 | Haskell: base64-bytestring

Base64 encoding and decoding per RFC 4648.

Guarantees

  • decode (encode bs) = some bs (roundtrip)
  • Output of encode contains only [A-Za-z0-9+/=]

API

FunctionSignature
encodeByteArray → String
decodeString → Option ByteArray

Files

  • Hale/Base64/Data/ByteString/Base64.lean – encode, decode