-- This file is part of the Wire Server implementation.
--
-- Copyright (C) 2022 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 Galley.API.MLS.Conversation
  ( mkMLSConversation,
    newMLSConversation,
    mcConv,
  )
where

import Data.Id
import Data.Qualified
import Galley.API.MLS.Types
import Galley.Data.Conversation.Types as Data
import Galley.Effects.MemberStore
import Imports
import Polysemy
import Wire.API.Conversation hiding (Member)
import Wire.API.Conversation.Protocol

mkMLSConversation ::
  (Member MemberStore r) =>
  Data.Conversation ->
  Sem r (Maybe MLSConversation)
mkMLSConversation :: forall (r :: EffectRow).
Member MemberStore r =>
Conversation -> Sem r (Maybe MLSConversation)
mkMLSConversation Conversation
conv =
  Maybe (ConversationMLSData, MLSMigrationState)
-> ((ConversationMLSData, MLSMigrationState)
    -> Sem r MLSConversation)
-> Sem r (Maybe MLSConversation)
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
t a -> (a -> f b) -> f (t b)
for (Conversation -> Maybe (ConversationMLSData, MLSMigrationState)
Data.mlsMetadata Conversation
conv) (((ConversationMLSData, MLSMigrationState)
  -> Sem r MLSConversation)
 -> Sem r (Maybe MLSConversation))
-> ((ConversationMLSData, MLSMigrationState)
    -> Sem r MLSConversation)
-> Sem r (Maybe MLSConversation)
forall a b. (a -> b) -> a -> b
$ \(ConversationMLSData
mlsData, MLSMigrationState
migrationState) -> do
    (ClientMap
cm, IndexMap
im) <- GroupId -> Sem r (ClientMap, IndexMap)
forall (r :: EffectRow).
Member MemberStore r =>
GroupId -> Sem r (ClientMap, IndexMap)
lookupMLSClientLeafIndices (ConversationMLSData -> GroupId
cnvmlsGroupId ConversationMLSData
mlsData)
    MLSConversation -> Sem r MLSConversation
forall a. a -> Sem r a
forall (f :: * -> *) a. Applicative f => a -> f a
pure
      MLSConversation
        { $sel:mcId:MLSConversation :: ConvId
mcId = Conversation -> ConvId
Data.convId Conversation
conv,
          $sel:mcMetadata:MLSConversation :: ConversationMetadata
mcMetadata = Conversation -> ConversationMetadata
Data.convMetadata Conversation
conv,
          $sel:mcLocalMembers:MLSConversation :: [LocalMember]
mcLocalMembers = Conversation -> [LocalMember]
Data.convLocalMembers Conversation
conv,
          $sel:mcRemoteMembers:MLSConversation :: [RemoteMember]
mcRemoteMembers = Conversation -> [RemoteMember]
Data.convRemoteMembers Conversation
conv,
          $sel:mcMLSData:MLSConversation :: ConversationMLSData
mcMLSData = ConversationMLSData
mlsData,
          $sel:mcMembers:MLSConversation :: ClientMap
mcMembers = ClientMap
cm,
          $sel:mcIndexMap:MLSConversation :: IndexMap
mcIndexMap = IndexMap
im,
          $sel:mcMigrationState:MLSConversation :: MLSMigrationState
mcMigrationState = MLSMigrationState
migrationState
        }

-- | Creates a new MLS conversation with members but no clients.
newMLSConversation :: Local ConvId -> ConversationMetadata -> ConversationMLSData -> MLSConversation
newMLSConversation :: Local ConvId
-> ConversationMetadata -> ConversationMLSData -> MLSConversation
newMLSConversation Local ConvId
lcnv ConversationMetadata
meta ConversationMLSData
mlsData =
  MLSConversation
    { $sel:mcId:MLSConversation :: ConvId
mcId = Local ConvId -> ConvId
forall (t :: QTag) a. QualifiedWithTag t a -> a
tUnqualified Local ConvId
lcnv,
      $sel:mcMetadata:MLSConversation :: ConversationMetadata
mcMetadata = ConversationMetadata
meta,
      $sel:mcMLSData:MLSConversation :: ConversationMLSData
mcMLSData = ConversationMLSData
mlsData,
      $sel:mcLocalMembers:MLSConversation :: [LocalMember]
mcLocalMembers = [],
      $sel:mcRemoteMembers:MLSConversation :: [RemoteMember]
mcRemoteMembers = [],
      $sel:mcMembers:MLSConversation :: ClientMap
mcMembers = ClientMap
forall a. Monoid a => a
mempty,
      $sel:mcIndexMap:MLSConversation :: IndexMap
mcIndexMap = IndexMap
forall a. Monoid a => a
mempty,
      $sel:mcMigrationState:MLSConversation :: MLSMigrationState
mcMigrationState = MLSMigrationState
MLSMigrationMLS
    }

mcConv :: MLSConversation -> Data.Conversation
mcConv :: MLSConversation -> Conversation
mcConv MLSConversation
mlsConv =
  Data.Conversation
    { $sel:convId:Conversation :: ConvId
convId = MLSConversation -> ConvId
mcId MLSConversation
mlsConv,
      $sel:convLocalMembers:Conversation :: [LocalMember]
convLocalMembers = MLSConversation -> [LocalMember]
mcLocalMembers MLSConversation
mlsConv,
      $sel:convRemoteMembers:Conversation :: [RemoteMember]
convRemoteMembers = MLSConversation -> [RemoteMember]
mcRemoteMembers MLSConversation
mlsConv,
      $sel:convDeleted:Conversation :: Bool
convDeleted = Bool
False,
      $sel:convMetadata:Conversation :: ConversationMetadata
convMetadata = MLSConversation -> ConversationMetadata
mcMetadata MLSConversation
mlsConv,
      $sel:convProtocol:Conversation :: Protocol
convProtocol = ConversationMLSData -> Protocol
ProtocolMLS (MLSConversation -> ConversationMLSData
mcMLSData MLSConversation
mlsConv)
    }