Safe Haskell	None
Language	Haskell2010

Signet

Contents

Verification
Signing
Headers
Types
Exceptions

Synopsis

verifyWebhookText :: (MonadIO m, MonadThrow m) => Text -> Text -> Text -> Text -> Text -> m Signature
verifyWebhookByteString :: (MonadIO m, MonadThrow m) => ByteString -> ByteString -> ByteString -> ByteString -> ByteString -> m Signature
verifyWebhook :: (MonadIO m, MonadThrow m) => Verifier -> Message -> Signatures -> m Signature
verifyWebhookWith :: Tolerance -> UTCTime -> Verifier -> Message -> Signatures -> Either SignetException Signature
signWebhook :: Signer -> Message -> Signature
hWebhookId :: HeaderName
hWebhookTimestamp :: HeaderName
hWebhookSignature :: HeaderName
newtype AsymmetricSignature = MkAsymmetricSignature Signature
newtype Id = MkId ByteString
parseId :: ByteString -> Either InvalidId Id
data Message = MkMessage {
- id_ :: Id
- timestamp :: Timestamp
- payload :: Payload
}
parseMessage :: ByteString -> Either InvalidMessage Message
newtype Payload = MkPayload ByteString
newtype PublicKey = MkPublicKey PublicKey
newtype Secret = MkSecret ScrubbedBytes
newtype SecretKey = MkSecretKey SecretKey
data Signature where
- pattern AsymmetricSignature :: AsymmetricSignature -> Signature
- pattern SymmetricSignature :: SymmetricSignature -> Signature
newtype Signatures = MkSignatures [Signature]
parseSignatures :: ByteString -> Either InvalidSignature ([UnknownSignature], Signatures)
data Signer where
- pattern AsymmetricSigner :: SecretKey -> Signer
- pattern SymmetricSigner :: Secret -> Signer
parseSigner :: ByteString -> Either InvalidSigner Signer
newtype SymmetricSignature = MkSymmetricSignature (Digest SHA256)
newtype Timestamp = MkTimestamp UTCTime
parseTimestamp :: ByteString -> Either InvalidTimestamp Timestamp
newtype Tolerance = MkTolerance NominalDiffTime
typicalTolerance :: Tolerance
data Verifier where
- pattern AsymmetricVerifier :: PublicKey -> Verifier
- pattern SymmetricVerifier :: Secret -> Verifier
parseVerifier :: ByteString -> Either InvalidVerifier Verifier
newtype InvalidAsymmetricSignature = MkInvalidAsymmetricSignature ByteString
newtype InvalidId = MkInvalidId ByteString
data InvalidMessage
- = InvalidId InvalidId
- | InvalidTimestamp InvalidTimestamp
newtype InvalidPublicKey = MkInvalidPublicKey ByteString
newtype InvalidSecret = MkInvalidSecret ByteString
newtype InvalidSecretKey = MkInvalidSecretKey ByteString
data InvalidSignature
- = InvalidAsymmetricSignature InvalidAsymmetricSignature
- | InvalidSymmetricSignature InvalidSymmetricSignature
newtype InvalidSigner = MkInvalidSigner ByteString
newtype InvalidSymmetricSignature = MkInvalidSymmetricSignature ByteString
newtype InvalidTimestamp = MkInvalidTimestamp ByteString
newtype InvalidVerifier = MkInvalidVerifier ByteString
data SignetException
- = ToleranceException ToleranceException
- | VerificationException VerificationException
newtype ToleranceException = MkToleranceException Timestamp
newtype UnknownSignature = MkUnknownSignature ByteString
newtype VerificationException = MkVerificationException Id

Verification

verifyWebhookText Source #

Arguments

:: (MonadIO m, MonadThrow m)
=> Text	A `Verifier` for the webhook. Typically this will be `"whsec_..."` or `"whpk_..."`.
-> Text	The webhook's unique `Id`. Typically this will come from the `hWebhookId` header and look like `"msg_..."`.
-> Text	The webhook's `Timestamp`. This is an integer number of seconds since the Unix epoch. Typically this will come from the `hWebhookTimestamp` header. For example `"981173106"` for `2001-02-03T04:05:06Z`.
-> Text	The webhook's raw `Payload`. Typically this will be a JSON object like `{"event_type":"ping",...}`.
-> Text	The webhook's `Signatures`. Typically this will come from the `hWebhookSignature` header and look like `"v1_..."` or `"v1a_..."`.
-> m Signature

