Idris2Doc : Data.String.Base64

Data.String.Base64

(source)

Definitions

setBytes : Buffer->Int->ListBits8->IO ()
Visibility: export
base64EncodeLength : Int->Int
  Given a length of data to be base64 encoded, this function yields the length of the encoded data

Visibility: export
base64DecodeLength : Int->Int
  Given a length of base64 encoded data, this function yields the maximum length of the data after decoding

Visibility: export
base64EncodeBuffer : Buffer->Buffer->Int->IOInt
  @ dest is the destination buffer, in which the result is written.
@ str is the source buffer.
@ strlen is the length of the source buffer.

Visibility: export
base64Encode : ListBits8->ListBits8
Visibility: export
base64EncodeString : ListBits8->String
Visibility: export
base64DecodeBuffer : Buffer->Buffer->Int->IOInt
  @ out must be large enough (see base64DecodeLength). The result is written here.
@ src must be at least as large as srclen denotes
@ srclen must be zero or positive
Returns MAX_INT of Int when there was an error

Visibility: export
base64DecodeString : String->IO (Maybe (ListBits8))
Visibility: export
base64DecodeBits8 : ListBits8->Maybe (ListBits8)
Visibility: export