-- This file is part of the Wire Server implementation.
--
-- Copyright (C) 2025 Wire Swiss GmbH <opensource@wire.com>
--
-- This program is free software: you can redistribute it and/or modify it under
-- the terms of the GNU Affero General Public License as published by the Free
-- Software Foundation, either version 3 of the License, or (at your option) any
-- later version.
--
-- This program is distributed in the hope that it will be useful, but WITHOUT
-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
-- FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more
-- details.
--
-- You should have received a copy of the GNU Affero General Public License along
-- with this program. If not, see <https://www.gnu.org/licenses/>.

module Test.MLS.Clients where

import qualified API.BrigInternal as I
import MLS.Util
import SetupHelpers
import Testlib.Prelude

testGetMLSClients :: (HasCallStack) => App ()
testGetMLSClients :: HasCallStack => App ()
testGetMLSClients = do
  alice <- Domain -> CreateUser -> App Value
forall domain.
(HasCallStack, MakesValue domain) =>
domain -> CreateUser -> App Value
randomUser Domain
OwnDomain CreateUser
forall a. Default a => a
def
  alice1 <- createWireClient alice def

  bindResponse (I.getMLSClients alice def) $ \Response
resp -> do
    Response
resp.status Int -> Int -> App ()
forall a. (MakesValue a, HasCallStack) => a -> Int -> App ()
`shouldMatchInt` Int
200
    cs <- Response
resp.json App Value -> (App Value -> App [Value]) -> App [Value]
forall a b. a -> (a -> b) -> b
& App Value -> App [Value]
forall a. (HasCallStack, MakesValue a) => a -> App [Value]
asList
    c <- assertOne cs
    c
      `shouldMatch` object
        [ "mls" .= False,
          "id" .= alice1.client
        ]

  keys <- initMLSClient def alice1
  ss <- keys %. csSignatureScheme def

  bindResponse (I.getMLSClients alice def) $ \Response
resp -> do
    Response
resp.status Int -> Int -> App ()
forall a. (MakesValue a, HasCallStack) => a -> Int -> App ()
`shouldMatchInt` Int
200
    cs <- Response
resp.json App Value -> (App Value -> App [Value]) -> App [Value]
forall a b. a -> (a -> b) -> b
& App Value -> App [Value]
forall a. (HasCallStack, MakesValue a) => a -> App [Value]
asList
    c <- assertOne cs
    c
      `shouldMatch` object
        [ "mls" .= False,
          "id" .= alice1.client,
          "mls_signature_key" .= ss
        ]

  void $ uploadNewKeyPackage def alice1

  bindResponse (I.getMLSClients alice def) $ \Response
resp -> do
    Response
resp.status Int -> Int -> App ()
forall a. (MakesValue a, HasCallStack) => a -> Int -> App ()
`shouldMatchInt` Int
200
    cs <- Response
resp.json App Value -> (App Value -> App [Value]) -> App [Value]
forall a b. a -> (a -> b) -> b
& App Value -> App [Value]
forall a. (HasCallStack, MakesValue a) => a -> App [Value]
asList
    c <- assertOne cs
    c
      `shouldMatch` object
        [ "mls" .= True,
          "id" .= alice1.client,
          "mls_signature_key" .= ss
        ]