1module ConvertBasicsModBy exposing (binop)
2
3
4binop =
5    modBy 4 -1
6
7
8binop_comments =
9    modBy {- B -} 4 {- A -} -1
10
11
12tigherBinding =
13    modBy (3 ^ 4) (1 ^ 2)
14
15
16tigherBinding_comments =
17    modBy {- D -} (3 {- E -} ^ {- F -} 4) {- C -} (1 {- A -} ^ {- B -} 2)
18
19
20looserBinding =
21    1 + modBy 3 2 + 4
22
23
24looserBinding_comments =
25    1 {- A -} + {- B -} modBy {- D -} 3 {- C -} 2 {- E -} + {- F -} 4
26
27
28fullyApplied =
29    modBy 4 -1
30
31
32fullyApplied_comments =
33    modBy {- B -} 4 {- A -} -1
34
35
36partiallyApplied =
37    \modulus -> modBy modulus 1
38
39
40unapplied =
41    \dividend modulus -> modBy modulus dividend
42
43
44extraArgs =
45    modBy 2 1 3 4
46