ingolemo
lens.Tuple but for Getters
Hey, it would be useful to have a version of lens.Tuple that accepts two getters.
(Implementation in pseudo-code:) Could make a class GetterTuple(getters) which has type Getter and whose getter returns (getters[0].get(), ...). And then add a GetterTuple to method which creates such a getter and composes it with the current lens.
Even better: Use the same method lens.Tuple but detect which case we are in: whether the meet of the two kinds is a lens or only a Getter.
I've just pushed a commit that removes the restriction on lens.Tuple that you have to pass lenses. You can now pass it getters and setters and it should do the right thing.
