Yesod : Haskell 용 Github API v3 라이브러리 사용

Question

나는 간단한 yesod 템플릿을 기반으로하는 프로젝트 작업을하고 있습니다. 나는 기능 프로그래밍, haskell 및 Yesodd를 처음 사용하므로 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 라이브러리는 요청을 빌드하고 실행하는 것 같습니다. userInfoForR 않는 그런 일 :

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

내가 돈 ': 당신이 요청을 일단 당신이 인증 여부를해야하는 경우

userInfoForR :: Name User -> Request k User 

, 당신은 따라 다음 기능 중 하나를 실행할 수 있습니다 이 특정 사례에 대해 알고 있지만 인증이 필요 없다고합시다. 그래서, 다음과 같은 표현은 트릭 할 것 :

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 -> ...