krdlab / haskell-oidc-client Goto Github PK

appendPath ".well-known/openid-configuration" req

src/Web/OIDC/Client/Discovery/Provider.hs:43:49: error:
    • Variable not in scope:
        (<>)
          :: m0 a0
             -> String
             -> aeson-1.4.4.0:Data.Aeson.Types.Internal.Parser JwsAlgJson
    • Perhaps you meant one of these:
        ‘<$>’ (imported from Prelude), ‘<*>’ (imported from Prelude),
        ‘*>’ (imported from Prelude)
   |
43 |         other   -> fail $ "Non-supported alg: " <> show (unpack other)
   |                                                 ^^
Failed to install oidc-client-0.4.0.0

src/Web/OIDC/Client.hs:186:67:
    Couldn't match type ‘Either Jwt.JwtError Jwt.JwtContent’
                   with ‘(Either Jwt.JwtError t0, g)’
    Expected type: ByteString -> (Either Jwt.JwtError t0, g)
      Actual type: ByteString -> Either Jwt.JwtError Jwt.JwtContent
    Relevant bindings include
      g :: g (bound at src/Web/OIDC/Client.hs:186:56)
      crpg :: IORef g (bound at src/Web/OIDC/Client.hs:177:13)
    The function ‘Jwt.decode’ is applied to four arguments,
    its type is ‘[Jwk.Jwk]
                 -> Maybe Jwt.JwtEncoding
                 -> ByteString
                 -> m0 (Either Jwt.JwtError Jwt.JwtContent)’,
    it is specialized to ‘[Jwk.Jwk]
                          -> Maybe Jwt.JwtEncoding
                          -> ByteString
                          -> ByteString
                          -> Either Jwt.JwtError Jwt.JwtContent’
    In the first argument of ‘swap’, namely
      ‘(Jwt.decode
          g [jwk] (Just $ Jwt.JwsEncoding alg) (Jwt.unJwt jwt'))’
    In the expression:
      swap
        (Jwt.decode g [jwk] (Just $ Jwt.JwsEncoding alg) (Jwt.unJwt jwt'))

src/Web/OIDC/Client.hs:186:80:
    Couldn't match expected type ‘Maybe Jwt.JwtEncoding’
                with actual type ‘[Jwk.Jwk]’
    In the second argument of ‘Jwt.decode’, namely ‘[jwk]’
    In the first argument of ‘swap’, namely
      ‘(Jwt.decode
          g [jwk] (Just $ Jwt.JwsEncoding alg) (Jwt.unJwt jwt'))’
    In the expression:
      swap
        (Jwt.decode g [jwk] (Just $ Jwt.JwsEncoding alg) (Jwt.unJwt jwt'))

src/Web/OIDC/Client.hs:186:87:
    Couldn't match expected type ‘ByteString’
                with actual type ‘Maybe Jwt.JwtEncoding’
    In the third argument of ‘Jwt.decode’, namely
      ‘(Just $ Jwt.JwsEncoding alg)’
    In the first argument of ‘swap’, namely
      ‘(Jwt.decode
          g [jwk] (Just $ Jwt.JwsEncoding alg) (Jwt.unJwt jwt'))’
    In the expression:
      swap
        (Jwt.decode g [jwk] (Just $ Jwt.JwsEncoding alg) (Jwt.unJwt jwt'))

src/Web/OIDC/Client.hs:192:67:
    Couldn't match type ‘Either Jwt.JwtError Jwt.JwtContent’
                   with ‘(Either Jwt.JwtError t0, g)’
    Expected type: ByteString -> (Either Jwt.JwtError t0, g)
      Actual type: ByteString -> Either Jwt.JwtError Jwt.JwtContent
    Relevant bindings include
      g :: g (bound at src/Web/OIDC/Client.hs:192:56)
      crpg :: IORef g (bound at src/Web/OIDC/Client.hs:177:13)
    The function ‘Jwt.decode’ is applied to four arguments,
    its type is ‘[Jwk.Jwk]
                 -> Maybe Jwt.JwtEncoding
                 -> ByteString
                 -> m0 (Either Jwt.JwtError Jwt.JwtContent)’,
    it is specialized to ‘[Jwk.Jwk]
                          -> Maybe Jwt.JwtEncoding
                          -> ByteString
                          -> ByteString
                          -> Either Jwt.JwtError Jwt.JwtContent’
    In the first argument of ‘swap’, namely
      ‘(Jwt.decode
          g [jwk] (Just $ Jwt.JweEncoding alg enc) (Jwt.unJwt jwt'))’
    In the expression:
      swap
        (Jwt.decode
           g [jwk] (Just $ Jwt.JweEncoding alg enc) (Jwt.unJwt jwt'))

src/Web/OIDC/Client.hs:192:80:
    Couldn't match expected type ‘Maybe Jwt.JwtEncoding’
                with actual type ‘[Jwk.Jwk]’
    In the second argument of ‘Jwt.decode’, namely ‘[jwk]’
    In the first argument of ‘swap’, namely
      ‘(Jwt.decode
          g [jwk] (Just $ Jwt.JweEncoding alg enc) (Jwt.unJwt jwt'))’
    In the expression:
      swap
        (Jwt.decode
           g [jwk] (Just $ Jwt.JweEncoding alg enc) (Jwt.unJwt jwt'))

src/Web/OIDC/Client.hs:192:87:
    Couldn't match expected type ‘ByteString’
                with actual type ‘Maybe Jwt.JwtEncoding’
    In the third argument of ‘Jwt.decode’, namely
      ‘(Just $ Jwt.JweEncoding alg enc)’
    In the first argument of ‘swap’, namely
      ‘(Jwt.decode
          g [jwk] (Just $ Jwt.JweEncoding alg enc) (Jwt.unJwt jwt'))’
    In the expression:
      swap
        (Jwt.decode
           g [jwk] (Just $ Jwt.JweEncoding alg enc) (Jwt.unJwt jwt'))