如何在Haskell中执行Google自定义搜索（使用gogol）？

Question

我正在尝试使用Gogol执行Google自定义搜索。我有下面的代码，但它不能编译，我不明白错误信息告诉我为什么。如何让程序编译以便Google搜索起作用？

searchCoversCustomly :: Text -> IO Search 
searchCoversCustomly phrase = do 
    env <- G.newEnv -- create google environment 
    rVols <- G.runResourceT . G.runGoogle env $ do -- run request 
     let request = (cSEList phrase)   -- request construction 
         & (cselCx .~ Just cx) 
         . (cselNum .~ 3) 
         . (cselSearchType .~ Just Image) 
     G.send request 
    return rVols 
    where cx = "..." 

这将导致以下错误消息：

src/GoogleInteraction.hs:56:12: error: 
    • Ambiguous type variable ‘s0’ arising from a use of ‘G.newEnv’ 
     prevents the constraint ‘(G.AllowScopes s0)’ from being solved. 
     Probable fix: use a type annotation to specify what ‘s0’ should be. 
     These potential instances exist: 
     instance G.AllowScopes '[] 
      -- Defined in ‘Network.Google.Auth.Scope’ 
     ...plus one instance involving out-of-scope types 
     (use -fprint-potential-instances to see them all) 
    • In a stmt of a 'do' block: env <- G.newEnv 
     In the expression: 
     do { env <- G.newEnv; 
      rVols <- G.runResourceT . G.runGoogle env 
         $ do { let ...; 
          G.send request }; 
      return rVols } 

我对谷歌图书还与果戈理工作代码工作片段。不同之处在于我在那里提供了一个相关的范围，如Gogol文档instruct。

对于在gogol-books' docs中记载的BooksScope的书籍，但在gogol-customsearch的文档中没有提及此范围。

如何让程序编译以便Google搜索起作用？谢谢！

===编辑：包括

• Couldn't match expected type ‘IO a0’ 
        with actual type ‘k10 '[] -> k10 '[]’ 
    • Probable cause: ‘G.forbid’ is applied to too few arguments 
     In the second argument of ‘(<$>)’, namely ‘G.forbid’ 

Answer 1

错误是说，类型检查想不通使用哪种AllowScopes实例，因为你没”更改为G.newEnv <$> forbid ===后的错误信息指定范围。由于我对自定义搜索API的细节知之甚少，因此我将不得不推测该怎么做。

假设有自定义的搜索没有的OAuth2范围 - 这似乎是的情况下，由于缺乏预定义作用域的果戈里-customsearch（正如你指出），以及在this question讨论 - 您可以使用Network.Google.Auth.Scopes中的forbid“在没有范围授权的情况下注释凭证”。

searchCoversCustomly phrase = do 
    env <- G.newEnv <&> G.forbid 
    -- etc.