%      !"#$NoneThe reponse you get when you inquire about a receipt for a priority 2 message. See the pushover API documentation for what each field means. When you send a PushMessage, the server replies with at least a status code and a request number. See the pushover API documentation for what each field means. The PushMessage data structure. To construct one of these, you should alter the message under *defaultMessage* using record syntax. "/A default PushMessage (all empty fields except token, user and messagev will be removed later in the POST request, but the fields have to be there to overwrite them later (if you want)). #.Sends a push message to the Pushover servers. $Inquire about a receipt. )  !"%&#$'(%  !"#$%  ! "#$    !"%&#$'()      !"#$%&'()*+ hPushover-0.2 Saas.PushoverReceiptResponseRR receiptstatus acknowledgedacknowledgedAtlastDeliveredAtexpired expiresAt calledBack calledBackAt PushResponsePRstatusrequestreceipterrors PushMessagePMtokenusermessagedevicetitleurlurlTitlepriority timestampsoundcallbackexpireretryhtmlReceiptApptokendefaultMessagesendPushMessage checkReceiptmessageToBytestrings packIfNonzero$fFromJSONReceiptResponse$fFromJSONPushResponse