0 | module UTF8
 1 |
 2 | import Data.Array.Index
 3 | import Data.Buffer
 4 | import Data.Buffer.Core
 5 |
 6 | --------------------------------------------------------------------------------
 7 | --          Decoding
 8 | --------------------------------------------------------------------------------
 9 |
10 | export
11 | utf8Decode : {n : _} -> IBuffer n -> String
12 | utf8Decode buf = toString buf 0 n
13 |
14 | --------------------------------------------------------------------------------
15 | --          Encoding
16 | --------------------------------------------------------------------------------
17 |
18 | export
19 | utf8Encode : (str : String) -> IBuffer (cast (stringByteLength str))
20 | utf8Encode str = fromString str
21 |