Michael Arnaldi
|
decdcbdb4d
|
finalise uplifted encoding
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
885e9abb3c
|
uplifted encoding
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
9ef730ebfe
|
continue
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
8d626cc624
|
remove obsolete
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
5cb732c39e
|
fix up following variance
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
7ab167c1d1
|
fix name
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
19cea74f57
|
remove ForeachablePar
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
fb6cc91910
|
de-opt sequenceS
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
5d06f4852d
|
fix yieldNow
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
0acd918cdd
|
remove log
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
026c7ca438
|
fix tapCause
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
d3731e34fc
|
optimize sequenceS by mixin foreachable
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
0a9bfacd05
|
continue
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
b9431ac230
|
add fail typeclass
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
70608a2527
|
export either sequenceS
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
26b8053dda
|
export either api
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
a395671251
|
generic sequenceSF
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
150d6963a8
|
small fix
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
c3ab9a6ea7
|
fix
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
43fbf1441c
|
Positional Variance
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
3ece079a41
|
rename
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
6c380b983b
|
add intersect
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
b4356f57d0
|
add environmental
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
c878c58513
|
reader zip
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
9004f60aa7
|
begin reader
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
f3fcedc5e1
|
continue
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
12bc5924ae
|
continue
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
0aec777b93
|
continue
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
a5e3dbd7b6
|
add instances
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
24b5889111
|
continue on pure
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
8ce6124d49
|
fix comment
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
e4e3a4ffd3
|
begin port of zpure
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
005b4e3a03
|
standardise naming
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
b323a377b2
|
avoid naming collisions
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
260c4c4d7f
|
makeDerive
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
7744cd17d2
|
improve make instances
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
4d9baefbe8
|
revise instance construction
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
664dc5c8bf
|
add inverse & ord
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
a94ac2a8f8
|
identify building blocks, fix server use
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
b51a8154c4
|
revise id
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
300dd2ae37
|
reorg
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
c704ffd500
|
refine async
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
4df7a4f2ce
|
avoid re'export of has
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
d615fca648
|
represent compositions are intersections
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
6d5301be3e
|
move things around
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
b91794c79b
|
fix contravariant signature
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
d80ef70684
|
fix associative
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
ce0bd17e8b
|
improve eq array
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
d05d0c7ddd
|
fix names
|
2020-08-09 12:17:20 +01:00 |
|
Michael Arnaldi
|
a14f20a93f
|
improve equals
|
2020-08-09 12:17:20 +01:00 |
|