モナド変圧器および応用的かもしれない

Question

そのよう：

let maybeReader :: Maybe (ReaderT UDCEnv IO()) = 
    uploadVersionFilesToCaches s3BucketName <$> maybeFilePath <*> Just gitRepoNamesAndVersions 

私はそうであっても同じようReaderTを実行することができます。

let maybeIO :: Maybe (IO()) = 
    runReaderT <$> maybeReader <*> Just (env, shouldIgnoreLocalCache, verbose) 

let式を使用している限り、すべて正常に動作します。

f :: ... -> ExceptT String IO() 
f ... = do 
    ... 
    runReaderT <$> maybeReader <*> Just (env, shouldIgnoreLocalCache, verbose) -- Error here 
    undefined 

は

を生成します：できるだけ早く私は実際に上記の式で letをドロップするように私は省略しています ExceptT String IO FilePath代わりの Maybe

部分は...でマークされているようにApplicativeを評価された式は、型を取得していしよう

Couldn't match type ‘IO()’ with ‘()’ 
Expected type: ReaderT UDCEnv IO() -> UDCEnv ->() 
    Actual type: ReaderT UDCEnv IO() -> UDCEnv -> IO() 
In the first argument of ‘(<$>)’, namely ‘runReaderT’ 
In the first argument of ‘(<*>)’, namely 
    ‘runReaderT 
    <$> 
    (uploadVersionFilesToCaches s3BucketName <$> maybeFilePath 
     <*> Just gitRepoNamesAndVersions)’ 
/Users/blender/Code/Personal/Haskell/Rome-Public/src/Lib.hs: 82, 73 

Couldn't match type ‘Maybe’ with ‘ExceptT String IO’ 
    Expected type: ExceptT String IO FilePath 
     Actual type: Maybe FilePath 
    In the second argument of ‘(<$>)’, namely ‘maybeFilePath’ 
    In the first argument of ‘(<*>)’, namely 
     ‘uploadVersionFilesToCaches s3BucketName <$> maybeFilePath’ 

最初のエラーはどこかでliftIOが不足していると思います。

しかし、私は誤解されたApplicativeについて何をすべきか分かりません。

Applicativeを使用する代わりに、おそらくMaybeを分析することができましたが、私は本当にそうしたくありません。

Answer 1

編集：ありがとうございました。

あなたが提供するdo-blockにエラーメッセージに示されている式と一致しないrunReaderT ...という式が含まれているため、ご質問に多少の矛盾があるようです。

しかし、最終的には問題は、このです：いくつかのモナドmの型m aのDOブロックで、各普通発現（及びx <- y式の各右辺）が、いくつかのbの型m bを有していなければなりません。だからExceptT String IO()タイプのdoブロックでrunReaderT ...式を使用すると、HaskellはそれをあるタイプのExceptT String IO a（a）としてタイプチェックすることになります。ただし、Maybe (IO())なので、型チェックは失敗します。

あなたがしようとした場合は、同様のエラーを取得したい：

foo :: ExceptT String IO() 
foo = do Just (putStrLn "won't work") -- has type Maybe (IO()) 
     undefined 

をあなたは周囲のdoブロックへrunReaderT ...式を適応する方法を決定する必要があります。二つの合理的なオプションは次のとおりです。あなたのmaybeReaderがある場合ExceptTスタイルのエラーがスローされます

foo = do ... 
     maybe (throwError "reader was Nothing!") liftIO 
      $ runReaderT ... 
     undefined 

Nothingか.. ERM .. Nothingの場合は何もしません

foo = do ... 
     maybe (return()) liftIO 
      $ runReaderT ... 
     undefined 

。