Re: [Haskell-cafe] Refactoring from State monad to ST monad, for STUArray

2 Feb 2008


      On Feb 2, 2008 5:58 PM, Daniel Fischer  wrote:
...
Obviously not.
Try
solve rnd cnf = runST $ do
        solution <- evalStateT ...
        case solution of
           Nothing -> return Unsat
           Just ar -> unsafeFreeze ar
Ah, right.  Thanks.  This worked.

-- 
                              Denis

Re: [Haskell-cafe] Refactoring from State monad to ST monad, for STUArray

Denis Bueno