git.iko.soy/Idris-dev
on 7454bb2 help sign in
Idris-dev/test/buffer002/buffer002.idr
34 lines 886 B history raw
1import Data.Buffer
3main : IO ()
4main = do Just buf <- newBuffer 40
5 printLn (size buf)
6 setInt buf 5 (-1024567890)
7 setInt buf 36 1034567890
8 setString buf 20 "Hello world!"
10 printLn !(bufferData buf)
12 setDouble buf 10 123.456
14 val <- getInt buf 5
15 printLn val
16 val <- getInt buf 6
17 printLn val
19 val <- getDouble buf 10
20 printLn val
22 val <- getInt buf 36
23 printLn val
24 val <- getInt buf 37 -- out of bounds, expect 0
25 printLn val
27 str <- getString buf 20 10
28 putStrLn str
29 str <- getString buf 20 12
30 putStrLn str
31 str <- getString buf 200 12 -- out of bounds, expect ""
32 printLn str
33 str <- getString buf 35 12 -- out of bounds, expect ""
34 printLn str