Idris2Doc : UTF8

UTF8

(source)
Definitions
utf8Decode : IBuffer n -> String
  Visibility: export
utf8Encode : (str : String) -> IBuffer (cast (stringByteLength str))
  Visibility: export