1 module Control.Monad.X.Nondet (Nondet,runNondet,runNondets,module T) where
3 import Control.Monad.X.Identity
4 import qualified Control.Monad.X.NondetT as N
5 import Control.Monad.X.Trans as T
9 type Nondet = N.NondetT Identity
11 runNondet :: Nondet a -> Maybe a
12 runNondet m = runIdentity (N.runNondet m)
14 runNondets :: Nondet a -> [a]
15 runNondets m = runIdentity (N.runNondets m)