Yesod: Utilisation de la bibliothèque Github API v3 pour Haskell

Question

Je travaille sur un projet qui s'appuie sur le modèle simple yesod. Je suis nouveau à la programmation fonctionnelle, haskell et Yesod, donc c'est probablement quelque chose d'évident pour quiconque ayant une expérience Yesod. En ce moment j'essaye de faire des appels d'API de github en utilisant ce library. Je rencontre des problèmes de type et je ne sais même pas comment commencer à les résoudre.

Vous pouvez trouver mon handler 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

La bibliothèque GitHub semble être à propos de la création de requêtes et de leur exécution. Le userInfoForR fait une telle chose:

userInfoForR :: Name User -> Request k User 

Une fois que vous avez une demande, vous pouvez l'exécuter avec l'une des fonctions suivantes, selon si vous devez vous authentifier ou non:

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

Je ne Je ne connais pas ce cas particulier, mais disons que vous n'avez pas besoin d'authentification. Ainsi, l'expression suivante ferait l'affaire:

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

Maintenant, afin de l'utiliser dans un Handler, vous aurez besoin d'apprendre davantage sur le fait que Handler est une instance de MonadIO, et vous pouvez ainsi faire :

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