[WPB-11297] extend team invitations sybsystem

libs/wire-subsystems/src/Wire/TeamInvitationSubsystem.hs

@@ -13,6 +13,13 @@ import Wire.API.User.EmailAddress
 
 data TeamInvitationSubsystem m a where
   InviteUser :: Local UserId -> TeamId -> InvitationRequest -> TeamInvitationSubsystem m (Invitation, InvitationLocation)
+  AcceptInvitation :: UserId -> InvitationId -> InvitationCode -> TeamInvitationSubsystem m ()
+  GetInvitationCode :: TeamId -> InvitationId -> TeamInvitationSubsystem m InvitationCode
+  RevokeInvitation :: TeamId -> InvitationId -> TeamInvitationSubsystem m ()
+  GetInvitationByCode :: InvitationCode -> TeamInvitationSubsystem m Invitation
+  GetInvitationByEmail :: EmailAddress -> TeamInvitationSubsystem m Invitation
+  CheckInvitationsByEmail :: EmailAddress -> TeamInvitationSubsystem m HeadInvitationByEmailResult
+  DeleteAllInvitationsFor :: TeamId -> TeamInvitationSubsystem m ()
   -- | This function exists to support migration in this susbystem, after the
   -- migration this would just be an internal detail of the subsystem
   InternalCreateInvitation :: TeamId -> Maybe InvitationId -> Role -> Local (Maybe UserId) -> EmailAddress -> InvitationRequest -> TeamInvitationSubsystem m (Invitation, InvitationCode)

libs/wire-subsystems/src/Wire/TeamInvitationSubsystem/Interpreter.hs

@@ -60,6 +60,13 @@ runTeamInvitationSubsystem ::
   InterpreterFor TeamInvitationSubsystem r
 runTeamInvitationSubsystem cfg = interpret $ \case
   InviteUser luid tid request -> runInputConst cfg $ inviteUserImpl luid tid request
+  AcceptInvitation uid invitationId invitationCode -> acceptInvitationImpl uid invitationId invitationCode
+  GetInvitationCode tid iid -> getInvitationCodeImpl tid iid
+  RevokeInvitation tid invitationId -> revokeInvitationImpl tid invitationId
+  GetInvitationByCode invitationCode -> getInvitationByCodeImpl invitationCode
+  GetInvitationByEmail email -> getInvitationByEmailImpl email
+  CheckInvitationsByEmail email -> checkInvitationsByEmailImpl email
+  DeleteAllInvitationsFor tid -> deleteAllInvitationsForImpl tid
   InternalCreateInvitation tid mExpectedInvId role mbInviterUid inviterEmail invRequest ->
     runInputConst cfg $ createInvitation' tid mExpectedInvId role mbInviterUid inviterEmail invRequest
 
@@ -241,6 +248,33 @@ logInvitationRequest context action =
           . logInvitationCode code
       pure res
 
+acceptInvitationImpl :: UserId -> InvitationId -> InvitationCode -> Sem r ()
+acceptInvitationImpl = undefined
+
+getInvitationCodeImpl ::
+  (Member Store.InvitationCodeStore r, Member (Error UserSubsystemError) r) =>
+  TeamId ->
+  InvitationId ->
+  Sem r FoundInvitationCode
+getInvitationCodeImpl t r = do
+  inv <- Store.lookupInvitation t r
+  maybe (throw UserSubsystemInvalidInvitationCode) (pure . FoundInvitationCode . (.code)) inv
+
+revokeInvitationImpl :: TeamId -> InvitationId -> Sem r ()
+revokeInvitationImpl = undefined
+
+getInvitationByCodeImpl :: InvitationCode -> Sem r Invitation
+getInvitationByCodeImpl = undefined
+
+getInvitationByEmailImpl :: EmailAddress -> Sem r Invitation
+getInvitationByEmailImpl = undefined
+
+checkInvitationsByEmailImpl :: EmailAddress -> Sem r HeadInvitationByEmailResult
+checkInvitationsByEmailImpl = undefined
+
+deleteAllInvitationsForImpl :: TeamId -> Sem r ()
+deleteAllInvitationsForImpl = undefined
+
 -- | Privilege escalation detection (make sure no `RoleMember` user creates a `RoleOwner`).
 --
 -- There is some code duplication with 'Galley.API.Teams.ensureNotElevated'.

services/brig/src/Brig/Team/API.hs

@@ -18,7 +18,6 @@
 module Brig.Team.API
   ( servantAPI,
     getInvitationByEmail,
-    getInvitationCode,
     suspendTeam,
     unsuspendTeam,
     createInvitationViaScim,
@@ -117,17 +116,6 @@ teamSizePublic uid tid = do
   ensurePermissions uid tid [AddTeamMember]
   getTeamSize tid
 
-getInvitationCode ::
-  ( Member Store.InvitationCodeStore r,
-    Member (Error UserSubsystemError) r
-  ) =>
-  TeamId ->
-  InvitationId ->
-  Sem r FoundInvitationCode
-getInvitationCode t r = do
-  inv <- Store.lookupInvitation t r
-  maybe (throw UserSubsystemInvalidInvitationCode) (pure . FoundInvitationCode . (.code)) inv
-
 data CreateInvitationInviter = CreateInvitationInviter
   { inviterUid :: UserId,
     inviterEmail :: EmailAddress