def Data.ByteString.Base64.encode (input : ByteArray) : String

Encode a ByteArray to Base64. $$\text{encode} : \text{ByteArray} \to \text{String}$$

Equations

• One or more equations did not get rendered due to their size.

def Data.ByteString.Base64.decode (input : String) : Option ByteArray

Decode a Base64 string back to ByteArray. Returns none on invalid input. $$\text{decode} : \text{String} \to \text{Option ByteArray}$$

Equations

• One or more equations did not get rendered due to their size.