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

newtype Id #

Constructors

MkId ByteString

Instances

Instances details

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

parseId :: ByteString -> Either InvalidId Id #

data Message #

Constructors

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

Instances

Instances details

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

parseMessage :: ByteString -> Either InvalidMessage Message #

newtype Payload #

Constructors

MkPayload ByteString

Instances

Instances details

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

newtype PublicKey #

Constructors

MkPublicKey PublicKey

Instances

Instances details

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

newtype Secret #

Constructors

MkSecret ScrubbedBytes

Instances

Instances details

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

newtype SecretKey #

Constructors

MkSecretKey SecretKey

Instances

Instances details

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

data Signature where #

Bundled Patterns

pattern AsymmetricSignature :: AsymmetricSignature -> Signature
pattern SymmetricSignature :: SymmetricSignature -> Signature

Instances

Instances details

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

newtype Signatures #

Constructors

MkSignatures [Signature]

Instances

Instances details

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

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

data Signer where #

Bundled Patterns

pattern AsymmetricSigner :: SecretKey -> Signer
pattern SymmetricSigner :: Secret -> Signer

Instances

Instances details

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

parseSigner :: ByteString -> Either InvalidSigner Signer #

newtype SymmetricSignature #

Constructors

MkSymmetricSignature (Digest SHA256)

Instances

Instances details

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

newtype Timestamp #

Constructors

MkTimestamp UTCTime

Instances

Instances details

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

parseTimestamp :: ByteString -> Either InvalidTimestamp Timestamp #

newtype Tolerance #

Constructors

MkTolerance NominalDiffTime

Instances

Instances details

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

typicalTolerance :: Tolerance #

newtype UnknownSignature #

Constructors

MkUnknownSignature ByteString

Instances

Instances details

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

data Verifier where #

Bundled Patterns

pattern AsymmetricVerifier :: PublicKey -> Verifier
pattern SymmetricVerifier :: Secret -> Verifier

Instances

Instances details

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

parseVerifier :: ByteString -> Either InvalidVerifier Verifier #

Exceptions

newtype InvalidAsymmetricSignature #

Constructors

MkInvalidAsymmetricSignature ByteString

Instances

Instances details

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

newtype InvalidId #

Constructors

MkInvalidId ByteString

Instances

Instances details

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

data InvalidMessage #

Constructors

InvalidId InvalidId
InvalidTimestamp InvalidTimestamp

Instances

Instances details

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

newtype InvalidPublicKey #

Constructors

MkInvalidPublicKey ByteString

Instances

Instances details

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

newtype InvalidSecret #

Constructors

MkInvalidSecret ByteString

Instances

Instances details

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

newtype InvalidSecretKey #

Constructors

MkInvalidSecretKey ByteString

Instances

Instances details

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

data InvalidSignature #

Constructors

InvalidAsymmetricSignature InvalidAsymmetricSignature
InvalidSymmetricSignature InvalidSymmetricSignature

Instances

Instances details

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

newtype InvalidSigner #

Constructors

MkInvalidSigner ByteString

Instances

Instances details

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

newtype InvalidSymmetricSignature #

Constructors

MkInvalidSymmetricSignature ByteString

Instances

Instances details

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

newtype InvalidTimestamp #

Constructors

MkInvalidTimestamp ByteString

Instances

Instances details

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

newtype InvalidVerifier #

Constructors

MkInvalidVerifier ByteString

Instances

Instances details

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

data SignetException #

Constructors

ToleranceException ToleranceException
VerificationException VerificationException

Instances

Instances details

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

newtype ToleranceException #

Constructors

MkToleranceException Timestamp

Instances

Instances details

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

newtype VerificationException #

Constructors

MkVerificationException Id

Instances

Instances details

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