| 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 -> client -> Maybe String -> Int -> (Value -> App Bool) -> App [Value]
- awaitNotification :: (HasCallStack, MakesValue user, MakesValue client, MakesValue lastNotifId) => user -> client -> 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
- 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
- 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
Arguments
| :: (HasCallStack, MakesValue user, MakesValue client) | |
| => user | |
| -> client | |
| -> Maybe String | |
| -> Int | Max no. of notifications |
| -> (Value -> App Bool) | Selection function. Should not throw any exceptions |
| -> App [Value] |
awaitNotification :: (HasCallStack, MakesValue user, MakesValue client, MakesValue lastNotifId) => user -> client -> Maybe lastNotifId -> (Value -> App Bool) -> App Value Source #
isDeleteUserNotif :: MakesValue a => a -> App Bool Source #
isFeatureConfigUpdateNotif :: MakesValue a => a -> App Bool Source #
isNewMessageNotif :: MakesValue a => a -> App Bool Source #
isNewMLSMessageNotif :: MakesValue a => a -> App Bool Source #
isWelcomeNotif :: MakesValue a => a -> App Bool Source #
isMemberJoinNotif :: MakesValue a => a -> App Bool Source #
isConvLeaveNotif :: MakesValue a => a -> App Bool Source #
isConvLeaveNotifWithLeaver :: (MakesValue user, MakesValue a) => user -> a -> App Bool Source #
isNotifConv :: (MakesValue conv, MakesValue a, HasCallStack) => conv -> a -> App Bool Source #
isNotifForUser :: (MakesValue user, MakesValue a, HasCallStack) => user -> a -> App Bool Source #
isNotifFromUser :: (MakesValue user, MakesValue a, HasCallStack) => user -> a -> App Bool Source #
isConvNameChangeNotif :: (HasCallStack, MakesValue a) => a -> App Bool Source #
isMemberUpdateNotif :: (HasCallStack, MakesValue n) => n -> App Bool Source #
isReceiptModeUpdateNotif :: (HasCallStack, MakesValue n) => n -> App Bool Source #
isConvMsgTimerUpdateNotif :: (HasCallStack, MakesValue n) => n -> App Bool Source #
isConvAccessUpdateNotif :: (HasCallStack, MakesValue n) => n -> App Bool Source #
isConvCreateNotif :: MakesValue a => a -> App Bool Source #
isConvCreateNotifNotSelf :: MakesValue a => a -> App Bool Source #
like isConvCreateNotif but excludes self conversations
isConvDeleteNotif :: MakesValue a => a -> App Bool Source #
notifTypeIsEqual :: MakesValue a => String -> a -> App Bool Source #
isTeamMemberLeaveNotif :: MakesValue a => a -> App Bool Source #
isUserActivateNotif :: MakesValue a => a -> App Bool Source #
isUserClientAddNotif :: MakesValue a => a -> App Bool Source #
isUserUpdatedNotif :: MakesValue a => a -> App Bool Source #
isUserClientRemoveNotif :: MakesValue a => a -> App Bool Source #
isUserLegalholdRequestNotif :: MakesValue a => a -> App Bool Source #
isUserLegalholdEnabledNotif :: MakesValue a => a -> App Bool Source #
isUserLegalholdDisabledNotif :: MakesValue a => a -> App Bool Source #
isUserConnectionNotif :: MakesValue a => a -> App Bool Source #
isConnectionNotif :: MakesValue a => String -> a -> App Bool Source #
assertLeaveNotification :: (HasCallStack, MakesValue fromUser, MakesValue conv, MakesValue user, MakesValue kickedUser) => fromUser -> conv -> user -> String -> kickedUser -> App () Source #
assertConvUserDeletedNotif :: MakesValue leaverId => WebSocket -> leaverId -> App () Source #