Verifies a webhook with Text values. This is a wrapper around verifyWebhookByteString that assumes all values are encoded as UTF-8.

verifyWebhookByteString Source #

Arguments

:: (MonadIO m, MonadThrow m)
=> ByteString	`Verifier`
-> ByteString	`Id`
-> ByteString	`Timestamp`
-> ByteString	`Payload`
-> ByteString	`Signatures`
-> m Signature

Verifies a webhook with ByteString values. This is a wrapper around verifyWebhook. See verifyWebhookText for a description of the arguments.

verifyWebhook :: (MonadIO m, MonadThrow m) => Verifier -> Message -> Signatures -> m Signature Source #

Verifies a webhook. This is a wrapper around verifyWebhookWith that uses typicalTolerance and the current time.

Throws an exception if the webhook is invalid.

verifyWebhookWith Source #

Arguments

:: Tolerance	Often `typicalTolerance`.
-> UTCTime	Usually `getCurrentTime`.
-> Verifier	See `parseVerifier`.
-> Message	See `parseMessage`. Or `MkMessage` along with `parseId`, `parseTimestamp`, and `MkPayload`.
-> Signatures	See `parseSignatures`.
-> Either SignetException Signature

Verifies a webhook. This is the lowest-level function that gives you the most control. If you're looking for something that's easier to use and assumes some reasonable defaults, consider verifyWebhook.

Signing

signWebhook :: Signer -> Message -> Signature Source #

Alias for sign.

Headers

hWebhookId :: HeaderName Source #

hWebhookTimestamp :: HeaderName Source #

hWebhookSignature :: HeaderName Source #

Types

newtype AsymmetricSignature Source #

Constructors

MkAsymmetricSignature Signature

Instances

Instances details

Show AsymmetricSignature Source #
Instance details Defined in Signet.Unstable.Type.AsymmetricSignature Methods showsPrec :: Int -> AsymmetricSignature -> ShowS # show :: AsymmetricSignature -> String # showList :: [AsymmetricSignature] -> ShowS #
Eq AsymmetricSignature Source #
Instance details Defined in Signet.Unstable.Type.AsymmetricSignature Methods (==) :: AsymmetricSignature -> AsymmetricSignature -> Bool # (/=) :: AsymmetricSignature -> AsymmetricSignature -> Bool #

newtype Id Source #

Constructors

MkId ByteString

Instances

Instances details

Show Id Source #
Instance details Defined in Signet.Unstable.Type.Id Methods showsPrec :: Int -> Id -> ShowS # show :: Id -> String # showList :: [Id] -> ShowS #
Eq Id Source #
Instance details Defined in Signet.Unstable.Type.Id Methods (==) :: Id -> Id -> Bool # (/=) :: Id -> Id -> Bool #

parseId :: ByteString -> Either InvalidId Id Source #

Alias for parse.

data Message Source #

Constructors

MkMessage
Fields id_ :: Id timestamp :: Timestamp payload :: Payload

Instances

Instances details

Show Message Source #
Instance details Defined in Signet.Unstable.Type.Message Methods showsPrec :: Int -> Message -> ShowS # show :: Message -> String # showList :: [Message] -> ShowS #
Eq Message Source #
Instance details Defined in Signet.Unstable.Type.Message Methods (==) :: Message -> Message -> Bool # (/=) :: Message -> Message -> Bool #

parseMessage :: ByteString -> Either InvalidMessage Message Source #

Alias for parse.

newtype Payload Source #

Constructors

MkPayload ByteString

Instances

Instances details

