@@ -1,4 +1,6 @@
1+{-# LANGUAGE KindSignatures #-}
12{-# LANGUAGE OverloadedStrings #-}
3+{-# LANGUAGE DataKinds #-}
24
35-- |
46-- Module : Network.Google.Auth.InstalledApplication
@@ -32,6 +34,7 @@ module Network.Google.Auth.InstalledApplication
3234import Control.Monad.Catch (MonadCatch)
3335import Control.Monad.IO.Class (MonadIO)
3436import qualified Data.Text.Encoding as Text
37+import GHC.TypeLits (Symbol)
3538import Network.Google.Auth.Scope (AllowScopes (..),
3639 queryEncodeScopes)
3740import Network.Google.Internal.Auth
@@ -83,7 +86,7 @@ redirectURI = "urn:ietf:wg:oauth:2.0:oob"
8386-- construct a URL that can be used to obtain the 'OAuthCode'.
8487--
8588-- /See:/ <https://developers.google.com/accounts/docs/OAuth2InstalledApp#formingtheurl Forming the URL>.
86−formURL :: AllowScopes s => OAuthClient -> proxy s -> Text
89+formURL :: AllowScopes (s :: [Symbol]) => OAuthClient -> proxy s -> Text
8790formURL c = formURLWith c . allowScopes
8891
8992-- | Form a URL using 'OAuthScope' values.