idris-0.12.3: test/basic011/basic011.idr

module Main

import Data.Hash

main : IO ()
main = do printLn $ hash (the Bits8 3)
          printLn $ hash (the (List Bits8) [3])
          printLn $ hash "hello world"
          printLn $ hash 'a'
          printLn $ hash (the Bits8 3)
          printLn $ hash (the Bits16 3)
          printLn $ hash (the Bits32 3)
          printLn $ hash (the Bits64 3)
          printLn $ hash (the Int 3)
          printLn $ hash (the Integer 3)
          printLn $ divB8 10 255
          printLn $ divB16 10 65535
          printLn $ divB32 10 4294967295
          printLn $ divB64 10 18446744073709551615