Safe Haskell	Safe-Inferred
Language	GHC2021

Wire.API.Federation.API.Brig.Notifications

Synopsis

type UserDeletedNotificationMaxConnections = 1000
data UserDeletedConnectionsNotification = UserDeletedConnectionsNotification {
- user :: UserId
- connections :: Range 1 UserDeletedNotificationMaxConnections [UserId]
}
data BrigNotificationTag = OnUserDeletedConnectionsTag
type BrigNotificationAPI = NotificationFedEndpoint 'OnUserDeletedConnectionsTag

Documentation

type UserDeletedNotificationMaxConnections = 1000 Source #

data UserDeletedConnectionsNotification Source #

Constructors

UserDeletedConnectionsNotification
Fields user :: UserId This is qualified implicitly by the origin domain connections :: Range 1 UserDeletedNotificationMaxConnections [UserId] These are qualified implicitly by the target domain

Instances

Instances details

Arbitrary UserDeletedConnectionsNotification Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Methods arbitrary :: Gen UserDeletedConnectionsNotification Source # shrink :: UserDeletedConnectionsNotification -> [UserDeletedConnectionsNotification] Source #
FromJSON UserDeletedConnectionsNotification Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Methods parseJSON :: Value -> Parser UserDeletedConnectionsNotification Source # parseJSONList :: Value -> Parser [UserDeletedConnectionsNotification] Source #
ToJSON UserDeletedConnectionsNotification Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Methods toJSON :: UserDeletedConnectionsNotification -> Value Source # toEncoding :: UserDeletedConnectionsNotification -> Encoding Source # toJSONList :: [UserDeletedConnectionsNotification] -> Value Source # toEncodingList :: [UserDeletedConnectionsNotification] -> Encoding Source #
Generic UserDeletedConnectionsNotification Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Associated Types type Rep UserDeletedConnectionsNotification :: Type -> Type # Methods from :: UserDeletedConnectionsNotification -> Rep UserDeletedConnectionsNotification x # to :: Rep UserDeletedConnectionsNotification x -> UserDeletedConnectionsNotification #
Show UserDeletedConnectionsNotification Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Methods showsPrec :: Int -> UserDeletedConnectionsNotification -> ShowS # show :: UserDeletedConnectionsNotification -> String # showList :: [UserDeletedConnectionsNotification] -> ShowS #
Eq UserDeletedConnectionsNotification Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Methods (==) :: UserDeletedConnectionsNotification -> UserDeletedConnectionsNotification -> Bool # (/=) :: UserDeletedConnectionsNotification -> UserDeletedConnectionsNotification -> Bool #
ToSchema UserDeletedConnectionsNotification Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Methods declareNamedSchema :: Proxy UserDeletedConnectionsNotification -> Declare (Definitions Schema) NamedSchema Source #
type Rep UserDeletedConnectionsNotification Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications type Rep UserDeletedConnectionsNotification = D1 ('MetaData "UserDeletedConnectionsNotification" "Wire.API.Federation.API.Brig.Notifications" "wire-api-federation-0.1.0-KrCnHof6TO1avA0Ur7PtD" 'False) (C1 ('MetaCons "UserDeletedConnectionsNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "user") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserId) :*: S1 ('MetaSel ('Just "connections") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Range 1 UserDeletedNotificationMaxConnections [UserId]))))

data BrigNotificationTag Source #

Constructors

OnUserDeletedConnectionsTag

Instances

Instances details

Bounded BrigNotificationTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Methods minBound :: BrigNotificationTag # maxBound :: BrigNotificationTag #
Enum BrigNotificationTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Methods succ :: BrigNotificationTag -> BrigNotificationTag # pred :: BrigNotificationTag -> BrigNotificationTag # toEnum :: Int -> BrigNotificationTag # fromEnum :: BrigNotificationTag -> Int # enumFrom :: BrigNotificationTag -> [BrigNotificationTag] # enumFromThen :: BrigNotificationTag -> BrigNotificationTag -> [BrigNotificationTag] # enumFromTo :: BrigNotificationTag -> BrigNotificationTag -> [BrigNotificationTag] # enumFromThenTo :: BrigNotificationTag -> BrigNotificationTag -> BrigNotificationTag -> [BrigNotificationTag] #
Generic BrigNotificationTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Associated Types type Rep BrigNotificationTag :: Type -> Type # Methods from :: BrigNotificationTag -> Rep BrigNotificationTag x # to :: Rep BrigNotificationTag x -> BrigNotificationTag #
Show BrigNotificationTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Methods showsPrec :: Int -> BrigNotificationTag -> ShowS # show :: BrigNotificationTag -> String # showList :: [BrigNotificationTag] -> ShowS #
Eq BrigNotificationTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Methods (==) :: BrigNotificationTag -> BrigNotificationTag -> Bool # (/=) :: BrigNotificationTag -> BrigNotificationTag -> Bool #
HasNotificationEndpoint 'OnUserDeletedConnectionsTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Associated Types type Payload 'OnUserDeletedConnectionsTag = (p :: Type) Source # type NotificationPath 'OnUserDeletedConnectionsTag :: Symbol Source # type NotificationVersionTag 'OnUserDeletedConnectionsTag :: Maybe Version Source # type NotificationMods 'OnUserDeletedConnectionsTag :: [Type] Source #
IsNotificationTag BrigNotificationTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications Associated Types type NotificationComponent BrigNotificationTag = (c :: Component) Source #
type Rep BrigNotificationTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications type Rep BrigNotificationTag = D1 ('MetaData "BrigNotificationTag" "Wire.API.Federation.API.Brig.Notifications" "wire-api-federation-0.1.0-KrCnHof6TO1avA0Ur7PtD" 'False) (C1 ('MetaCons "OnUserDeletedConnectionsTag" 'PrefixI 'False) (U1 :: Type -> Type))
type NotificationComponent BrigNotificationTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications type NotificationComponent BrigNotificationTag = 'Brig
type NotificationMods 'OnUserDeletedConnectionsTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications type NotificationMods 'OnUserDeletedConnectionsTag = '[] :: [Type]
type NotificationPath 'OnUserDeletedConnectionsTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications type NotificationPath 'OnUserDeletedConnectionsTag = "on-user-deleted-connections"
type NotificationVersionTag 'OnUserDeletedConnectionsTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications type NotificationVersionTag 'OnUserDeletedConnectionsTag = 'Nothing :: Maybe Version
type Payload 'OnUserDeletedConnectionsTag Source #
Instance details Defined in Wire.API.Federation.API.Brig.Notifications type Payload 'OnUserDeletedConnectionsTag = UserDeletedConnectionsNotification

type BrigNotificationAPI = NotificationFedEndpoint 'OnUserDeletedConnectionsTag Source #

All the notification endpoints return an EmptyResponse.