Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data Recipient = Recipient {}
- data Push = Push {}
- pushTransient :: Lens' Push Bool
- pushRoute :: Lens' Push Route
- pushRecipients :: Lens' Push (NonEmpty Recipient)
- pushNativePriority :: Lens' Push (Maybe Priority)
- pushConn :: Lens' Push (Maybe ConnId)
- pushApsData :: Lens' Push (Maybe ApsData)
- data NotificationSubsystem m a where
- PushNotifications :: [Push] -> NotificationSubsystem m ()
- PushNotificationsSlowly :: [Push] -> NotificationSubsystem m ()
- PushNotificationAsync :: Push -> NotificationSubsystem m (Async (Maybe ()))
- CleanupUser :: UserId -> NotificationSubsystem m ()
- UnregisterPushClient :: UserId -> ClientId -> NotificationSubsystem m ()
- GetPushTokens :: UserId -> NotificationSubsystem m [PushToken]
- getPushTokens :: forall r. Member NotificationSubsystem r => UserId -> Sem r [PushToken]
- unregisterPushClient :: forall r. Member NotificationSubsystem r => UserId -> ClientId -> Sem r ()
- cleanupUser :: forall r. Member NotificationSubsystem r => UserId -> Sem r ()
- pushNotificationAsync :: forall r. Member NotificationSubsystem r => Push -> Sem r (Async (Maybe ()))
- pushNotificationsSlowly :: forall r. Member NotificationSubsystem r => [Push] -> Sem r ()
- pushNotifications :: forall r. Member NotificationSubsystem r => [Push] -> Sem r ()
- newPush1 :: Maybe UserId -> Object -> NonEmpty Recipient -> Push
- newPush :: Maybe UserId -> Object -> [Recipient] -> Maybe Push
- newPushLocal :: UserId -> Object -> [Recipient] -> Maybe Push
- newPushLocal1 :: UserId -> Object -> NonEmpty Recipient -> Push
Documentation
Instances
Arbitrary Recipient Source # | |
Generic Recipient Source # | |
Show Recipient Source # | |
Eq Recipient Source # | |
Ord Recipient Source # | |
Defined in Wire.NotificationSubsystem | |
type Rep Recipient Source # | |
Defined in Wire.NotificationSubsystem type Rep Recipient = D1 ('MetaData "Recipient" "Wire.NotificationSubsystem" "wire-subsystems-0.1.0-8kLXA8DL8T7Joz69IIRPwJ" 'False) (C1 ('MetaCons "Recipient" 'PrefixI 'True) (S1 ('MetaSel ('Just "recipientUserId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserId) :*: S1 ('MetaSel ('Just "recipientClients") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RecipientClients))) |
Push | |
|
Instances
data NotificationSubsystem m a where Source #
This subsystem governs mechanisms to send notifications to users.
PushNotifications :: [Push] -> NotificationSubsystem m () | Bulk push notifications |
PushNotificationsSlowly :: [Push] -> NotificationSubsystem m () | Bulk push notifications, but slowly. This should be used when there are many notifications to be sent which could cause too much resource usage. |
PushNotificationAsync :: Push -> NotificationSubsystem m (Async (Maybe ())) | Bulk push notifications, but async. This should be used when failure to send notifications is not critical. |
CleanupUser :: UserId -> NotificationSubsystem m () | |
UnregisterPushClient :: UserId -> ClientId -> NotificationSubsystem m () | |
GetPushTokens :: UserId -> NotificationSubsystem m [PushToken] |
getPushTokens :: forall r. Member NotificationSubsystem r => UserId -> Sem r [PushToken] Source #
unregisterPushClient :: forall r. Member NotificationSubsystem r => UserId -> ClientId -> Sem r () Source #
cleanupUser :: forall r. Member NotificationSubsystem r => UserId -> Sem r () Source #
pushNotificationAsync :: forall r. Member NotificationSubsystem r => Push -> Sem r (Async (Maybe ())) Source #
pushNotificationsSlowly :: forall r. Member NotificationSubsystem r => [Push] -> Sem r () Source #
Bulk push notifications, but slowly. This should be used when there are many notifications to be sent which could cause too much resource usage.
pushNotifications :: forall r. Member NotificationSubsystem r => [Push] -> Sem r () Source #
Bulk push notifications