Zipping SmallCheck series

[Danny Navarro]

I'm trying to write a function with the following type:

Monad m => Series m a -> Series m b -> Series (a,b)

Just like `(><)` [1] but with one-to-one zipping between the elements of both series instead of a combination of every element.

`(\/)` doesn't work for me because both series need to be the same type.

I guess there is some way to do this with `MonadLogic` but still don't see it.

[1]: https://hackage.haskell.org/package/smallcheck-1.1.1/docs/Test-SmallCheck-Series.html#g:8

--

Danny Navarro  |  http://dannynavarro.net

[Roman Cheplyaka]

Hi Danny,

You are right, MonadLogic lets you do that.
See https://gist.github.com/32b1d925baa3bc0e6b89

[Danny Navarro]

Thanks Roman!

That's exactly what I was looking for.