Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- newtype PushTokenList = PushTokenList {
- pushTokens :: [PushToken]
- data PushToken
- pushToken :: Transport -> AppName -> Token -> ClientId -> PushToken
- tokenTransport :: Lens' PushToken Transport
- tokenApp :: Lens' PushToken AppName
- tokenClient :: Lens' PushToken ClientId
- token :: Lens' PushToken Token
- data Transport
- newtype Token = Token {}
- newtype AppName = AppName {
- appNameText :: Text
- data AddTokenError
- data AddTokenSuccess = AddTokenSuccess PushToken
- type AddTokenResponses = AddTokenErrorResponses .++ '[AddTokenSuccessResponses]
- type DeleteTokenResponses = '[ErrorResponse 'TokenNotFound, RespondEmpty 204 "Push token unregistered"]
PushToken
newtype PushTokenList Source #
Instances
Instances
PushToken fields
Instances
Instances
Arbitrary Token Source # | |
FromJSON Token Source # | |
ToJSON Token Source # | |
Show Token Source # | |
FromByteString Token Source # | |
Defined in Wire.API.Push.V2.Token | |
ToByteString Token Source # | |
Eq Token Source # | |
Ord Token Source # | |
FromHttpApiData Token Source # | |
Defined in Wire.API.Push.V2.Token | |
ToHttpApiData Token Source # | |
Defined in Wire.API.Push.V2.Token toUrlPiece :: Token -> Text Source # toEncodedUrlPiece :: Token -> Builder Source # toHeader :: Token -> ByteString Source # toQueryParam :: Token -> Text Source # toEncodedQueryParam :: Token -> Builder Source # | |
ToParamSchema Token Source # | |
Defined in Wire.API.Push.V2.Token | |
ToSchema Token Source # | |
Defined in Wire.API.Push.V2.Token | |
ToSchema Token Source # | |
Defined in Wire.API.Push.V2.Token | |
AsHeaders '[Token] PushToken AddTokenSuccess Source # | |
Defined in Wire.API.Push.V2.Token |
Instances
Arbitrary AppName Source # | |
FromJSON AppName Source # | |
ToJSON AppName Source # | |
IsString AppName Source # | |
Defined in Wire.API.Push.V2.Token fromString :: String -> AppName # | |
Show AppName Source # | |
Eq AppName Source # | |
Ord AppName Source # | |
ToSchema AppName Source # | |
Defined in Wire.API.Push.V2.Token | |
ToSchema AppName Source # | |
Defined in Wire.API.Push.V2.Token |
API types
data AddTokenError Source #
AddTokenErrorNoBudget | |
AddTokenErrorNotFound | |
AddTokenErrorInvalid | |
AddTokenErrorTooLong | |
AddTokenErrorMetadataTooLong | |
AddTokenErrorApnsVoipNotSupported |
Instances
data AddTokenSuccess Source #
Instances
res ~ AddTokenResponses => AsUnion res (Either AddTokenError AddTokenSuccess) Source # | |
Defined in Wire.API.Push.V2.Token toUnion :: Either AddTokenError AddTokenSuccess -> Union (ResponseTypes res) Source # fromUnion :: Union (ResponseTypes res) -> Either AddTokenError AddTokenSuccess Source # | |
AsHeaders '[Token] PushToken AddTokenSuccess Source # | |
Defined in Wire.API.Push.V2.Token |
type AddTokenResponses = AddTokenErrorResponses .++ '[AddTokenSuccessResponses] Source #
type DeleteTokenResponses = '[ErrorResponse 'TokenNotFound, RespondEmpty 204 "Push token unregistered"] Source #