git.iko.soy/Idris-dev
on d689c19 help sign in
Idris-dev/test/basic024/basic024.idr
51 lines 1.4 kB history raw
1module basic024
3namespace Main
4 main : IO ()
5 main = do
6 printLn $ div (the Integer 5) 2
7 printLn $ div (the Int 5) 2
8 printLn $ div (the Bits8 5) 2
9 printLn $ div (the Bits16 5) 2
10 printLn $ div (the Bits32 5) 2
11 printLn $ div (the Bits64 5) 2
12 printLn $ div (the Nat 5) 2
14 printLn $ mod (the Integer 5) 2
15 printLn $ mod (the Int 5) 2
16 printLn $ mod (the Bits8 5) 2
17 printLn $ mod (the Bits16 5) 2
18 printLn $ mod (the Bits32 5) 2
19 printLn $ mod (the Bits64 5) 2
20 printLn $ mod (the Nat 5) 2
22 printLn $ div (the Integer 3) 5
23 printLn $ div (the Int 3) 5
24 printLn $ div (the Bits8 3) 5
25 printLn $ div (the Bits16 3) 5
26 printLn $ div (the Bits32 3) 5
27 printLn $ div (the Bits64 3) 5
28 printLn $ div (the Nat 3) 5
30 printLn $ mod (the Integer 3) 5
31 printLn $ mod (the Int 3) 5
32 printLn $ mod (the Bits8 3) 5
33 printLn $ mod (the Bits16 3) 5
34 printLn $ mod (the Bits32 3) 5
35 printLn $ mod (the Bits64 3) 5
36 printLn $ mod (the Nat 3) 5
38 printLn $ div (the Integer (-5)) 2
39 printLn $ div (the Int (-5)) 2
41 printLn $ mod (the Integer (-5)) 2
42 printLn $ mod (the Int (-5)) 2
44 printLn $ div (the Integer (-3)) 5
45 printLn $ div (the Int (-3)) 5
47 printLn $ mod (the Integer (-3)) 5
48 printLn $ mod (the Int (-3)) 5
50 printLn $ div (-432642342742368327462378462387) 36473264372
51 printLn $ mod (-432642342742368327462378462387) 36473264372