Control/Monad/X/Nondet.hs

   1 module Control.Monad.X.Nondet (Nondet,runNondet,runNondets,module T) where
   2
   3 import Control.Monad.X.Identity
   4 import qualified Control.Monad.X.NondetT as N
   5 import Control.Monad.X.Trans as T
   6
   7
   8 -- this is simply list
   9 type Nondet   = N.NondetT Identity
  10
  11 runNondet     :: Nondet a -> Maybe a
  12 runNondet m   = runIdentity (N.runNondet m)
  13
  14 runNondets    :: Nondet a -> [a]
  15 runNondets m  = runIdentity (N.runNondets m)
  16