Show Payload Source #
Instance details Defined in Signet.Unstable.Type.Payload Methods showsPrec :: Int -> Payload -> ShowS # show :: Payload -> String # showList :: [Payload] -> ShowS #
Eq Payload Source #
Instance details Defined in Signet.Unstable.Type.Payload Methods (==) :: Payload -> Payload -> Bool # (/=) :: Payload -> Payload -> Bool #

newtype PublicKey Source #

Constructors

MkPublicKey PublicKey

Instances

Instances details

Show PublicKey Source #
Instance details Defined in Signet.Unstable.Type.PublicKey Methods showsPrec :: Int -> PublicKey -> ShowS # show :: PublicKey -> String # showList :: [PublicKey] -> ShowS #
Eq PublicKey Source #
Instance details Defined in Signet.Unstable.Type.PublicKey Methods (==) :: PublicKey -> PublicKey -> Bool # (/=) :: PublicKey -> PublicKey -> Bool #

newtype Secret Source #

Constructors

MkSecret ScrubbedBytes

Instances

Instances details

Show Secret Source #
Instance details Defined in Signet.Unstable.Type.Secret Methods showsPrec :: Int -> Secret -> ShowS # show :: Secret -> String # showList :: [Secret] -> ShowS #
Eq Secret Source #
Instance details Defined in Signet.Unstable.Type.Secret Methods (==) :: Secret -> Secret -> Bool # (/=) :: Secret -> Secret -> Bool #

newtype SecretKey Source #

Constructors

MkSecretKey SecretKey

Instances

Instances details

Show SecretKey Source #
Instance details Defined in Signet.Unstable.Type.SecretKey Methods showsPrec :: Int -> SecretKey -> ShowS # show :: SecretKey -> String # showList :: [SecretKey] -> ShowS #
Eq SecretKey Source #
Instance details Defined in Signet.Unstable.Type.SecretKey Methods (==) :: SecretKey -> SecretKey -> Bool # (/=) :: SecretKey -> SecretKey -> Bool #

data Signature where Source #

Bundled Patterns

pattern AsymmetricSignature :: AsymmetricSignature -> Signature	Alias for `Asymmetric`.
pattern SymmetricSignature :: SymmetricSignature -> Signature	Alias for `Symmetric`.

Instances

Instances details

Show Signature Source #
Instance details Defined in Signet.Unstable.Type.Signature Methods showsPrec :: Int -> Signature -> ShowS # show :: Signature -> String # showList :: [Signature] -> ShowS #
Eq Signature Source #
Instance details Defined in Signet.Unstable.Type.Signature Methods (==) :: Signature -> Signature -> Bool # (/=) :: Signature -> Signature -> Bool #

newtype Signatures Source #

Constructors

MkSignatures [Signature]

Instances

Instances details

Show Signatures Source #
Instance details Defined in Signet.Unstable.Type.Signatures Methods showsPrec :: Int -> Signatures -> ShowS # show :: Signatures -> String # showList :: [Signatures] -> ShowS #
Eq Signatures Source #
Instance details Defined in Signet.Unstable.Type.Signatures Methods (==) :: Signatures -> Signatures -> Bool # (/=) :: Signatures -> Signatures -> Bool #

parseSignatures :: ByteString -> Either InvalidSignature ([UnknownSignature], Signatures) Source #

Alias for parse.

data Signer where Source #

Bundled Patterns

pattern AsymmetricSigner :: SecretKey -> Signer	Alias for `Asymmetric`.
pattern SymmetricSigner :: Secret -> Signer	Alias for `Symmetric`.

Instances

Instances details

Show Signer Source #
Instance details Defined in Signet.Unstable.Type.Signer Methods showsPrec :: Int -> Signer -> ShowS # show :: Signer -> String # showList :: [Signer] -> ShowS #
Eq Signer Source #
Instance details Defined in Signet.Unstable.Type.Signer Methods (==) :: Signer -> Signer -> Bool # (/=) :: Signer -> Signer -> Bool #

parseSigner :: ByteString -> Either InvalidSigner Signer Source #

Alias for parse.

newtype SymmetricSignature Source #

Constructors

MkSymmetricSignature (Digest SHA256)

Instances

Instances details

