サーバントの休憩APIの簡単な例、または「モナドを正しく混合する方法」？

Question

私はサーバント0.5でのREST APIの単純な例構築したい：私はそれが原因で別の場所で「期待されるタイプと一致しませんでした」たくさんのエラーのコンパイルすることはできません

data MyData = MyData { var1 :: Int, var2 :: String } 

app :: Application 
app = serve api server 

api :: Proxy API 
api = Proxy 

server :: Server API 
server = getItems 

getItems :: EitherT ServantErr IO [MyData] 
getItems = runEitherT $ do 
    aa <- nextRandom -- IO 
    bb <- getCurrentTime -- IO 
    cc <- getDataFromDb -- IO 

    --noteT ??? How??? 
    --MaybeT ??? How??? 

    return $ Just [MyData 111 222] 


startApp :: IO() 
startApp = run 8080 app 

を。私は "getItems"に2つの異なるモナドを混ぜているからだと思います。しかし、それだけではありません。ここで

Answer 1

：ExceptT ServantErr IO [MyData]からIO (Either ServantErr [MyData]ために何が起こっているかrunExceptTん

getItems :: ExceptT ServantErr IO [MyData] 
getItems = runExceptT $ do 

。これにより、ExceptT newtypeが削除されます。しかし、あなたは他の方法をしたい！

liftIOを使用すると、IO aのアクションをExceptT ServantErr IO aアクションに持ち込むことができます。基本的には、ExceptTラッパーに「IOアクションの結果を成功コンテキストに入れる」と伝えています。

あなたの全体のdoブロックはIOに住んでいるように見えるので、あなただけ書くことができます：

getItems :: ExceptT ServantErr IO [MyData] 
getItems = liftIO $ do 
    aa <- nextRandom -- IO 
    bb <- getCurrentTime -- IO 
    cc <- getDataFromDb -- IO 
    ... 

代わりの個別IOアクションを持ち上げるを。

他の一般的な例：あなたは純粋なEitherを持っている場合は

• は、ExceptTにそれを持ち上げるためにhoistEither :: Monad m => Either e a -> ExceptT e m aを使用しています。

• 純粋なMaybeがある場合は、failWith :: Applicative m => e -> Maybe a -> ExceptT e m aを使用し、エラーを指定してください。

• IO (Maybe a)がある場合は、failWithM :: Applicative m => e -> m (Maybe a) -> ExceptT e m aを使用してエラーを指定してください。

• IO (Either e a)がある場合は、ExceptTコンストラクタにラップしてください。

• ExceptTが保持するエラータイプを変更するには、withExcept :: (e -> e') -> Except e a -> Except e' aを使用してください。

これらの機能はすべて非常に簡単で、ソースコードを見ると参考になります。