The operators of the CCT algebra should be condensed and made simpler. For example, the groupby* operators are a bit opaque right now. This issue will track those efforts. For starters, the following operators would make a lot of sense:
empty: R(x, y)
keys: R(x, y) -> C(x)
deps: R(x, y) -> C(y)
map: (y -> z) -> R(x, y) -> R(x, z)
left: x * _ -> x
right: _ * x -> x
The operators of the CCT algebra should be condensed and made simpler. For example, the
groupby*operators are a bit opaque right now. This issue will track those efforts. For starters, the following operators would make a lot of sense: