Safe Haskell	Safe-Inferred
Language	GHC2021

Notifications

Synopsis

assertNoNotifications :: (HasCallStack, MakesValue user, MakesValue client) => user -> client -> Maybe String -> (Value -> App Bool) -> App ()
awaitNotifications :: (HasCallStack, MakesValue user, MakesValue client) => user -> Maybe client -> Maybe String -> Int -> (Value -> App Bool) -> App [Value]
awaitNotificationClient :: (HasCallStack, MakesValue user, MakesValue client, MakesValue lastNotifId) => user -> client -> Maybe lastNotifId -> (Value -> App Bool) -> App Value
awaitNotification :: (HasCallStack, MakesValue user, MakesValue lastNotifId) => user -> Maybe lastNotifId -> (Value -> App Bool) -> App Value
isDeleteUserNotif :: MakesValue a => a -> App Bool
isFeatureConfigUpdateNotif :: MakesValue a => a -> App Bool
isNewMessageNotif :: MakesValue a => a -> App Bool
isNewMLSMessageNotif :: MakesValue a => a -> App Bool
isWelcomeNotif :: MakesValue a => a -> App Bool
isMemberJoinNotif :: MakesValue a => a -> App Bool
isConvLeaveNotif :: MakesValue a => a -> App Bool
isConvLeaveNotifWithLeaver :: (MakesValue user, MakesValue a) => user -> a -> App Bool
isNotifConv :: (MakesValue conv, MakesValue a, HasCallStack) => conv -> a -> App Bool
isNotifConvId :: (MakesValue a, HasCallStack) => ConvId -> a -> App Bool
isNotifForUser :: (MakesValue user, MakesValue a, HasCallStack) => user -> a -> App Bool
isNotifFromUser :: (MakesValue user, MakesValue a, HasCallStack) => user -> a -> App Bool
isConvNameChangeNotif :: (HasCallStack, MakesValue a) => a -> App Bool
isMemberUpdateNotif :: (HasCallStack, MakesValue n) => n -> App Bool
isReceiptModeUpdateNotif :: (HasCallStack, MakesValue n) => n -> App Bool
isConvMsgTimerUpdateNotif :: (HasCallStack, MakesValue n) => n -> App Bool
isConvAccessUpdateNotif :: (HasCallStack, MakesValue n) => n -> App Bool
isConvCreateNotif :: MakesValue a => a -> App Bool
isConvCreateNotifNotSelf :: MakesValue a => a -> App Bool
isConvDeleteNotif :: MakesValue a => a -> App Bool
notifTypeIsEqual :: MakesValue a => String -> a -> App Bool
isTeamMemberJoinNotif :: MakesValue a => a -> App Bool
isTeamMemberLeaveNotif :: MakesValue a => a -> App Bool
isUserActivateNotif :: MakesValue a => a -> App Bool
isUserClientAddNotif :: MakesValue a => a -> App Bool
isUserUpdatedNotif :: MakesValue a => a -> App Bool
isUserClientRemoveNotif :: MakesValue a => a -> App Bool
isUserLegalholdRequestNotif :: MakesValue a => a -> App Bool
isUserLegalholdEnabledNotif :: MakesValue a => a -> App Bool
isUserLegalholdDisabledNotif :: MakesValue a => a -> App Bool
isUserConnectionNotif :: MakesValue a => a -> App Bool
isConnectionNotif :: MakesValue a => String -> a -> App Bool
assertLeaveNotification :: (HasCallStack, MakesValue fromUser, MakesValue conv, MakesValue user, MakesValue kickedUser) => fromUser -> conv -> user -> String -> kickedUser -> App ()
assertConvUserDeletedNotif :: MakesValue leaverId => WebSocket -> leaverId -> App ()

Documentation

assertNoNotifications Source #

Arguments

:: (HasCallStack, MakesValue user, MakesValue client)
=> user	the user
-> client	the client of that user
-> Maybe String	the last notif
-> (Value -> App Bool)	the predicate
-> App ()

assert that no notifications with the predicate happen within the timeout

awaitNotifications Source #

Arguments

:: (HasCallStack, MakesValue user, MakesValue client)
=> user
-> Maybe client
-> Maybe String
-> Int	Max no. of notifications
-> (Value -> App Bool)	Selection function. Should not throw any exceptions
-> App [Value]