Haskellでロックされたファイルを報告する方が良い

Question

Haskellで排他的に使用するファイルをロックし、すでにロックされている場合はIOErrorを投げたいと思います。

import Data.Maybe (fromMaybe) 
import System.FileLock (FileLock, SharedExclusive (Exclusive), tryLockFile) 

-- ... 
do 
    -- ... 
    maybeFileLock <- tryLockFile path Exclusive -- returns Maybe FileLock 
    let fileLock = fromMaybe (throwIO (userError "File locked")) maybeFileLock 

Maybeを処理し、ちょうどそれがNothingであれば例外をスローするためのより良い方法はありますか？これら2つの行を1つにまとめることはできますか？

N.B.：これらの行の任意の組み合わせが意図をあまり明確にしないと主張することができます。

Answer 1

fileLock <- fromMaybe (throwIO (userError "File locked")) 
    <$> tryLockFile path Exclusive 

しかしthrowIO :: Exception e => e -> IO aので、これとあなたのコードはFileLockとIO aの間のミスマッチ必要があります。代わりに：

fileLock <- maybe (throwIO (userError "File locked")) pure 
    =<< tryLockFile path Exclusive