Show SymmetricSignature Source #
Instance details Defined in Signet.Unstable.Type.SymmetricSignature Methods showsPrec :: Int -> SymmetricSignature -> ShowS # show :: SymmetricSignature -> String # showList :: [SymmetricSignature] -> ShowS #
Eq SymmetricSignature Source #
Instance details Defined in Signet.Unstable.Type.SymmetricSignature Methods (==) :: SymmetricSignature -> SymmetricSignature -> Bool # (/=) :: SymmetricSignature -> SymmetricSignature -> Bool #

newtype Timestamp Source #

Constructors

MkTimestamp UTCTime

Instances

Instances details

Show Timestamp Source #
Instance details Defined in Signet.Unstable.Type.Timestamp Methods showsPrec :: Int -> Timestamp -> ShowS # show :: Timestamp -> String # showList :: [Timestamp] -> ShowS #
Eq Timestamp Source #
Instance details Defined in Signet.Unstable.Type.Timestamp Methods (==) :: Timestamp -> Timestamp -> Bool # (/=) :: Timestamp -> Timestamp -> Bool #

parseTimestamp :: ByteString -> Either InvalidTimestamp Timestamp Source #

Alias for parse.

newtype Tolerance Source #

Constructors

MkTolerance NominalDiffTime

Instances

Instances details

Show Tolerance Source #
Instance details Defined in Signet.Unstable.Type.Tolerance Methods showsPrec :: Int -> Tolerance -> ShowS # show :: Tolerance -> String # showList :: [Tolerance] -> ShowS #
Eq Tolerance Source #
Instance details Defined in Signet.Unstable.Type.Tolerance Methods (==) :: Tolerance -> Tolerance -> Bool # (/=) :: Tolerance -> Tolerance -> Bool #

typicalTolerance :: Tolerance Source #

Alias for typical.

data Verifier where Source #

Bundled Patterns

pattern AsymmetricVerifier :: PublicKey -> Verifier	Alias for `Asymmetric`.
pattern SymmetricVerifier :: Secret -> Verifier	Alias for `Symmetric`.

Instances

Instances details

Show Verifier Source #
Instance details Defined in Signet.Unstable.Type.Verifier Methods showsPrec :: Int -> Verifier -> ShowS # show :: Verifier -> String # showList :: [Verifier] -> ShowS #
Eq Verifier Source #
Instance details Defined in Signet.Unstable.Type.Verifier Methods (==) :: Verifier -> Verifier -> Bool # (/=) :: Verifier -> Verifier -> Bool #

parseVerifier :: ByteString -> Either InvalidVerifier Verifier Source #

Alias for parse.

Exceptions

newtype InvalidAsymmetricSignature Source #

Constructors

MkInvalidAsymmetricSignature ByteString

Instances

Instances details

Exception InvalidAsymmetricSignature Source #
Instance details Defined in Signet.Unstable.Exception.InvalidAsymmetricSignature Methods toException :: InvalidAsymmetricSignature -> SomeException # fromException :: SomeException -> Maybe InvalidAsymmetricSignature # displayException :: InvalidAsymmetricSignature -> String # backtraceDesired :: InvalidAsymmetricSignature -> Bool #
Show InvalidAsymmetricSignature Source #
Instance details Defined in Signet.Unstable.Exception.InvalidAsymmetricSignature Methods showsPrec :: Int -> InvalidAsymmetricSignature -> ShowS # show :: InvalidAsymmetricSignature -> String # showList :: [InvalidAsymmetricSignature] -> ShowS #
Eq InvalidAsymmetricSignature Source #
Instance details Defined in Signet.Unstable.Exception.InvalidAsymmetricSignature Methods (==) :: InvalidAsymmetricSignature -> InvalidAsymmetricSignature -> Bool # (/=) :: InvalidAsymmetricSignature -> InvalidAsymmetricSignature -> Bool #

newtype InvalidId Source #

Constructors

MkInvalidId ByteString

Instances

Instances details

