Easyoakland

Where is work being done on this? Is there more discussion that must be had first?

It seems like what this is proposing is a validator trait on functions which can take a validator to make new validator. Then use [Combinatory_logic](https://en.wikipedia.org/wiki/Combinatory_logic) to define all the validators....

> I saw that the PR contains quite some formatting/documentation changes. You can surely include them, but it will simplify the final reviewer's life when they're in a separate commit....

@scottmcm @jswrenn The reason I though to implement this functionality here is that the actual logic of the lending iterators is almost identical. The new feature uses the same logic...

@phimuemue > > I'm not sure I understand this point. Are you saying I should have separated out the comments and documentation additions to the new code from the new...

To confirm is the following correct? Given X = frequency vector of length N from fft: ● X[0] represents DC frequency component ● X[1] to X[N/2-1] terms are positive frequency...

Also, the added tests pass miri so I'm relatively confident the implementation is correct.