ekmett/adjunctions — Issue #1: Add combine :: Adjunction f u => u a -> f b -> (a, b)
Author: sjoerdvisscher
Created: 2012-01-16 15:03:29+00:00
State: open

When playing with a bit of code I needed a combine function, which I think should be part of the adjunctions library.

combine :: Adjunction f u => u a -> f b -> (a, b)
combine ua = rightAdjunct (\b -> fmap (\a -> (a, b)) ua)

https://gist.github.com/1621224

greetings,
Sjoerd Visscher