runST는 MonadRandom

Question

안에 나는 랜드 - 모나드 내부 runST을하고 싶지,하지만 난 오른쪽 종류를 얻을 수 GHC의 출력은 특히 도움이되지 않습니다 : 입력에

import   Control.Monad 
import   Control.Monad.Random as MR 
import   Control.Monad.ST 
import   Control.Monad.Trans 
import qualified Data.Vector.Unboxed as VU 

shuffle :: (MonadRandom m) => m (VU.Vector Int) 
shuffle = do 
    k <- getRandomR (0::Int, 10::Int) 
    let vec = runST $ do 
    vector <- VU.unsafeThaw (VU.enumFromN (1::Int) k) 
    vector' <- VU.unsafeFreeze vector 
    return vector 
    return vec 

구문 분석 오류 ' 벡터 '

Answer 1

이 오류는 주로 들여 쓰기 문제와 관련이 있습니다. runST 블록의 줄을 조금 더 들여 쓰면 그 오류는 사라집니다.

다음 문제는 잘못된 벡터를 반환한다는 것입니다 ('을 잊었습니다).

마지막으로 다음 줄의 return 함수와 함께 값을 바인딩하는 것은 중복됩니다. 또한

shuffle :: (MonadRandom m) => m (VU.Vector Int) 
shuffle = do 
    k <- getRandomR (0::Int, 10::Int) 
    let vec = runST $ do 
       vector <- VU.unsafeThaw (VU.enumFromN (1::Int) k) 
       VU.unsafeFreeze vector 
    return vec 

,

shuffle :: (MonadRandom m) => m (VU.Vector Int) 
shuffle = do 
    k <- getRandomR (0::Int, 10::Int) 
    return $ runST $ do 
    vector <- VU.unsafeThaw (VU.enumFromN (1::Int) k) 
    VU.unsafeFreeze vector