Exception InvalidId Source #
Instance details Defined in Signet.Unstable.Exception.InvalidId Methods toException :: InvalidId -> SomeException # fromException :: SomeException -> Maybe InvalidId # displayException :: InvalidId -> String # backtraceDesired :: InvalidId -> Bool #
Show InvalidId Source #
Instance details Defined in Signet.Unstable.Exception.InvalidId Methods showsPrec :: Int -> InvalidId -> ShowS # show :: InvalidId -> String # showList :: [InvalidId] -> ShowS #
Eq InvalidId Source #
Instance details Defined in Signet.Unstable.Exception.InvalidId Methods (==) :: InvalidId -> InvalidId -> Bool # (/=) :: InvalidId -> InvalidId -> Bool #

data InvalidMessage Source #

Constructors

InvalidId InvalidId
InvalidTimestamp InvalidTimestamp

Instances

Instances details

Exception InvalidMessage Source #
Instance details Defined in Signet.Unstable.Exception.InvalidMessage Methods toException :: InvalidMessage -> SomeException # fromException :: SomeException -> Maybe InvalidMessage # displayException :: InvalidMessage -> String # backtraceDesired :: InvalidMessage -> Bool #
Show InvalidMessage Source #
Instance details Defined in Signet.Unstable.Exception.InvalidMessage Methods showsPrec :: Int -> InvalidMessage -> ShowS # show :: InvalidMessage -> String # showList :: [InvalidMessage] -> ShowS #
Eq InvalidMessage Source #
Instance details Defined in Signet.Unstable.Exception.InvalidMessage Methods (==) :: InvalidMessage -> InvalidMessage -> Bool # (/=) :: InvalidMessage -> InvalidMessage -> Bool #

newtype InvalidPublicKey Source #

Constructors

MkInvalidPublicKey ByteString

Instances

Instances details

Exception InvalidPublicKey Source #
Instance details Defined in Signet.Unstable.Exception.InvalidPublicKey Methods toException :: InvalidPublicKey -> SomeException # fromException :: SomeException -> Maybe InvalidPublicKey # displayException :: InvalidPublicKey -> String # backtraceDesired :: InvalidPublicKey -> Bool #
Show InvalidPublicKey Source #
Instance details Defined in Signet.Unstable.Exception.InvalidPublicKey Methods showsPrec :: Int -> InvalidPublicKey -> ShowS # show :: InvalidPublicKey -> String # showList :: [InvalidPublicKey] -> ShowS #
Eq InvalidPublicKey Source #
Instance details Defined in Signet.Unstable.Exception.InvalidPublicKey Methods (==) :: InvalidPublicKey -> InvalidPublicKey -> Bool # (/=) :: InvalidPublicKey -> InvalidPublicKey -> Bool #

newtype InvalidSecret Source #

Constructors

MkInvalidSecret ByteString

Instances

Instances details

Exception InvalidSecret Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSecret Methods toException :: InvalidSecret -> SomeException # fromException :: SomeException -> Maybe InvalidSecret # displayException :: InvalidSecret -> String # backtraceDesired :: InvalidSecret -> Bool #
Show InvalidSecret Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSecret Methods showsPrec :: Int -> InvalidSecret -> ShowS # show :: InvalidSecret -> String # showList :: [InvalidSecret] -> ShowS #
Eq InvalidSecret Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSecret Methods (==) :: InvalidSecret -> InvalidSecret -> Bool # (/=) :: InvalidSecret -> InvalidSecret -> Bool #

newtype InvalidSecretKey Source #

Constructors

MkInvalidSecretKey ByteString

Instances

Instances details

Exception InvalidSecretKey Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSecretKey Methods toException :: InvalidSecretKey -> SomeException # fromException :: SomeException -> Maybe InvalidSecretKey # displayException :: InvalidSecretKey -> String # backtraceDesired :: InvalidSecretKey -> Bool #
Show InvalidSecretKey Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSecretKey Methods showsPrec :: Int -> InvalidSecretKey -> ShowS # show :: InvalidSecretKey -> String # showList :: [InvalidSecretKey] -> ShowS #
Eq InvalidSecretKey Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSecretKey Methods (==) :: InvalidSecretKey -> InvalidSecretKey -> Bool # (/=) :: InvalidSecretKey -> InvalidSecretKey -> Bool #

