File tree
26 files changed
+185
-133
lines changed- core/src
- main/java/fj
- control
- data
- hlist
- optic
- test/java/fj
- control/parallel
- data
- gradle/wrapper
- props-core/src/test/java/fj
- data/fingertrees
- quickcheck/src/main/java/fj/test
26 files changed
+185
-133
lines changedLines changed: 8 additions & 16 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
21 | 21 |
| |
22 | 22 |
| |
23 | 23 |
| |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
24 | 29 |
| |
25 | 30 |
| |
26 | 31 |
| |
| |||
117 | 122 |
| |
118 | 123 |
| |
119 | 124 |
| |
120 |
| - | |
121 |
| - | |
122 |
| - | |
123 |
| - | |
124 |
| - | |
125 |
| - | |
126 |
| - | |
127 |
| - | |
128 |
| - | |
129 |
| - | |
130 |
| - | |
131 |
| - | |
132 |
| - | |
133 | 125 |
| |
134 | 126 |
| |
135 | 127 |
| |
136 |
| - | |
| 128 | + | |
137 | 129 |
| |
138 | 130 |
| |
139 | 131 |
| |
| |||
192 | 184 |
| |
193 | 185 |
| |
194 | 186 |
| |
195 |
| - | |
| 187 | + | |
196 | 188 |
| |
197 | 189 |
| |
198 | 190 |
| |
199 | 191 |
| |
200 | 192 |
| |
201 | 193 |
| |
202 | 194 |
| |
203 |
| - | |
| 195 | + | |
204 | 196 |
| |
205 | 197 |
|
Lines changed: 14 additions & 14 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
778 | 778 |
| |
779 | 779 |
| |
780 | 780 |
| |
781 |
| - | |
| 781 | + | |
782 | 782 |
| |
783 | 783 |
| |
784 | 784 |
| |
785 |
| - | |
| 785 | + | |
786 | 786 |
| |
787 | 787 |
| |
788 | 788 |
| |
789 | 789 |
| |
790 | 790 |
| |
791 | 791 |
| |
792 | 792 |
| |
793 |
| - | |
| 793 | + | |
794 | 794 |
| |
795 | 795 |
| |
796 | 796 |
| |
797 |
| - | |
| 797 | + | |
798 | 798 |
| |
799 | 799 |
| |
800 | 800 |
| |
801 | 801 |
| |
802 | 802 |
| |
803 | 803 |
| |
804 | 804 |
| |
805 |
| - | |
| 805 | + | |
806 | 806 |
| |
807 | 807 |
| |
808 | 808 |
| |
809 |
| - | |
| 809 | + | |
810 | 810 |
| |
811 | 811 |
| |
812 | 812 |
| |
813 | 813 |
| |
814 | 814 |
| |
815 | 815 |
| |
816 | 816 |
| |
817 |
| - | |
| 817 | + | |
818 | 818 |
| |
819 | 819 |
| |
820 | 820 |
| |
821 |
| - | |
| 821 | + | |
822 | 822 |
| |
823 | 823 |
| |
824 | 824 |
| |
| |||
827 | 827 |
| |
828 | 828 |
| |
829 | 829 |
| |
830 |
| - | |
| 830 | + | |
831 | 831 |
| |
832 | 832 |
| |
833 | 833 |
| |
834 |
| - | |
| 834 | + | |
835 | 835 |
| |
836 | 836 |
| |
837 | 837 |
| |
| |||
840 | 840 |
| |
841 | 841 |
| |
842 | 842 |
| |
843 |
| - | |
| 843 | + | |
844 | 844 |
| |
845 | 845 |
| |
846 | 846 |
| |
847 |
| - | |
| 847 | + | |
848 | 848 |
| |
849 | 849 |
| |
850 | 850 |
| |
| |||
853 | 853 |
| |
854 | 854 |
| |
855 | 855 |
| |
856 |
| - | |
| 856 | + | |
857 | 857 |
| |
858 | 858 |
| |
859 | 859 |
| |
860 |
| - | |
| 860 | + | |
861 | 861 |
| |
862 | 862 |
| |
863 | 863 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
246 | 246 |
| |
247 | 247 |
| |
248 | 248 |
| |
249 |
| - | |
| 249 | + | |
250 | 250 |
| |
251 | 251 |
| |
252 | 252 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
42 | 42 |
| |
43 | 43 |
| |
44 | 44 |
| |
45 |
| - | |
| 45 | + | |
46 | 46 |
| |
47 | 47 |
| |
48 | 48 |
| |
| 49 | + | |
49 | 50 |
| |
50 | 51 |
| |
51 | 52 |
| |
|
Lines changed: 3 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
134 | 134 |
| |
135 | 135 |
| |
136 | 136 |
| |
137 |
| - | |
| 137 | + | |
138 | 138 |
| |
139 | 139 |
| |
140 | 140 |
| |
| |||
527 | 527 |
| |
528 | 528 |
| |
529 | 529 |
| |
530 |
| - | |
| 530 | + | |
531 | 531 |
| |
| 532 | + | |
532 | 533 |
| |
533 | 534 |
| |
534 | 535 |
| |
|
Lines changed: 6 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
43 | 43 |
| |
44 | 44 |
| |
45 | 45 |
| |
46 |
| - | |
| 46 | + | |
47 | 47 |
| |
48 | 48 |
| |
49 | 49 |
| |
| |||
110 | 110 |
| |
111 | 111 |
| |
112 | 112 |
| |
113 |
| - | |
| 113 | + | |
114 | 114 |
| |
115 | 115 |
| |
116 | 116 |
| |
| |||
148 | 148 |
| |
149 | 149 |
| |
150 | 150 |
| |
151 |
| - | |
| 151 | + | |
152 | 152 |
| |
153 | 153 |
| |
154 | 154 |
| |
| |||
175 | 175 |
| |
176 | 176 |
| |
177 | 177 |
| |
178 |
| - | |
| 178 | + | |
179 | 179 |
| |
180 | 180 |
| |
181 | 181 |
| |
182 | 182 |
| |
183 | 183 |
| |
184 | 184 |
| |
185 |
| - | |
| 185 | + | |
186 | 186 |
| |
187 | 187 |
| |
188 | 188 |
| |
189 | 189 |
| |
190 | 190 |
| |
191 | 191 |
| |
192 |
| - | |
| 192 | + | |
193 | 193 |
| |
194 | 194 |
| |
195 | 195 |
| |
|
Lines changed: 8 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
21 |
| - | |
| 21 | + | |
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
25 | 25 |
| |
26 |
| - | |
27 |
| - | |
28 |
| - | |
29 |
| - | |
30 |
| - | |
31 |
| - | |
32 |
| - | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
33 | 33 |
| |
34 | 34 |
| |
35 | 35 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1420 | 1420 |
| |
1421 | 1421 |
| |
1422 | 1422 |
| |
| 1423 | + | |
1423 | 1424 |
| |
1424 | 1425 |
| |
1425 | 1426 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
134 | 134 |
| |
135 | 135 |
| |
136 | 136 |
| |
| 137 | + | |
137 | 138 |
| |
138 | 139 |
| |
| 140 | + | |
139 | 141 |
| |
140 | 142 |
| |
141 | 143 |
| |
| |||
346 | 348 |
| |
347 | 349 |
| |
348 | 350 |
| |
349 |
| - | |
| 351 | + |
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
57 | 57 |
| |
58 | 58 |
| |
59 | 59 |
| |
60 |
| - | |
| 60 | + | |
61 | 61 |
| |
62 | 62 |
| |
63 | 63 |
| |
| |||
92 | 92 |
| |
93 | 93 |
| |
94 | 94 |
| |
95 |
| - | |
| 95 | + | |
96 | 96 |
| |
97 | 97 |
| |
98 | 98 |
| |
|
0 commit comments