git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/basic011/basic011.idr
20 lines 598 B history raw
1module Main
3import Data.Hash
5main : IO ()
6main = do printLn $ hash (the Bits8 3)
7 printLn $ hash (the (List Bits8) [3])
8 printLn $ hash "hello world"
9 printLn $ hash 'a'
10 printLn $ hash (the Bits8 3)
11 printLn $ hash (the Bits16 3)
12 printLn $ hash (the Bits32 3)
13 printLn $ hash (the Bits64 3)
14 printLn $ hash (the Int 3)
15 printLn $ hash (the Integer 3)
16 printLn $ divB8 10 255
17 printLn $ divB16 10 65535
18 printLn $ divB32 10 4294967295
19 printLn $ divB64 10 18446744073709551615