data InvalidSignature Source #

Constructors

InvalidAsymmetricSignature InvalidAsymmetricSignature
InvalidSymmetricSignature InvalidSymmetricSignature

Instances

Instances details

Exception InvalidSignature Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSignature Methods toException :: InvalidSignature -> SomeException # fromException :: SomeException -> Maybe InvalidSignature # displayException :: InvalidSignature -> String # backtraceDesired :: InvalidSignature -> Bool #
Show InvalidSignature Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSignature Methods showsPrec :: Int -> InvalidSignature -> ShowS # show :: InvalidSignature -> String # showList :: [InvalidSignature] -> ShowS #
Eq InvalidSignature Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSignature Methods (==) :: InvalidSignature -> InvalidSignature -> Bool # (/=) :: InvalidSignature -> InvalidSignature -> Bool #

newtype InvalidSigner Source #

Constructors

MkInvalidSigner ByteString

Instances

Instances details

Exception InvalidSigner Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSigner Methods toException :: InvalidSigner -> SomeException # fromException :: SomeException -> Maybe InvalidSigner # displayException :: InvalidSigner -> String # backtraceDesired :: InvalidSigner -> Bool #
Show InvalidSigner Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSigner Methods showsPrec :: Int -> InvalidSigner -> ShowS # show :: InvalidSigner -> String # showList :: [InvalidSigner] -> ShowS #
Eq InvalidSigner Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSigner Methods (==) :: InvalidSigner -> InvalidSigner -> Bool # (/=) :: InvalidSigner -> InvalidSigner -> Bool #

newtype InvalidSymmetricSignature Source #

Constructors

MkInvalidSymmetricSignature ByteString

Instances

Instances details

Exception InvalidSymmetricSignature Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSymmetricSignature Methods toException :: InvalidSymmetricSignature -> SomeException # fromException :: SomeException -> Maybe InvalidSymmetricSignature # displayException :: InvalidSymmetricSignature -> String # backtraceDesired :: InvalidSymmetricSignature -> Bool #
Show InvalidSymmetricSignature Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSymmetricSignature Methods showsPrec :: Int -> InvalidSymmetricSignature -> ShowS # show :: InvalidSymmetricSignature -> String # showList :: [InvalidSymmetricSignature] -> ShowS #
Eq InvalidSymmetricSignature Source #
Instance details Defined in Signet.Unstable.Exception.InvalidSymmetricSignature Methods (==) :: InvalidSymmetricSignature -> InvalidSymmetricSignature -> Bool # (/=) :: InvalidSymmetricSignature -> InvalidSymmetricSignature -> Bool #

newtype InvalidTimestamp Source #

Constructors

MkInvalidTimestamp ByteString

Instances

Instances details

Exception InvalidTimestamp Source #
Instance details Defined in Signet.Unstable.Exception.InvalidTimestamp Methods toException :: InvalidTimestamp -> SomeException # fromException :: SomeException -> Maybe InvalidTimestamp # displayException :: InvalidTimestamp -> String # backtraceDesired :: InvalidTimestamp -> Bool #
Show InvalidTimestamp Source #
Instance details Defined in Signet.Unstable.Exception.InvalidTimestamp Methods showsPrec :: Int -> InvalidTimestamp -> ShowS # show :: InvalidTimestamp -> String # showList :: [InvalidTimestamp] -> ShowS #
Eq InvalidTimestamp Source #
Instance details Defined in Signet.Unstable.Exception.InvalidTimestamp Methods (==) :: InvalidTimestamp -> InvalidTimestamp -> Bool # (/=) :: InvalidTimestamp -> InvalidTimestamp -> Bool #

newtype InvalidVerifier Source #

Constructors

MkInvalidVerifier ByteString

Instances

Instances details

