4 Nov
2009
4 Nov
'09
10:49 a.m.
+1 on Control.Monad.Omega. In point of fact, your diagN function is simply diagN = runOmega . mapM Omega You'll find it an interesting exercise to grok the source of Control.Monad.Omega, obviously, but essentially, you're replacing concatMap with a fair (diagonal) traversal order version. Louis Wasserman wasserman.louis@gmail.com http://profiles.google.com/wasserman.louis