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