úÎ ;Ëportable experimental/Sebastian Fischer (sebf@informatik.uni-kiel.de)'Non-Deterministic computations of type Levels a can be searched  level-wise.  The function levels+ yields the results of a non-deterministic  computation grouped in levels.  The function breadthFirstSearch enumerates the results of a 7 non-deterministic computation in breadth-first order.  The function levelDiagonalisation enumerates the results of a > non-deterministic computation by diagonally interleaving the  results of all levels.  level-monad-0.2Control.Monad.LevelsLevelslevelsbreadthFirstSearchlevelDiagonalisation diagonalszipConcbind