Web.WebPush.Internal

Documentation

data ServerIdentification

Server identification for a single host, used to identify the server to the remote push server

Constructors

ServerIdentification

Fields

• serverIdentificationAudience :: Text
• serverIdentificationExpiration :: Int
• serverIdentificationSubject :: Text

  Contact information for the server, either email URI in rfc6068 format 'mailto:[e-mail]' or HTTPS URL in rfc2818 format 'https://example.com/contact'

Instances

ToJSON ServerIdentification

Defined in Web.WebPush.Internal

Methods

toJSON :: ServerIdentification -> Value

toEncoding :: ServerIdentification -> Encoding

toJSONList :: [ServerIdentification] -> Value

toEncodingList :: [ServerIdentification] -> Encoding

Show ServerIdentification

Defined in Web.WebPush.Internal

Methods

showsPrec :: Int -> ServerIdentification -> ShowS

show :: ServerIdentification -> String

showList :: [ServerIdentification] -> ShowS

webPushJWT :: MonadRandom m => PrivateKey -> ServerIdentification -> m ByteString

data WebPushEncryptionInput

All inputs are in raw bytes with no encoding except for the plaintext for which raw bytes are the Base 64 encoded bytes

Constructors

EncryptionInput

Fields

• applicationServerPrivateKey :: PrivateNumber
• userAgentPublicKeyBytes :: ByteString
• authenticationSecret :: ByteString
• salt :: ByteString
• plainText :: ByteString
• paddingLength :: Int64

Instances

Show WebPushEncryptionInput

Defined in Web.WebPush.Internal

Methods

showsPrec :: Int -> WebPushEncryptionInput -> ShowS

show :: WebPushEncryptionInput -> String

showList :: [WebPushEncryptionInput] -> ShowS

data WebPushEncryptionOutput

Intermediate encryption output used in tests All in raw bytes

Constructors

EncryptionOutput

Fields

• sharedECDHSecretBytes :: ByteString
• inputKeyingMaterialBytes :: ByteString
• contentEncryptionKeyContext :: ByteString
• contentEncryptionKey :: ByteString
• nonceContext :: ByteString
• nonce :: ByteString
• paddedPlainText :: ByteString
• encryptedMessage :: ByteString

data EncryptError

Constructors

EncodeApplicationPublicKeyError String

EncryptCipherInitError CryptoError

EncryptAeadInitError CryptoError

EncryptInputPublicKeyError CryptoError

EncryptInputApplicationPublicKeyError String

Instances

Show EncryptError

Defined in Web.WebPush.Internal

Methods

showsPrec :: Int -> EncryptError -> ShowS

show :: EncryptError -> String

showList :: [EncryptError] -> ShowS

Eq EncryptError

Defined in Web.WebPush.Internal

Methods

(==) :: EncryptError -> EncryptError -> Bool

(/=) :: EncryptError -> EncryptError -> Bool

webPushEncrypt :: WebPushEncryptionInput -> Either EncryptError WebPushEncryptionOutput

Payload encryption https://tools.ietf.org/html/draft-ietf-webpush-encryption-04

hostHeaders :: (MonadIO m, MonadRandom m) => PrivateKey -> ServerIdentification -> m [Header]

Authorization header for a vapid push notification request this is shared between all push notifications sent to a single push service host

uriHost :: URI -> Maybe Text

The host for URI including scheme and port

ecPublicKeyToBytes :: Point -> Either String ByteString

ecPublicKeyToBytes' :: (Integer, Integer) -> ByteString

ecBytesToPublicKey :: ByteString -> Either CryptoError Point

type Bytes32 = (Word64, Word64, Word64, Word64)

int32Bytes :: Integer -> Bytes32

bytes32Int :: Bytes32 -> Integer