Yesod: Verwenden von Github API v3 Bibliothek für Haskell

Question

Ich arbeite an einem Projekt, das auf der einfachen Jaesod-Vorlage aufbaut. Ich bin neu in der funktionalen Programmierung, Haskell und Yesod, also ist es wahrscheinlich etwas für jemanden mit Yesod Erfahrung. Im Moment versuche ich Github API-Aufrufe mit dieser library. Ich erhalte einige Probleme mit den Typen, und ich bin mir nicht einmal sicher, wie ich anfange, sie zu lösen.

Sie können meinen Handler here finden.

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

Die GitHub Bibliothek scheint über den Aufbau Anforderungen und laufen ihnen zu sein. Die userInfoForR tut so etwas:

userInfoForR :: Name User -> Request k User 

Sobald Sie eine Anfrage haben, können Sie es mit einer der folgenden Funktionen ausführen, je nachdem, ob Sie zu authentifizieren oder nicht benötigen:

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

I don‘ Ich weiß von diesem speziellen Fall, aber sagen wir, Sie brauchen keine Authentifizierung. Also, tun würde, der folgende Ausdruck den Trick:

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

Nun, um es in einem Handler zu verwenden, müssen Sie über die Tatsache erfahren, dass Handler ist eine Instanz MonadIO, und Sie können so tun :

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