Exception InvalidVerifier Source #
Instance details Defined in Signet.Unstable.Exception.InvalidVerifier Methods toException :: InvalidVerifier -> SomeException # fromException :: SomeException -> Maybe InvalidVerifier # displayException :: InvalidVerifier -> String # backtraceDesired :: InvalidVerifier -> Bool #
Show InvalidVerifier Source #
Instance details Defined in Signet.Unstable.Exception.InvalidVerifier Methods showsPrec :: Int -> InvalidVerifier -> ShowS # show :: InvalidVerifier -> String # showList :: [InvalidVerifier] -> ShowS #
Eq InvalidVerifier Source #
Instance details Defined in Signet.Unstable.Exception.InvalidVerifier Methods (==) :: InvalidVerifier -> InvalidVerifier -> Bool # (/=) :: InvalidVerifier -> InvalidVerifier -> Bool #

data SignetException Source #

Constructors

ToleranceException ToleranceException
VerificationException VerificationException

Instances

Instances details

Exception SignetException Source #
Instance details Defined in Signet.Unstable.Exception.SignetException Methods toException :: SignetException -> SomeException # fromException :: SomeException -> Maybe SignetException # displayException :: SignetException -> String # backtraceDesired :: SignetException -> Bool #
Show SignetException Source #
Instance details Defined in Signet.Unstable.Exception.SignetException Methods showsPrec :: Int -> SignetException -> ShowS # show :: SignetException -> String # showList :: [SignetException] -> ShowS #
Eq SignetException Source #
Instance details Defined in Signet.Unstable.Exception.SignetException Methods (==) :: SignetException -> SignetException -> Bool # (/=) :: SignetException -> SignetException -> Bool #

newtype ToleranceException Source #

Constructors

MkToleranceException Timestamp

Instances

Instances details

Exception ToleranceException Source #
Instance details Defined in Signet.Unstable.Exception.ToleranceException Methods toException :: ToleranceException -> SomeException # fromException :: SomeException -> Maybe ToleranceException # displayException :: ToleranceException -> String # backtraceDesired :: ToleranceException -> Bool #
Show ToleranceException Source #
Instance details Defined in Signet.Unstable.Exception.ToleranceException Methods showsPrec :: Int -> ToleranceException -> ShowS # show :: ToleranceException -> String # showList :: [ToleranceException] -> ShowS #
Eq ToleranceException Source #
Instance details Defined in Signet.Unstable.Exception.ToleranceException Methods (==) :: ToleranceException -> ToleranceException -> Bool # (/=) :: ToleranceException -> ToleranceException -> Bool #

newtype UnknownSignature Source #

Constructors

MkUnknownSignature ByteString

Instances

Instances details

Exception UnknownSignature Source #
Instance details Defined in Signet.Unstable.Exception.UnknownSignature Methods toException :: UnknownSignature -> SomeException # fromException :: SomeException -> Maybe UnknownSignature # displayException :: UnknownSignature -> String # backtraceDesired :: UnknownSignature -> Bool #
Show UnknownSignature Source #
Instance details Defined in Signet.Unstable.Exception.UnknownSignature Methods showsPrec :: Int -> UnknownSignature -> ShowS # show :: UnknownSignature -> String # showList :: [UnknownSignature] -> ShowS #
Eq UnknownSignature Source #
Instance details Defined in Signet.Unstable.Exception.UnknownSignature Methods (==) :: UnknownSignature -> UnknownSignature -> Bool # (/=) :: UnknownSignature -> UnknownSignature -> Bool #

newtype VerificationException Source #

Constructors

MkVerificationException Id

Instances

Instances details

Exception VerificationException Source #
Instance details Defined in Signet.Unstable.Exception.VerificationException Methods toException :: VerificationException -> SomeException # fromException :: SomeException -> Maybe VerificationException # displayException :: VerificationException -> String # backtraceDesired :: VerificationException -> Bool #
Show VerificationException Source #
Instance details Defined in Signet.Unstable.Exception.VerificationException Methods showsPrec :: Int -> VerificationException -> ShowS # show :: VerificationException -> String # showList :: [VerificationException] -> ShowS #
Eq VerificationException Source #
Instance details Defined in Signet.Unstable.Exception.VerificationException Methods (==) :: VerificationException -> VerificationException -> Bool # (/=) :: VerificationException -> VerificationException -> Bool #