git.iko.soy/Idris-dev
on 65ba5c5 help sign in
Idris-dev/test/buffer002/buffer002.idr
27 lines 778 B history raw
1import Data.Buffer
3main : IO ()
4main = do Just buf <- newBuffer 40
5 printLn (size buf)
6 setInt buf 5 1234567890
7 setInt buf 36 1234567890
8 setString buf 20 "Hello world!"
9 printLn !(bufferData buf)
11 val <- getInt buf 5
12 printLn val
13 val <- getInt buf 6
14 printLn val
15 val <- getInt buf 36
16 printLn val
17 val <- getInt buf 37 -- out of bounds, expect 0
18 printLn val
20 str <- getString buf 20 10
21 putStrLn str
22 str <- getString buf 20 12
23 putStrLn str
24 str <- getString buf 200 12 -- out of bounds, expect ""
25 printLn str
26 str <- getString buf 35 12 -- out of bounds, expect ""
27 printLn str