[WPB-5687] more legalhold tests (#3966)

- [feat] port more legalhold tests to /integration
- [feat] introduce combinators for lazy Notifications in App 
---------

Co-authored-by: Marko Dimjašević <marko.dimjasevic@wire.com>
Co-authored-by: Igor Ranieri <igor@elland.me>
Co-authored-by: Akshay Mankar <akshay@wire.com>

changelog.d/5-internal/WPB-7021

@@ -0,0 +1 @@
+port more of the legalhold test-suite from galley-integration to /integration and get rid of the need for startDynamicBackends

charts/integration/templates/configmap.yaml

@@ -164,3 +164,4 @@ data:
       stern:
         host: stern.wire-federation-v0.svc.cluster.local
         port: 8080
+    integrationTestHostName: integration-headless.{{ .Release.Namespace }}.svc.cluster.local

charts/integration/templates/service.yaml

@@ -1,4 +1,15 @@
 {{- $newLabels := eq (include "integrationTestHelperNewLabels" .) "true" -}}
+---
+apiVersion: v1
+kind: Service
+metadata:
+  name: integration-headless
+spec:
+  selector:
+    app: integration-integration
+  type: ClusterIP
+  clusterIP: None
+
 ---
 apiVersion: v1
 kind: Service

integration/test/Notifications.hs

@@ -115,6 +115,11 @@ isMemberJoinNotif n = fieldEquals n "payload.0.type" "conversation.member-join"
 isConvLeaveNotif :: MakesValue a => a -> App Bool
 isConvLeaveNotif n = fieldEquals n "payload.0.type" "conversation.member-leave"
 
+isConvLeaveNotifWithLeaver :: (MakesValue user, MakesValue a) => user -> a -> App Bool
+isConvLeaveNotifWithLeaver user n =
+  fieldEquals n "payload.0.type" "conversation.member-leave"
+    &&~ (n %. "payload.0.data.user_ids.0") `isEqual` (user %. "id")
+
 isNotifConv :: (MakesValue conv, MakesValue a, HasCallStack) => conv -> a -> App Bool
 isNotifConv conv n = fieldEquals n "payload.0.qualified_conversation" (objQidObject conv)
 
@@ -145,6 +150,12 @@ isConvAccessUpdateNotif n =
 isConvCreateNotif :: MakesValue a => a -> App Bool
 isConvCreateNotif n = fieldEquals n "payload.0.type" "conversation.create"
 
+-- | like 'isConvCreateNotif' but excludes self conversations
+isConvCreateNotifNotSelf :: MakesValue a => a -> App Bool
+isConvCreateNotifNotSelf n =
+  fieldEquals n "payload.0.type" "conversation.create"
+    &&~ do not <$> fieldEquals n "payload.0.data.access" ["private"]
+
 isConvDeleteNotif :: MakesValue a => a -> App Bool
 isConvDeleteNotif n = fieldEquals n "payload.0.type" "conversation.delete"
 
@@ -177,9 +188,11 @@ isUserConnectionNotif = notifTypeIsEqual "user.connection"
 
 isConnectionNotif :: MakesValue a => String -> a -> App Bool
 isConnectionNotif status n =
-  (&&)
-    <$> nPayload n %. "type" `isEqual` "user.connection"
-    <*> nPayload n %. "connection.status" `isEqual` status
+  -- NB:
+  -- (&&) <$> (print "hello" *> pure False) <*> fail "bla" === _|_
+  -- runMaybeT $  (lift (print "hello") *> MaybeT (pure Nothing)) *> lift (fail "bla") === pure Nothing
+  nPayload n %. "type" `isEqual` "user.connection"
+    &&~ nPayload n %. "connection.status" `isEqual` status
 
 assertLeaveNotification ::
   ( HasCallStack,

integration/test/SetupHelpers.hs

@@ -289,8 +289,8 @@ setUpLHDevice ::
   tid ->
   owner ->
   uid ->
-  -- | the port the LH service is running on
-  Int ->
+  -- | the host and port the LH service is running on
+  (String, Int) ->
   App ()
 setUpLHDevice tid alice bob lhPort = do
   legalholdWhitelistTeam tid alice