[project @ 2003-06-04 14:52:09 by ralf]
[packages/old-time.git] / 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