Idris2Doc : Utils.Base64

Utils.Base64

(source)
Definitions
is_base64_char : Char -> Bool
  Totality: total
  Visibility: export
base64_decode : String -> Either String (List Bits8)
  Totality: total
  Visibility: export
base64_encode : List Bits8 -> String
  Totality: total
  Visibility: export