タートルの終了コードの作成Monad/Monad Transformerのインスタンスがないのはなぜですか？

Question

私はturtleを使用してHaskellでシェルスクリプトを作成しており、失敗する可能性があるコマンドを作成する際のベストプラクティスを知りたいと考えています。

は今、私はそうのように、ケース式の階段があります。

runRemote :: MonadIO io => Text -> Text -> io() 
runRemote oldVersion' newVersion' = sh $ do 
    mkdir "out" 
    e1 <- shell ("command " <> oldVersion') empty 
    case e1 of 
    ExitFailure n -> cleanup 
    ExitSuccess -> do 
     e2 <- shell ("command " <> newVersion') empty 
     case e2 of 
     ExitFailure n -> cleanup 
     ExitSuccess -> do 
      curDir <- pwd 
      cd (curDir <.> oldVersion') 
      e3 <- shell ("command something else") empty 
      case e3 of 
      -- ... 
      -- And so on... 

case式がMaybe種類に拡大した場合は、解決策はMonadインスタンスを導き出すことであろう。

ライブラリ作成者がExitCodeのMonadインスタンスをまだ取得していない特別な理由はありますか、またはHaskellシェルコードのエラー処理を行う良い方法がありますか？

Answer 1

1つの選択肢は、(.&&.) and (.||.) from Turtle.Preludeを使用しています。バッシュ

で&&に類似

(.&&.) :: Monad m => m ExitCode -> m ExitCode -> m ExitCode

は、最初のものはExitSuccess

(.||.) :: Monad m => m ExitCode -> m ExitCode -> m ExitCode

を返す場合にのみ、第2のコマンドを実行します最初のものは、彼らはこのようなあなたのコマンド（チェーンにあなたを許す ExitFailure

が関与すべてがクリーンアップを含むExitCodeを、返さなければならないことに注意して返す場合にのみバッシュ

実行中|| 2番目のコマンドに

類似）：

(command1 .&&. command2) .||. cleanup 

それとも、あなたはそれぞれのケースで異なるクリーンアップアクションが必要な場合：

ところで

は、それがExitCodeがカメbut rather by base, in the System.Exit moduleによって定義されていないことは注目に値します。

Answer 2

ExitCodeはモナドではなく、モナドトランスではありません。モナドは型引数を取る必要があり、モナド変換器は2つを取る必要があります。 ExitCodeはありません。さて、それほど問題ではないことを少し無視してみましょう。あなたは意味のある解釈を思いつくことができますか

join :: ExitCode (ExitCode a) -> ExitCode a 

ええ、私はできません。合理的には、shellは代わりにEither FailureCode()を生成するか、おそらくExceptT FailureCode IOで作業する必要がありますが、ライブラリの作者はあまりにも混乱したり、仕事に柔軟性がないと考えているかもしれません。

Answer 3

あなたはこのように階段状避けるためにMaybeTを使用することができます。

{-# LANGUAGE OverloadedStrings #-} 

import Turtle 
import Control.Monad.Trans 
import Control.Monad.Trans.Maybe 

check io = do ec <- lift io 
       MaybeT $ case ec of 
         ExitSuccess -> return (Just True) 
         _   -> return Nothing 

checkShell a b = check (shell a b) 

main = do 
    dostuff 
    putStrLn "cleaning up" 

dostuff = runMaybeT $ do 
    checkShell "date" empty 
    checkShell "/usr/bin/false" empty 
    checkShell "pwd" empty