File tree
12 files changed
+104
-61
lines changed- src
- main/java/com/jnape/palatable/lambda/adt/hlist
- test/java/com/jnape/palatable/lambda/adt/hlist
12 files changed
+104
-61
lines changedLines changed: 9 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
219 | 219 |
| |
220 | 220 |
| |
221 | 221 |
| |
| 222 | + | |
| 223 | + | |
| 224 | + | |
| 225 | + | |
| 226 | + | |
| 227 | + | |
| 228 | + | |
| 229 | + | |
| 230 | + | |
222 | 231 |
| |
223 | 232 |
| |
224 | 233 |
| |
|
Lines changed: 9 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
246 | 246 |
| |
247 | 247 |
| |
248 | 248 |
| |
| 249 | + | |
| 250 | + | |
| 251 | + | |
| 252 | + | |
| 253 | + | |
| 254 | + | |
| 255 | + | |
| 256 | + | |
| 257 | + | |
249 | 258 |
| |
250 | 259 |
| |
251 | 260 |
| |
|
Lines changed: 9 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
273 | 273 |
| |
274 | 274 |
| |
275 | 275 |
| |
| 276 | + | |
| 277 | + | |
| 278 | + | |
| 279 | + | |
| 280 | + | |
| 281 | + | |
| 282 | + | |
| 283 | + | |
| 284 | + | |
276 | 285 |
| |
277 | 286 |
| |
278 | 287 |
| |
|
Lines changed: 9 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
304 | 304 |
| |
305 | 305 |
| |
306 | 306 |
| |
| 307 | + | |
| 308 | + | |
| 309 | + | |
| 310 | + | |
| 311 | + | |
| 312 | + | |
| 313 | + | |
| 314 | + | |
| 315 | + | |
307 | 316 |
| |
308 | 317 |
| |
309 | 318 |
| |
|
Lines changed: 9 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
334 | 334 |
| |
335 | 335 |
| |
336 | 336 |
| |
| 337 | + | |
| 338 | + | |
| 339 | + | |
| 340 | + | |
| 341 | + | |
| 342 | + | |
| 343 | + | |
| 344 | + | |
| 345 | + | |
337 | 346 |
| |
338 | 347 |
| |
339 | 348 |
| |
|
Lines changed: 9 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
364 | 364 |
| |
365 | 365 |
| |
366 | 366 |
| |
| 367 | + | |
| 368 | + | |
| 369 | + | |
| 370 | + | |
| 371 | + | |
| 372 | + | |
| 373 | + | |
| 374 | + | |
| 375 | + | |
367 | 376 |
| |
368 | 377 |
| |
369 | 378 |
| |
|
Lines changed: 8 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
10 |
| - | |
11 |
| - | |
12 |
| - | |
13 |
| - | |
14 |
| - | |
| 9 | + | |
15 | 10 |
| |
16 | 11 |
| |
17 | 12 |
| |
| |||
22 | 17 |
| |
23 | 18 |
| |
24 | 19 |
| |
25 |
| - | |
26 |
| - | |
27 |
| - | |
28 |
| - | |
| 20 | + | |
29 | 21 |
| |
30 | 22 |
| |
31 | 23 |
| |
| |||
126 | 118 |
| |
127 | 119 |
| |
128 | 120 |
| |
| 121 | + | |
| 122 | + | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
129 | 127 |
|
Lines changed: 8 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
10 |
| - | |
11 |
| - | |
12 |
| - | |
13 |
| - | |
14 |
| - | |
| 9 | + | |
15 | 10 |
| |
16 | 11 |
| |
17 | 12 |
| |
| |||
21 | 16 |
| |
22 | 17 |
| |
23 | 18 |
| |
24 |
| - | |
25 |
| - | |
26 |
| - | |
27 |
| - | |
| 19 | + | |
28 | 20 |
| |
29 | 21 |
| |
30 | 22 |
| |
| |||
127 | 119 |
| |
128 | 120 |
| |
129 | 121 |
| |
| 122 | + | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
130 | 128 |
|
Lines changed: 8 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
11 |
| - | |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
| 10 | + | |
16 | 11 |
| |
17 | 12 |
| |
18 | 13 |
| |
| |||
22 | 17 |
| |
23 | 18 |
| |
24 | 19 |
| |
25 |
| - | |
26 |
| - | |
27 |
| - | |
28 |
| - | |
| 20 | + | |
29 | 21 |
| |
30 | 22 |
| |
31 | 23 |
| |
| |||
133 | 125 |
| |
134 | 126 |
| |
135 | 127 |
| |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
136 | 134 |
|
Lines changed: 10 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
11 |
| - | |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
| 10 | + | |
16 | 11 |
| |
17 | 12 |
| |
18 | 13 |
| |
| |||
22 | 17 |
| |
23 | 18 |
| |
24 | 19 |
| |
25 |
| - | |
26 |
| - | |
27 |
| - | |
28 |
| - | |
| 20 | + | |
29 | 21 |
| |
30 | 22 |
| |
31 | 23 |
| |
| |||
134 | 126 |
| |
135 | 127 |
| |
136 | 128 |
| |
137 |
| - | |
| 129 | + | |
| 130 | + | |
138 | 131 |
| |
139 | 132 |
| |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
140 | 139 |
|
Lines changed: 8 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
11 |
| - | |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
| 10 | + | |
16 | 11 |
| |
17 | 12 |
| |
18 | 13 |
| |
| |||
22 | 17 |
| |
23 | 18 |
| |
24 | 19 |
| |
25 |
| - | |
26 |
| - | |
27 |
| - | |
28 |
| - | |
| 20 | + | |
29 | 21 |
| |
30 | 22 |
| |
31 | 23 |
| |
| |||
141 | 133 |
| |
142 | 134 |
| |
143 | 135 |
| |
| 136 | + | |
| 137 | + | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
144 | 142 |
|
Lines changed: 8 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
11 |
| - | |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
| 10 | + | |
16 | 11 |
| |
17 | 12 |
| |
18 | 13 |
| |
| |||
24 | 19 |
| |
25 | 20 |
| |
26 | 21 |
| |
27 |
| - | |
28 |
| - | |
29 |
| - | |
30 |
| - | |
| 22 | + | |
31 | 23 |
| |
32 | 24 |
| |
33 | 25 |
| |
| |||
158 | 150 |
| |
159 | 151 |
| |
160 | 152 |
| |
| 153 | + | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
161 | 159 |
|
0 commit comments