Yesod：Haskell用Github API v3ライブラリの使用

Question

私は単純なyesodテンプレートをベースにしたプロジェクトに取り組んでいます。私は関数型プログラミング、haskell、およびYesodを初めて使用しているので、おそらくYesodの経験を持つ人にとっては明らかです。現時点で私はこのlibraryを使ってgithub APIコールを作成しようとしています。私はいくつかのタイプの問題を抱えているし、私はそれらを解決するアプローチを開始する方法もわからない。

私のハンドラhereを見つけることができます。

Handler/Home.hs:43:19: 
    Couldn't match expected type ‘HandlerT 
            App IO (Either a0 GitHub.User)’ 
       with actual type ‘GitHub.Request k0 GitHub.User’ 
    In a stmt of a 'do' block: 
     possibleUser <- GitHub.userInfoForR "mike-burns" 
    In the expression: 
     do { maid <- maybeAuthId; 
      possibleUser <- GitHub.userInfoForR "mike-burns"; 
      result <- either (("Error: " <>) . tshow) formatUser possibleUser; 
      defaultLayout 
      (do { (asWidgetT GHC.Base.. toWidget) 
        ((blaze-markup-0.7.1.1:Text.Blaze.Internal.preEscapedText 
         GHC.Base.. Data.Text.pack) 
         "<p>Your current auth ID: "); 
        (asWidgetT GHC.Base.. toWidget) (toHtml (show maid)); 
        (asWidgetT GHC.Base.. toWidget) 
        ((blaze-markup-0.7.1.1:Text.Blaze.Internal.preEscapedText 
         GHC.Base.. Data.Text.pack) 
         "</p>\n"); 
        .... }) } 


    Handler/Home.hs:44:38: 
    Couldn't match type ‘Text’ with ‘HandlerT App IO a1’ 
    Expected type: a0 -> HandlerT App IO a1 
     Actual type: a0 -> Text 
    In the second argument of ‘(.)’, namely ‘tshow’ 
    In the first argument of ‘either’, namely 
     ‘(("Error: " <>) . tshow)’ 


    Handler/Home.hs:44:45: 
    Couldn't match type ‘Text’ with ‘HandlerT App IO a1’ 
    Expected type: GitHub.User -> HandlerT App IO a1 
     Actual type: GitHub.User -> Text 
    In the second argument of ‘either’, namely ‘formatUser’ 
    In a stmt of a 'do' block: 
     result <- either (("Error: " <>) . tshow) formatUser possibleUser 

Answer 1

GitHubライブラリはリクエストを作成して実行しているようです。 「

executeRequest :: Auth -> Request k a -> IO (Either Error a) 
executeRequest' :: Request RO a -> IO (Either Error a) 

を私はドン：

userInfoForR :: Name User -> Request k User 

あなたが要求したら、あなたはあなたが認証したりしないように必要がある場合によっては、以下のいずれかの関数でそれを実行することができます：userInfoForRは、そのようなことを行いますこの特定のケースについては知っていませんが、認証は必要ないとしましょう。

executeRequest' (userInfoForR "mike-burns") :: IO (Either Error User) 

さて、Handlerでそれを使用するためには、あなたはHandlerがMonadIOのインスタンスであるという事実を知る必要があります、そしてあなたは、このように行うことができますので、次の式では、トリックを行うだろう：

代わりに `possibleUser <の

euser <- liftIO (executeRequest' (userInfoForR "mike-burns")) 
case euser of 
    Left rr -> ... 
    Right user -> ...