-- PacketClass.hs: OpenPGP (RFC9580) data types
-- Copyright © 2012-2026  Clint Adams
-- This software is released under the terms of the Expat license.
-- (See the LICENSE file).
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}

module Codec.Encryption.OpenPGP.Types.Internal.PacketClass where

import Control.Error.Util (hush)
import Control.Lens (makeLenses)
import Data.Bifunctor (first)
import qualified Data.ByteString as B
import Data.ByteString.Lazy (ByteString)
import Data.Data (Data)
import qualified Data.Kind
import Data.List.NonEmpty (NonEmpty)
import Data.Text (Text)
import Data.Typeable (Typeable)
import Data.Word (Word8)
import Prettyprinter (Pretty (..))

import Codec.Encryption.OpenPGP.Types.Internal.Base
import Codec.Encryption.OpenPGP.Types.Internal.Errors
    ( PacketCoercionError (..)
    )
import Codec.Encryption.OpenPGP.Types.Internal.PKITypes
import Codec.Encryption.OpenPGP.Types.Internal.Pkt

class Packet a where
    data PacketType a :: Data.Kind.Type
    packetType :: a -> PacketType a
    packetCode :: PacketType a -> Word8
    dynamicPacketCode :: a -> Word8
    toPkt :: a -> Pkt
    fromPktMaybe :: Pkt -> Maybe a
    fromPktEither :: Pkt -> Either PacketCoercionError a

    fromPktMaybe = Either PacketCoercionError a -> Maybe a
forall a b. Either a b -> Maybe b
hush (Either PacketCoercionError a -> Maybe a)
-> (Pkt -> Either PacketCoercionError a) -> Pkt -> Maybe a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Pkt -> Either PacketCoercionError a
forall a. Packet a => Pkt -> Either PacketCoercionError a
fromPktEither
    dynamicPacketCode = PacketType a -> PacketVersion
forall a. Packet a => PacketType a -> PacketVersion
packetCode (PacketType a -> PacketVersion)
-> (a -> PacketType a) -> a -> PacketVersion
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> PacketType a
forall a. Packet a => a -> PacketType a
packetType

coercionError :: String -> Pkt -> Either PacketCoercionError a
coercionError :: forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
expected Pkt
pkt =
    PacketCoercionError -> Either PacketCoercionError a
forall a b. a -> Either a b
Left
        ( PacketCoercionError
            { pceExpected :: String
pceExpected = String
"Cannot coerce non-" String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
expected String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
" packet"
            , pceActualTag :: PacketVersion
pceActualTag = Pkt -> PacketVersion
pktTag Pkt
pkt
            }
        )

data PKESK (v :: PKESKPayloadVersion) where
    PKESK3Packet
        :: PacketVersion
        -> EightOctetKeyId
        -> PubKeyAlgorithm
        -> NonEmpty MPI
        -> PKESK 'PKESKV3
    PKESK6Packet
        :: Maybe (KeyVersion, Fingerprint)
        -> PubKeyAlgorithm
        -> EncryptedSessionKey
        -> PKESK 'PKESKV6

deriving instance Eq (PKESK v)
deriving instance Show (PKESK v)

instance Packet (PKESK 'PKESKV3) where
    data PacketType (PKESK 'PKESKV3) = PKESKType
        deriving (PacketType (PKESK 'PKESKV3) -> PacketType (PKESK 'PKESKV3) -> Bool
(PacketType (PKESK 'PKESKV3)
 -> PacketType (PKESK 'PKESKV3) -> Bool)
-> (PacketType (PKESK 'PKESKV3)
    -> PacketType (PKESK 'PKESKV3) -> Bool)
-> Eq (PacketType (PKESK 'PKESKV3))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType (PKESK 'PKESKV3) -> PacketType (PKESK 'PKESKV3) -> Bool
== :: PacketType (PKESK 'PKESKV3) -> PacketType (PKESK 'PKESKV3) -> Bool
$c/= :: PacketType (PKESK 'PKESKV3) -> PacketType (PKESK 'PKESKV3) -> Bool
/= :: PacketType (PKESK 'PKESKV3) -> PacketType (PKESK 'PKESKV3) -> Bool
Eq, Int -> PacketType (PKESK 'PKESKV3) -> String -> String
[PacketType (PKESK 'PKESKV3)] -> String -> String
PacketType (PKESK 'PKESKV3) -> String
(Int -> PacketType (PKESK 'PKESKV3) -> String -> String)
-> (PacketType (PKESK 'PKESKV3) -> String)
-> ([PacketType (PKESK 'PKESKV3)] -> String -> String)
-> Show (PacketType (PKESK 'PKESKV3))
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType (PKESK 'PKESKV3) -> String -> String
showsPrec :: Int -> PacketType (PKESK 'PKESKV3) -> String -> String
$cshow :: PacketType (PKESK 'PKESKV3) -> String
show :: PacketType (PKESK 'PKESKV3) -> String
$cshowList :: [PacketType (PKESK 'PKESKV3)] -> String -> String
showList :: [PacketType (PKESK 'PKESKV3)] -> String -> String
Show)
    packetType :: PKESK 'PKESKV3 -> PacketType (PKESK 'PKESKV3)
packetType PKESK 'PKESKV3
_ = PacketType (PKESK 'PKESKV3)
PKESKType
    packetCode :: PacketType (PKESK 'PKESKV3) -> PacketVersion
packetCode PacketType (PKESK 'PKESKV3)
_ = PacketVersion
1
    toPkt :: PKESK 'PKESKV3 -> Pkt
toPkt (PKESK3Packet PacketVersion
version EightOctetKeyId
keyid PubKeyAlgorithm
pka NonEmpty MPI
mpis) =
        PKESKPayload -> Pkt
PKESKPkt
            (PKESKPayloadV3 -> PKESKPayload
PKESKPayloadV3Packet (PacketVersion
-> EightOctetKeyId
-> PubKeyAlgorithm
-> NonEmpty MPI
-> PKESKPayloadV3
PKESKPayloadV3 PacketVersion
version EightOctetKeyId
keyid PubKeyAlgorithm
pka NonEmpty MPI
mpis))
    fromPktEither :: Pkt -> Either PacketCoercionError (PKESK 'PKESKV3)
fromPktEither (PKESKPkt (PKESKPayloadV3Packet (PKESKPayloadV3 PacketVersion
_ EightOctetKeyId
keyid PubKeyAlgorithm
pka NonEmpty MPI
mpis))) =
        PKESK 'PKESKV3 -> Either PacketCoercionError (PKESK 'PKESKV3)
forall a b. b -> Either a b
Right (PacketVersion
-> EightOctetKeyId
-> PubKeyAlgorithm
-> NonEmpty MPI
-> PKESK 'PKESKV3
PKESK3Packet PacketVersion
3 EightOctetKeyId
keyid PubKeyAlgorithm
pka NonEmpty MPI
mpis)
    fromPktEither pkt :: Pkt
pkt@(PKESKPkt (PKESKPayloadV6Packet (PKESKPayloadV6 Maybe (KeyVersion, Fingerprint)
_ PubKeyAlgorithm
_ EncryptedSessionKey
_))) =
        PacketCoercionError -> Either PacketCoercionError (PKESK 'PKESKV3)
forall a b. a -> Either a b
Left
            ( String -> PacketVersion -> PacketCoercionError
PacketCoercionError
                String
"Cannot coerce PKESKv6 packet to PKESKv3"
                (Pkt -> PacketVersion
pktTag Pkt
pkt)
            )
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError (PKESK 'PKESKV3)
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"PKESK" Pkt
pkt

instance Pretty (PKESK 'PKESKV3) where
    pretty :: forall ann. PKESK 'PKESKV3 -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (PKESK 'PKESKV3 -> Pkt) -> PKESK 'PKESKV3 -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. PKESK 'PKESKV3 -> Pkt
forall a. Packet a => a -> Pkt
toPkt

instance Packet (PKESK 'PKESKV6) where
    data PacketType (PKESK 'PKESKV6) = PKESK6Type
        deriving (PacketType (PKESK 'PKESKV6) -> PacketType (PKESK 'PKESKV6) -> Bool
(PacketType (PKESK 'PKESKV6)
 -> PacketType (PKESK 'PKESKV6) -> Bool)
-> (PacketType (PKESK 'PKESKV6)
    -> PacketType (PKESK 'PKESKV6) -> Bool)
-> Eq (PacketType (PKESK 'PKESKV6))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType (PKESK 'PKESKV6) -> PacketType (PKESK 'PKESKV6) -> Bool
== :: PacketType (PKESK 'PKESKV6) -> PacketType (PKESK 'PKESKV6) -> Bool
$c/= :: PacketType (PKESK 'PKESKV6) -> PacketType (PKESK 'PKESKV6) -> Bool
/= :: PacketType (PKESK 'PKESKV6) -> PacketType (PKESK 'PKESKV6) -> Bool
Eq, Int -> PacketType (PKESK 'PKESKV6) -> String -> String
[PacketType (PKESK 'PKESKV6)] -> String -> String
PacketType (PKESK 'PKESKV6) -> String
(Int -> PacketType (PKESK 'PKESKV6) -> String -> String)
-> (PacketType (PKESK 'PKESKV6) -> String)
-> ([PacketType (PKESK 'PKESKV6)] -> String -> String)
-> Show (PacketType (PKESK 'PKESKV6))
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType (PKESK 'PKESKV6) -> String -> String
showsPrec :: Int -> PacketType (PKESK 'PKESKV6) -> String -> String
$cshow :: PacketType (PKESK 'PKESKV6) -> String
show :: PacketType (PKESK 'PKESKV6) -> String
$cshowList :: [PacketType (PKESK 'PKESKV6)] -> String -> String
showList :: [PacketType (PKESK 'PKESKV6)] -> String -> String
Show)
    packetType :: PKESK 'PKESKV6 -> PacketType (PKESK 'PKESKV6)
packetType PKESK 'PKESKV6
_ = PacketType (PKESK 'PKESKV6)
PKESK6Type
    packetCode :: PacketType (PKESK 'PKESKV6) -> PacketVersion
packetCode PacketType (PKESK 'PKESKV6)
_ = PacketVersion
1
    toPkt :: PKESK 'PKESKV6 -> Pkt
toPkt (PKESK6Packet Maybe (KeyVersion, Fingerprint)
mKvFp PubKeyAlgorithm
pka EncryptedSessionKey
esk) =
        PKESKPayload -> Pkt
PKESKPkt
            ( PKESKPayloadV6 -> PKESKPayload
PKESKPayloadV6Packet
                (Maybe (KeyVersion, Fingerprint)
-> PubKeyAlgorithm -> EncryptedSessionKey -> PKESKPayloadV6
PKESKPayloadV6 Maybe (KeyVersion, Fingerprint)
mKvFp PubKeyAlgorithm
pka EncryptedSessionKey
esk)
            )
    fromPktEither :: Pkt -> Either PacketCoercionError (PKESK 'PKESKV6)
fromPktEither
        ( PKESKPkt
                ( PKESKPayloadV6Packet
                        (PKESKPayloadV6 Maybe (KeyVersion, Fingerprint)
mKvFp PubKeyAlgorithm
pka EncryptedSessionKey
esk)
                    )
            ) =
            PKESK 'PKESKV6 -> Either PacketCoercionError (PKESK 'PKESKV6)
forall a b. b -> Either a b
Right (Maybe (KeyVersion, Fingerprint)
-> PubKeyAlgorithm -> EncryptedSessionKey -> PKESK 'PKESKV6
PKESK6Packet Maybe (KeyVersion, Fingerprint)
mKvFp PubKeyAlgorithm
pka EncryptedSessionKey
esk)
    fromPktEither pkt :: Pkt
pkt@(PKESKPkt (PKESKPayloadV3Packet (PKESKPayloadV3 PacketVersion
_ EightOctetKeyId
_ PubKeyAlgorithm
_ NonEmpty MPI
_))) =
        PacketCoercionError -> Either PacketCoercionError (PKESK 'PKESKV6)
forall a b. a -> Either a b
Left
            ( String -> PacketVersion -> PacketCoercionError
PacketCoercionError
                String
"Cannot coerce PKESKv3 packet to PKESKv6"
                (Pkt -> PacketVersion
pktTag Pkt
pkt)
            )
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError (PKESK 'PKESKV6)
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"PKESKv6" Pkt
pkt

instance Pretty (PKESK 'PKESKV6) where
    pretty :: forall ann. PKESK 'PKESKV6 -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (PKESK 'PKESKV6 -> Pkt) -> PKESK 'PKESKV6 -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. PKESK 'PKESKV6 -> Pkt
forall a. Packet a => a -> Pkt
toPkt

newtype Signature
    = Signature
    { Signature -> SignaturePayload
_signaturePayload :: SignaturePayload
    }
    deriving (Typeable Signature
Typeable Signature =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> Signature -> c Signature)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c Signature)
-> (Signature -> Constr)
-> (Signature -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c Signature))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Signature))
-> ((forall b. Data b => b -> b) -> Signature -> Signature)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> Signature -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> Signature -> r)
-> (forall u. (forall d. Data d => d -> u) -> Signature -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> Signature -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> Signature -> m Signature)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Signature -> m Signature)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Signature -> m Signature)
-> Data Signature
Signature -> Constr
Signature -> DataType
(forall b. Data b => b -> b) -> Signature -> Signature
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> Signature -> u
forall u. (forall d. Data d => d -> u) -> Signature -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> Signature -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> Signature -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> Signature -> m Signature
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Signature -> m Signature
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c Signature
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> Signature -> c Signature
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c Signature)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Signature)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> Signature -> c Signature
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> Signature -> c Signature
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c Signature
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c Signature
$ctoConstr :: Signature -> Constr
toConstr :: Signature -> Constr
$cdataTypeOf :: Signature -> DataType
dataTypeOf :: Signature -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c Signature)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c Signature)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Signature)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Signature)
$cgmapT :: (forall b. Data b => b -> b) -> Signature -> Signature
gmapT :: (forall b. Data b => b -> b) -> Signature -> Signature
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> Signature -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> Signature -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> Signature -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> Signature -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> Signature -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> Signature -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Signature -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Signature -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> Signature -> m Signature
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> Signature -> m Signature
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Signature -> m Signature
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Signature -> m Signature
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Signature -> m Signature
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Signature -> m Signature
Data, Signature -> Signature -> Bool
(Signature -> Signature -> Bool)
-> (Signature -> Signature -> Bool) -> Eq Signature
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Signature -> Signature -> Bool
== :: Signature -> Signature -> Bool
$c/= :: Signature -> Signature -> Bool
/= :: Signature -> Signature -> Bool
Eq, Int -> Signature -> String -> String
[Signature] -> String -> String
Signature -> String
(Int -> Signature -> String -> String)
-> (Signature -> String)
-> ([Signature] -> String -> String)
-> Show Signature
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> Signature -> String -> String
showsPrec :: Int -> Signature -> String -> String
$cshow :: Signature -> String
show :: Signature -> String
$cshowList :: [Signature] -> String -> String
showList :: [Signature] -> String -> String
Show, Typeable)

instance Packet Signature where
    data PacketType Signature = SignatureType
        deriving (PacketType Signature -> PacketType Signature -> Bool
(PacketType Signature -> PacketType Signature -> Bool)
-> (PacketType Signature -> PacketType Signature -> Bool)
-> Eq (PacketType Signature)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType Signature -> PacketType Signature -> Bool
== :: PacketType Signature -> PacketType Signature -> Bool
$c/= :: PacketType Signature -> PacketType Signature -> Bool
/= :: PacketType Signature -> PacketType Signature -> Bool
Eq, Int -> PacketType Signature -> String -> String
[PacketType Signature] -> String -> String
PacketType Signature -> String
(Int -> PacketType Signature -> String -> String)
-> (PacketType Signature -> String)
-> ([PacketType Signature] -> String -> String)
-> Show (PacketType Signature)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType Signature -> String -> String
showsPrec :: Int -> PacketType Signature -> String -> String
$cshow :: PacketType Signature -> String
show :: PacketType Signature -> String
$cshowList :: [PacketType Signature] -> String -> String
showList :: [PacketType Signature] -> String -> String
Show)
    packetType :: Signature -> PacketType Signature
packetType Signature
_ = PacketType Signature
SignatureType
    packetCode :: PacketType Signature -> PacketVersion
packetCode PacketType Signature
_ = PacketVersion
2
    toPkt :: Signature -> Pkt
toPkt (Signature SignaturePayload
a) = SignaturePayload -> Pkt
SignaturePkt SignaturePayload
a
    fromPktMaybe :: Pkt -> Maybe Signature
fromPktMaybe (SignaturePkt SignaturePayload
a) = Signature -> Maybe Signature
forall a. a -> Maybe a
Just (SignaturePayload -> Signature
Signature SignaturePayload
a)
    fromPktMaybe Pkt
_ = Maybe Signature
forall a. Maybe a
Nothing
    fromPktEither :: Pkt -> Either PacketCoercionError Signature
fromPktEither (SignaturePkt SignaturePayload
a) = Signature -> Either PacketCoercionError Signature
forall a b. b -> Either a b
Right (SignaturePayload -> Signature
Signature SignaturePayload
a)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError Signature
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"Signature" Pkt
pkt

instance Pretty Signature where
    pretty :: forall ann. Signature -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann) -> (Signature -> Pkt) -> Signature -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Signature -> Pkt
forall a. Packet a => a -> Pkt
toPkt

data SignatureV (v :: SignaturePayloadVersion) where
    SignatureV3Packet
        :: SignaturePayloadV 'SigPayloadV3 -> SignatureV 'SigPayloadV3
    SignatureV4Packet
        :: SignaturePayloadV 'SigPayloadV4 -> SignatureV 'SigPayloadV4
    SignatureV6Packet
        :: SignaturePayloadV 'SigPayloadV6 -> SignatureV 'SigPayloadV6
    SignatureVOtherPacket
        :: SignaturePayloadV 'SigPayloadVOther
        -> SignatureV 'SigPayloadVOther

deriving instance Eq (SignatureV v)
deriving instance Show (SignatureV v)

data SomeSignatureV where
    SomeSignatureV :: SignatureV v -> SomeSignatureV

signaturePayloadFromSignatureV
    :: SignatureV v -> SignaturePayload
signaturePayloadFromSignatureV :: forall (v :: SignaturePayloadVersion).
SignatureV v -> SignaturePayload
signaturePayloadFromSignatureV (SignatureV3Packet SignaturePayloadV 'SigPayloadV3
payload) = SignaturePayloadV 'SigPayloadV3 -> SignaturePayload
forall (v :: SignaturePayloadVersion).
SignaturePayloadV v -> SignaturePayload
toSignaturePayload SignaturePayloadV 'SigPayloadV3
payload
signaturePayloadFromSignatureV (SignatureV4Packet SignaturePayloadV 'SigPayloadV4
payload) = SignaturePayloadV 'SigPayloadV4 -> SignaturePayload
forall (v :: SignaturePayloadVersion).
SignaturePayloadV v -> SignaturePayload
toSignaturePayload SignaturePayloadV 'SigPayloadV4
payload
signaturePayloadFromSignatureV (SignatureV6Packet SignaturePayloadV 'SigPayloadV6
payload) = SignaturePayloadV 'SigPayloadV6 -> SignaturePayload
forall (v :: SignaturePayloadVersion).
SignaturePayloadV v -> SignaturePayload
toSignaturePayload SignaturePayloadV 'SigPayloadV6
payload
signaturePayloadFromSignatureV (SignatureVOtherPacket SignaturePayloadV 'SigPayloadVOther
payload) = SignaturePayloadV 'SigPayloadVOther -> SignaturePayload
forall (v :: SignaturePayloadVersion).
SignaturePayloadV v -> SignaturePayload
toSignaturePayload SignaturePayloadV 'SigPayloadVOther
payload

fromPktEitherSomeSignatureV
    :: Pkt -> Either PacketCoercionError SomeSignatureV
fromPktEitherSomeSignatureV :: Pkt -> Either PacketCoercionError SomeSignatureV
fromPktEitherSomeSignatureV (SignaturePkt SignaturePayload
payload) =
    SomeSignatureV -> Either PacketCoercionError SomeSignatureV
forall a b. b -> Either a b
Right (SignaturePayload -> SomeSignatureV
someSignatureVFromPayload SignaturePayload
payload)
fromPktEitherSomeSignatureV Pkt
pkt =
    String -> Pkt -> Either PacketCoercionError SomeSignatureV
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"Signature" Pkt
pkt

someSignatureVFromPayload :: SignaturePayload -> SomeSignatureV
someSignatureVFromPayload :: SignaturePayload -> SomeSignatureV
someSignatureVFromPayload SignaturePayload
payload =
    case SignaturePayload -> SomeSignaturePayload
toSomeSignaturePayload SignaturePayload
payload of
        SomeSignaturePayload (typedPayload :: SignaturePayloadV v
typedPayload@SigPayloadV3Data {}) ->
            SignatureV 'SigPayloadV3 -> SomeSignatureV
forall (v :: SignaturePayloadVersion).
SignatureV v -> SomeSignatureV
SomeSignatureV (SignaturePayloadV 'SigPayloadV3 -> SignatureV 'SigPayloadV3
SignatureV3Packet SignaturePayloadV v
SignaturePayloadV 'SigPayloadV3
typedPayload)
        SomeSignaturePayload (typedPayload :: SignaturePayloadV v
typedPayload@SigPayloadV4Data {}) ->
            SignatureV 'SigPayloadV4 -> SomeSignatureV
forall (v :: SignaturePayloadVersion).
SignatureV v -> SomeSignatureV
SomeSignatureV (SignaturePayloadV 'SigPayloadV4 -> SignatureV 'SigPayloadV4
SignatureV4Packet SignaturePayloadV v
SignaturePayloadV 'SigPayloadV4
typedPayload)
        SomeSignaturePayload (typedPayload :: SignaturePayloadV v
typedPayload@SigPayloadV6Data {}) ->
            SignatureV 'SigPayloadV6 -> SomeSignatureV
forall (v :: SignaturePayloadVersion).
SignatureV v -> SomeSignatureV
SomeSignatureV (SignaturePayloadV 'SigPayloadV6 -> SignatureV 'SigPayloadV6
SignatureV6Packet SignaturePayloadV v
SignaturePayloadV 'SigPayloadV6
typedPayload)
        SomeSignaturePayload (typedPayload :: SignaturePayloadV v
typedPayload@SigPayloadOtherData {}) ->
            SignatureV 'SigPayloadVOther -> SomeSignatureV
forall (v :: SignaturePayloadVersion).
SignatureV v -> SomeSignatureV
SomeSignatureV (SignaturePayloadV 'SigPayloadVOther -> SignatureV 'SigPayloadVOther
SignatureVOtherPacket SignaturePayloadV v
SignaturePayloadV 'SigPayloadVOther
typedPayload)

instance Packet (SignatureV 'SigPayloadV3) where
    data PacketType (SignatureV 'SigPayloadV3) = SignatureV3Type
        deriving (PacketType (SignatureV 'SigPayloadV3)
-> PacketType (SignatureV 'SigPayloadV3) -> Bool
(PacketType (SignatureV 'SigPayloadV3)
 -> PacketType (SignatureV 'SigPayloadV3) -> Bool)
-> (PacketType (SignatureV 'SigPayloadV3)
    -> PacketType (SignatureV 'SigPayloadV3) -> Bool)
-> Eq (PacketType (SignatureV 'SigPayloadV3))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType (SignatureV 'SigPayloadV3)
-> PacketType (SignatureV 'SigPayloadV3) -> Bool
== :: PacketType (SignatureV 'SigPayloadV3)
-> PacketType (SignatureV 'SigPayloadV3) -> Bool
$c/= :: PacketType (SignatureV 'SigPayloadV3)
-> PacketType (SignatureV 'SigPayloadV3) -> Bool
/= :: PacketType (SignatureV 'SigPayloadV3)
-> PacketType (SignatureV 'SigPayloadV3) -> Bool
Eq, Int -> PacketType (SignatureV 'SigPayloadV3) -> String -> String
[PacketType (SignatureV 'SigPayloadV3)] -> String -> String
PacketType (SignatureV 'SigPayloadV3) -> String
(Int -> PacketType (SignatureV 'SigPayloadV3) -> String -> String)
-> (PacketType (SignatureV 'SigPayloadV3) -> String)
-> ([PacketType (SignatureV 'SigPayloadV3)] -> String -> String)
-> Show (PacketType (SignatureV 'SigPayloadV3))
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType (SignatureV 'SigPayloadV3) -> String -> String
showsPrec :: Int -> PacketType (SignatureV 'SigPayloadV3) -> String -> String
$cshow :: PacketType (SignatureV 'SigPayloadV3) -> String
show :: PacketType (SignatureV 'SigPayloadV3) -> String
$cshowList :: [PacketType (SignatureV 'SigPayloadV3)] -> String -> String
showList :: [PacketType (SignatureV 'SigPayloadV3)] -> String -> String
Show)
    packetType :: SignatureV 'SigPayloadV3 -> PacketType (SignatureV 'SigPayloadV3)
packetType SignatureV 'SigPayloadV3
_ = PacketType (SignatureV 'SigPayloadV3)
SignatureV3Type
    packetCode :: PacketType (SignatureV 'SigPayloadV3) -> PacketVersion
packetCode PacketType (SignatureV 'SigPayloadV3)
_ = PacketVersion
2
    toPkt :: SignatureV 'SigPayloadV3 -> Pkt
toPkt = SignaturePayload -> Pkt
SignaturePkt (SignaturePayload -> Pkt)
-> (SignatureV 'SigPayloadV3 -> SignaturePayload)
-> SignatureV 'SigPayloadV3
-> Pkt
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SignatureV 'SigPayloadV3 -> SignaturePayload
forall (v :: SignaturePayloadVersion).
SignatureV v -> SignaturePayload
signaturePayloadFromSignatureV
    fromPktEither :: Pkt -> Either PacketCoercionError (SignatureV 'SigPayloadV3)
fromPktEither (SignaturePkt SignaturePayload
payload) =
        (String -> PacketCoercionError)
-> Either String (SignatureV 'SigPayloadV3)
-> Either PacketCoercionError (SignatureV 'SigPayloadV3)
forall a b c. (a -> b) -> Either a c -> Either b c
forall (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first
            (\String
msg -> String -> PacketVersion -> PacketCoercionError
PacketCoercionError String
msg PacketVersion
2)
            (SignaturePayloadV 'SigPayloadV3 -> SignatureV 'SigPayloadV3
SignatureV3Packet (SignaturePayloadV 'SigPayloadV3 -> SignatureV 'SigPayloadV3)
-> Either String (SignaturePayloadV 'SigPayloadV3)
-> Either String (SignatureV 'SigPayloadV3)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> SignaturePayload -> Either String (SignaturePayloadV 'SigPayloadV3)
asSignaturePayloadV3 SignaturePayload
payload)
    fromPktEither Pkt
pkt = String
-> Pkt -> Either PacketCoercionError (SignatureV 'SigPayloadV3)
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"SignatureV3" Pkt
pkt

instance Pretty (SignatureV 'SigPayloadV3) where
    pretty :: forall ann. SignatureV 'SigPayloadV3 -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (SignatureV 'SigPayloadV3 -> Pkt)
-> SignatureV 'SigPayloadV3
-> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SignatureV 'SigPayloadV3 -> Pkt
forall a. Packet a => a -> Pkt
toPkt

instance Packet (SignatureV 'SigPayloadV4) where
    data PacketType (SignatureV 'SigPayloadV4) = SignatureV4Type
        deriving (PacketType (SignatureV 'SigPayloadV4)
-> PacketType (SignatureV 'SigPayloadV4) -> Bool
(PacketType (SignatureV 'SigPayloadV4)
 -> PacketType (SignatureV 'SigPayloadV4) -> Bool)
-> (PacketType (SignatureV 'SigPayloadV4)
    -> PacketType (SignatureV 'SigPayloadV4) -> Bool)
-> Eq (PacketType (SignatureV 'SigPayloadV4))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType (SignatureV 'SigPayloadV4)
-> PacketType (SignatureV 'SigPayloadV4) -> Bool
== :: PacketType (SignatureV 'SigPayloadV4)
-> PacketType (SignatureV 'SigPayloadV4) -> Bool
$c/= :: PacketType (SignatureV 'SigPayloadV4)
-> PacketType (SignatureV 'SigPayloadV4) -> Bool
/= :: PacketType (SignatureV 'SigPayloadV4)
-> PacketType (SignatureV 'SigPayloadV4) -> Bool
Eq, Int -> PacketType (SignatureV 'SigPayloadV4) -> String -> String
[PacketType (SignatureV 'SigPayloadV4)] -> String -> String
PacketType (SignatureV 'SigPayloadV4) -> String
(Int -> PacketType (SignatureV 'SigPayloadV4) -> String -> String)
-> (PacketType (SignatureV 'SigPayloadV4) -> String)
-> ([PacketType (SignatureV 'SigPayloadV4)] -> String -> String)
-> Show (PacketType (SignatureV 'SigPayloadV4))
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType (SignatureV 'SigPayloadV4) -> String -> String
showsPrec :: Int -> PacketType (SignatureV 'SigPayloadV4) -> String -> String
$cshow :: PacketType (SignatureV 'SigPayloadV4) -> String
show :: PacketType (SignatureV 'SigPayloadV4) -> String
$cshowList :: [PacketType (SignatureV 'SigPayloadV4)] -> String -> String
showList :: [PacketType (SignatureV 'SigPayloadV4)] -> String -> String
Show)
    packetType :: SignatureV 'SigPayloadV4 -> PacketType (SignatureV 'SigPayloadV4)
packetType SignatureV 'SigPayloadV4
_ = PacketType (SignatureV 'SigPayloadV4)
SignatureV4Type
    packetCode :: PacketType (SignatureV 'SigPayloadV4) -> PacketVersion
packetCode PacketType (SignatureV 'SigPayloadV4)
_ = PacketVersion
2
    toPkt :: SignatureV 'SigPayloadV4 -> Pkt
toPkt = SignaturePayload -> Pkt
SignaturePkt (SignaturePayload -> Pkt)
-> (SignatureV 'SigPayloadV4 -> SignaturePayload)
-> SignatureV 'SigPayloadV4
-> Pkt
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SignatureV 'SigPayloadV4 -> SignaturePayload
forall (v :: SignaturePayloadVersion).
SignatureV v -> SignaturePayload
signaturePayloadFromSignatureV
    fromPktEither :: Pkt -> Either PacketCoercionError (SignatureV 'SigPayloadV4)
fromPktEither (SignaturePkt SignaturePayload
payload) =
        (String -> PacketCoercionError)
-> Either String (SignatureV 'SigPayloadV4)
-> Either PacketCoercionError (SignatureV 'SigPayloadV4)
forall a b c. (a -> b) -> Either a c -> Either b c
forall (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first
            (\String
msg -> String -> PacketVersion -> PacketCoercionError
PacketCoercionError String
msg PacketVersion
2)
            (SignaturePayloadV 'SigPayloadV4 -> SignatureV 'SigPayloadV4
SignatureV4Packet (SignaturePayloadV 'SigPayloadV4 -> SignatureV 'SigPayloadV4)
-> Either String (SignaturePayloadV 'SigPayloadV4)
-> Either String (SignatureV 'SigPayloadV4)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> SignaturePayload -> Either String (SignaturePayloadV 'SigPayloadV4)
asSignaturePayloadV4 SignaturePayload
payload)
    fromPktEither Pkt
pkt = String
-> Pkt -> Either PacketCoercionError (SignatureV 'SigPayloadV4)
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"SignatureV4" Pkt
pkt

instance Pretty (SignatureV 'SigPayloadV4) where
    pretty :: forall ann. SignatureV 'SigPayloadV4 -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (SignatureV 'SigPayloadV4 -> Pkt)
-> SignatureV 'SigPayloadV4
-> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SignatureV 'SigPayloadV4 -> Pkt
forall a. Packet a => a -> Pkt
toPkt

instance Packet (SignatureV 'SigPayloadV6) where
    data PacketType (SignatureV 'SigPayloadV6) = SignatureV6Type
        deriving (PacketType (SignatureV 'SigPayloadV6)
-> PacketType (SignatureV 'SigPayloadV6) -> Bool
(PacketType (SignatureV 'SigPayloadV6)
 -> PacketType (SignatureV 'SigPayloadV6) -> Bool)
-> (PacketType (SignatureV 'SigPayloadV6)
    -> PacketType (SignatureV 'SigPayloadV6) -> Bool)
-> Eq (PacketType (SignatureV 'SigPayloadV6))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType (SignatureV 'SigPayloadV6)
-> PacketType (SignatureV 'SigPayloadV6) -> Bool
== :: PacketType (SignatureV 'SigPayloadV6)
-> PacketType (SignatureV 'SigPayloadV6) -> Bool
$c/= :: PacketType (SignatureV 'SigPayloadV6)
-> PacketType (SignatureV 'SigPayloadV6) -> Bool
/= :: PacketType (SignatureV 'SigPayloadV6)
-> PacketType (SignatureV 'SigPayloadV6) -> Bool
Eq, Int -> PacketType (SignatureV 'SigPayloadV6) -> String -> String
[PacketType (SignatureV 'SigPayloadV6)] -> String -> String
PacketType (SignatureV 'SigPayloadV6) -> String
(Int -> PacketType (SignatureV 'SigPayloadV6) -> String -> String)
-> (PacketType (SignatureV 'SigPayloadV6) -> String)
-> ([PacketType (SignatureV 'SigPayloadV6)] -> String -> String)
-> Show (PacketType (SignatureV 'SigPayloadV6))
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType (SignatureV 'SigPayloadV6) -> String -> String
showsPrec :: Int -> PacketType (SignatureV 'SigPayloadV6) -> String -> String
$cshow :: PacketType (SignatureV 'SigPayloadV6) -> String
show :: PacketType (SignatureV 'SigPayloadV6) -> String
$cshowList :: [PacketType (SignatureV 'SigPayloadV6)] -> String -> String
showList :: [PacketType (SignatureV 'SigPayloadV6)] -> String -> String
Show)
    packetType :: SignatureV 'SigPayloadV6 -> PacketType (SignatureV 'SigPayloadV6)
packetType SignatureV 'SigPayloadV6
_ = PacketType (SignatureV 'SigPayloadV6)
SignatureV6Type
    packetCode :: PacketType (SignatureV 'SigPayloadV6) -> PacketVersion
packetCode PacketType (SignatureV 'SigPayloadV6)
_ = PacketVersion
2
    toPkt :: SignatureV 'SigPayloadV6 -> Pkt
toPkt = SignaturePayload -> Pkt
SignaturePkt (SignaturePayload -> Pkt)
-> (SignatureV 'SigPayloadV6 -> SignaturePayload)
-> SignatureV 'SigPayloadV6
-> Pkt
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SignatureV 'SigPayloadV6 -> SignaturePayload
forall (v :: SignaturePayloadVersion).
SignatureV v -> SignaturePayload
signaturePayloadFromSignatureV
    fromPktEither :: Pkt -> Either PacketCoercionError (SignatureV 'SigPayloadV6)
fromPktEither (SignaturePkt SignaturePayload
payload) =
        (String -> PacketCoercionError)
-> Either String (SignatureV 'SigPayloadV6)
-> Either PacketCoercionError (SignatureV 'SigPayloadV6)
forall a b c. (a -> b) -> Either a c -> Either b c
forall (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first
            (\String
msg -> String -> PacketVersion -> PacketCoercionError
PacketCoercionError String
msg PacketVersion
2)
            (SignaturePayloadV 'SigPayloadV6 -> SignatureV 'SigPayloadV6
SignatureV6Packet (SignaturePayloadV 'SigPayloadV6 -> SignatureV 'SigPayloadV6)
-> Either String (SignaturePayloadV 'SigPayloadV6)
-> Either String (SignatureV 'SigPayloadV6)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> SignaturePayload -> Either String (SignaturePayloadV 'SigPayloadV6)
asSignaturePayloadV6 SignaturePayload
payload)
    fromPktEither Pkt
pkt = String
-> Pkt -> Either PacketCoercionError (SignatureV 'SigPayloadV6)
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"SignatureV6" Pkt
pkt

instance Pretty (SignatureV 'SigPayloadV6) where
    pretty :: forall ann. SignatureV 'SigPayloadV6 -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (SignatureV 'SigPayloadV6 -> Pkt)
-> SignatureV 'SigPayloadV6
-> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SignatureV 'SigPayloadV6 -> Pkt
forall a. Packet a => a -> Pkt
toPkt

instance Packet (SignatureV 'SigPayloadVOther) where
    data PacketType (SignatureV 'SigPayloadVOther) = SignatureVOtherType
        deriving (PacketType (SignatureV 'SigPayloadVOther)
-> PacketType (SignatureV 'SigPayloadVOther) -> Bool
(PacketType (SignatureV 'SigPayloadVOther)
 -> PacketType (SignatureV 'SigPayloadVOther) -> Bool)
-> (PacketType (SignatureV 'SigPayloadVOther)
    -> PacketType (SignatureV 'SigPayloadVOther) -> Bool)
-> Eq (PacketType (SignatureV 'SigPayloadVOther))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType (SignatureV 'SigPayloadVOther)
-> PacketType (SignatureV 'SigPayloadVOther) -> Bool
== :: PacketType (SignatureV 'SigPayloadVOther)
-> PacketType (SignatureV 'SigPayloadVOther) -> Bool
$c/= :: PacketType (SignatureV 'SigPayloadVOther)
-> PacketType (SignatureV 'SigPayloadVOther) -> Bool
/= :: PacketType (SignatureV 'SigPayloadVOther)
-> PacketType (SignatureV 'SigPayloadVOther) -> Bool
Eq, Int
-> PacketType (SignatureV 'SigPayloadVOther) -> String -> String
[PacketType (SignatureV 'SigPayloadVOther)] -> String -> String
PacketType (SignatureV 'SigPayloadVOther) -> String
(Int
 -> PacketType (SignatureV 'SigPayloadVOther) -> String -> String)
-> (PacketType (SignatureV 'SigPayloadVOther) -> String)
-> ([PacketType (SignatureV 'SigPayloadVOther)]
    -> String -> String)
-> Show (PacketType (SignatureV 'SigPayloadVOther))
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int
-> PacketType (SignatureV 'SigPayloadVOther) -> String -> String
showsPrec :: Int
-> PacketType (SignatureV 'SigPayloadVOther) -> String -> String
$cshow :: PacketType (SignatureV 'SigPayloadVOther) -> String
show :: PacketType (SignatureV 'SigPayloadVOther) -> String
$cshowList :: [PacketType (SignatureV 'SigPayloadVOther)] -> String -> String
showList :: [PacketType (SignatureV 'SigPayloadVOther)] -> String -> String
Show)
    packetType :: SignatureV 'SigPayloadVOther
-> PacketType (SignatureV 'SigPayloadVOther)
packetType SignatureV 'SigPayloadVOther
_ = PacketType (SignatureV 'SigPayloadVOther)
SignatureVOtherType
    packetCode :: PacketType (SignatureV 'SigPayloadVOther) -> PacketVersion
packetCode PacketType (SignatureV 'SigPayloadVOther)
_ = PacketVersion
2
    toPkt :: SignatureV 'SigPayloadVOther -> Pkt
toPkt = SignaturePayload -> Pkt
SignaturePkt (SignaturePayload -> Pkt)
-> (SignatureV 'SigPayloadVOther -> SignaturePayload)
-> SignatureV 'SigPayloadVOther
-> Pkt
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SignatureV 'SigPayloadVOther -> SignaturePayload
forall (v :: SignaturePayloadVersion).
SignatureV v -> SignaturePayload
signaturePayloadFromSignatureV
    fromPktEither :: Pkt -> Either PacketCoercionError (SignatureV 'SigPayloadVOther)
fromPktEither (SignaturePkt SignaturePayload
payload) =
        (String -> PacketCoercionError)
-> Either String (SignatureV 'SigPayloadVOther)
-> Either PacketCoercionError (SignatureV 'SigPayloadVOther)
forall a b c. (a -> b) -> Either a c -> Either b c
forall (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first
            (\String
msg -> String -> PacketVersion -> PacketCoercionError
PacketCoercionError String
msg PacketVersion
2)
            (SignaturePayloadV 'SigPayloadVOther -> SignatureV 'SigPayloadVOther
SignatureVOtherPacket (SignaturePayloadV 'SigPayloadVOther
 -> SignatureV 'SigPayloadVOther)
-> Either String (SignaturePayloadV 'SigPayloadVOther)
-> Either String (SignatureV 'SigPayloadVOther)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> SignaturePayload
-> Either String (SignaturePayloadV 'SigPayloadVOther)
asSignaturePayloadOther SignaturePayload
payload)
    fromPktEither Pkt
pkt = String
-> Pkt -> Either PacketCoercionError (SignatureV 'SigPayloadVOther)
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"SignatureVOther" Pkt
pkt

instance Pretty (SignatureV 'SigPayloadVOther) where
    pretty :: forall ann. SignatureV 'SigPayloadVOther -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (SignatureV 'SigPayloadVOther -> Pkt)
-> SignatureV 'SigPayloadVOther
-> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SignatureV 'SigPayloadVOther -> Pkt
forall a. Packet a => a -> Pkt
toPkt

data SKESK (v :: SKESKPayloadVersion) where
    SKESK4Packet
        :: SymmetricAlgorithm
        -> S2K
        -> Maybe B.ByteString
        -> SKESK 'SKESKV4
    SKESK6Packet
        :: SymmetricAlgorithm
        -> AEADAlgorithm
        -> S2K
        -> B.ByteString
        -> B.ByteString
        -> B.ByteString
        -> SKESK 'SKESKV6

deriving instance Eq (SKESK v)
deriving instance Show (SKESK v)

instance Packet (SKESK 'SKESKV4) where
    data PacketType (SKESK 'SKESKV4) = SKESKType
        deriving (PacketType (SKESK 'SKESKV4) -> PacketType (SKESK 'SKESKV4) -> Bool
(PacketType (SKESK 'SKESKV4)
 -> PacketType (SKESK 'SKESKV4) -> Bool)
-> (PacketType (SKESK 'SKESKV4)
    -> PacketType (SKESK 'SKESKV4) -> Bool)
-> Eq (PacketType (SKESK 'SKESKV4))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType (SKESK 'SKESKV4) -> PacketType (SKESK 'SKESKV4) -> Bool
== :: PacketType (SKESK 'SKESKV4) -> PacketType (SKESK 'SKESKV4) -> Bool
$c/= :: PacketType (SKESK 'SKESKV4) -> PacketType (SKESK 'SKESKV4) -> Bool
/= :: PacketType (SKESK 'SKESKV4) -> PacketType (SKESK 'SKESKV4) -> Bool
Eq, Int -> PacketType (SKESK 'SKESKV4) -> String -> String
[PacketType (SKESK 'SKESKV4)] -> String -> String
PacketType (SKESK 'SKESKV4) -> String
(Int -> PacketType (SKESK 'SKESKV4) -> String -> String)
-> (PacketType (SKESK 'SKESKV4) -> String)
-> ([PacketType (SKESK 'SKESKV4)] -> String -> String)
-> Show (PacketType (SKESK 'SKESKV4))
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType (SKESK 'SKESKV4) -> String -> String
showsPrec :: Int -> PacketType (SKESK 'SKESKV4) -> String -> String
$cshow :: PacketType (SKESK 'SKESKV4) -> String
show :: PacketType (SKESK 'SKESKV4) -> String
$cshowList :: [PacketType (SKESK 'SKESKV4)] -> String -> String
showList :: [PacketType (SKESK 'SKESKV4)] -> String -> String
Show)
    packetType :: SKESK 'SKESKV4 -> PacketType (SKESK 'SKESKV4)
packetType SKESK 'SKESKV4
_ = PacketType (SKESK 'SKESKV4)
SKESKType
    packetCode :: PacketType (SKESK 'SKESKV4) -> PacketVersion
packetCode PacketType (SKESK 'SKESKV4)
_ = PacketVersion
3
    toPkt :: SKESK 'SKESKV4 -> Pkt
toPkt (SKESK4Packet SymmetricAlgorithm
symalgo S2K
s2k Maybe ByteString
esk) =
        SKESKPayload -> Pkt
SKESKPkt (SKESKPayloadV4 -> SKESKPayload
SKESKPayloadV4Packet (SymmetricAlgorithm -> S2K -> Maybe ByteString -> SKESKPayloadV4
SKESKPayloadV4 SymmetricAlgorithm
symalgo S2K
s2k Maybe ByteString
esk))
    fromPktEither :: Pkt -> Either PacketCoercionError (SKESK 'SKESKV4)
fromPktEither (SKESKPkt (SKESKPayloadV4Packet (SKESKPayloadV4 SymmetricAlgorithm
symalgo S2K
s2k Maybe ByteString
esk))) =
        SKESK 'SKESKV4 -> Either PacketCoercionError (SKESK 'SKESKV4)
forall a b. b -> Either a b
Right (SymmetricAlgorithm -> S2K -> Maybe ByteString -> SKESK 'SKESKV4
SKESK4Packet SymmetricAlgorithm
symalgo S2K
s2k Maybe ByteString
esk)
    fromPktEither pkt :: Pkt
pkt@(SKESKPkt (SKESKPayloadV6Packet (SKESKPayloadV6 SymmetricAlgorithm
_ AEADAlgorithm
_ S2K
_ ByteString
_ ByteString
_ ByteString
_))) =
        PacketCoercionError -> Either PacketCoercionError (SKESK 'SKESKV4)
forall a b. a -> Either a b
Left
            ( String -> PacketVersion -> PacketCoercionError
PacketCoercionError
                String
"Cannot coerce SKESKv6 packet to SKESKv4"
                (Pkt -> PacketVersion
pktTag Pkt
pkt)
            )
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError (SKESK 'SKESKV4)
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"SKESK" Pkt
pkt

instance Pretty (SKESK 'SKESKV4) where
    pretty :: forall ann. SKESK 'SKESKV4 -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (SKESK 'SKESKV4 -> Pkt) -> SKESK 'SKESKV4 -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SKESK 'SKESKV4 -> Pkt
forall a. Packet a => a -> Pkt
toPkt

instance Packet (SKESK 'SKESKV6) where
    data PacketType (SKESK 'SKESKV6) = SKESK6Type
        deriving (PacketType (SKESK 'SKESKV6) -> PacketType (SKESK 'SKESKV6) -> Bool
(PacketType (SKESK 'SKESKV6)
 -> PacketType (SKESK 'SKESKV6) -> Bool)
-> (PacketType (SKESK 'SKESKV6)
    -> PacketType (SKESK 'SKESKV6) -> Bool)
-> Eq (PacketType (SKESK 'SKESKV6))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType (SKESK 'SKESKV6) -> PacketType (SKESK 'SKESKV6) -> Bool
== :: PacketType (SKESK 'SKESKV6) -> PacketType (SKESK 'SKESKV6) -> Bool
$c/= :: PacketType (SKESK 'SKESKV6) -> PacketType (SKESK 'SKESKV6) -> Bool
/= :: PacketType (SKESK 'SKESKV6) -> PacketType (SKESK 'SKESKV6) -> Bool
Eq, Int -> PacketType (SKESK 'SKESKV6) -> String -> String
[PacketType (SKESK 'SKESKV6)] -> String -> String
PacketType (SKESK 'SKESKV6) -> String
(Int -> PacketType (SKESK 'SKESKV6) -> String -> String)
-> (PacketType (SKESK 'SKESKV6) -> String)
-> ([PacketType (SKESK 'SKESKV6)] -> String -> String)
-> Show (PacketType (SKESK 'SKESKV6))
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType (SKESK 'SKESKV6) -> String -> String
showsPrec :: Int -> PacketType (SKESK 'SKESKV6) -> String -> String
$cshow :: PacketType (SKESK 'SKESKV6) -> String
show :: PacketType (SKESK 'SKESKV6) -> String
$cshowList :: [PacketType (SKESK 'SKESKV6)] -> String -> String
showList :: [PacketType (SKESK 'SKESKV6)] -> String -> String
Show)
    packetType :: SKESK 'SKESKV6 -> PacketType (SKESK 'SKESKV6)
packetType SKESK 'SKESKV6
_ = PacketType (SKESK 'SKESKV6)
SKESK6Type
    packetCode :: PacketType (SKESK 'SKESKV6) -> PacketVersion
packetCode PacketType (SKESK 'SKESKV6)
_ = PacketVersion
3
    toPkt :: SKESK 'SKESKV6 -> Pkt
toPkt (SKESK6Packet SymmetricAlgorithm
symalgo AEADAlgorithm
aead S2K
s2k ByteString
iv ByteString
esk ByteString
tag) =
        SKESKPayload -> Pkt
SKESKPkt
            (SKESKPayloadV6 -> SKESKPayload
SKESKPayloadV6Packet (SymmetricAlgorithm
-> AEADAlgorithm
-> S2K
-> ByteString
-> ByteString
-> ByteString
-> SKESKPayloadV6
SKESKPayloadV6 SymmetricAlgorithm
symalgo AEADAlgorithm
aead S2K
s2k ByteString
iv ByteString
esk ByteString
tag))
    fromPktEither :: Pkt -> Either PacketCoercionError (SKESK 'SKESKV6)
fromPktEither
        ( SKESKPkt
                (SKESKPayloadV6Packet (SKESKPayloadV6 SymmetricAlgorithm
symalgo AEADAlgorithm
aead S2K
s2k ByteString
iv ByteString
esk ByteString
tag))
            ) =
            SKESK 'SKESKV6 -> Either PacketCoercionError (SKESK 'SKESKV6)
forall a b. b -> Either a b
Right (SymmetricAlgorithm
-> AEADAlgorithm
-> S2K
-> ByteString
-> ByteString
-> ByteString
-> SKESK 'SKESKV6
SKESK6Packet SymmetricAlgorithm
symalgo AEADAlgorithm
aead S2K
s2k ByteString
iv ByteString
esk ByteString
tag)
    fromPktEither pkt :: Pkt
pkt@(SKESKPkt (SKESKPayloadV4Packet (SKESKPayloadV4 SymmetricAlgorithm
_ S2K
_ Maybe ByteString
_))) =
        PacketCoercionError -> Either PacketCoercionError (SKESK 'SKESKV6)
forall a b. a -> Either a b
Left
            ( String -> PacketVersion -> PacketCoercionError
PacketCoercionError
                String
"Cannot coerce SKESKv4 packet to SKESKv6"
                (Pkt -> PacketVersion
pktTag Pkt
pkt)
            )
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError (SKESK 'SKESKV6)
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"SKESKv6" Pkt
pkt

instance Pretty (SKESK 'SKESKV6) where
    pretty :: forall ann. SKESK 'SKESKV6 -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (SKESK 'SKESKV6 -> Pkt) -> SKESK 'SKESKV6 -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SKESK 'SKESKV6 -> Pkt
forall a. Packet a => a -> Pkt
toPkt

data OnePassSignature (v :: OnePassSignatureVersion) where
    OnePassSignatureV3Packet
        :: PacketVersion
        -> SigType
        -> HashAlgorithm
        -> PubKeyAlgorithm
        -> EightOctetKeyId
        -> NestedFlag
        -> OnePassSignature 'OPSV3
    OnePassSignatureV6Packet
        :: SigType
        -> HashAlgorithm
        -> PubKeyAlgorithm
        -> SignatureSalt
        -> Fingerprint
        -> NestedFlag
        -> OnePassSignature 'OPSV6

deriving instance Eq (OnePassSignature v)
deriving instance Show (OnePassSignature v)

instance Packet (OnePassSignature 'OPSV3) where
    data PacketType (OnePassSignature 'OPSV3) = OnePassSignatureType
        deriving (PacketType (OnePassSignature 'OPSV3)
-> PacketType (OnePassSignature 'OPSV3) -> Bool
(PacketType (OnePassSignature 'OPSV3)
 -> PacketType (OnePassSignature 'OPSV3) -> Bool)
-> (PacketType (OnePassSignature 'OPSV3)
    -> PacketType (OnePassSignature 'OPSV3) -> Bool)
-> Eq (PacketType (OnePassSignature 'OPSV3))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType (OnePassSignature 'OPSV3)
-> PacketType (OnePassSignature 'OPSV3) -> Bool
== :: PacketType (OnePassSignature 'OPSV3)
-> PacketType (OnePassSignature 'OPSV3) -> Bool
$c/= :: PacketType (OnePassSignature 'OPSV3)
-> PacketType (OnePassSignature 'OPSV3) -> Bool
/= :: PacketType (OnePassSignature 'OPSV3)
-> PacketType (OnePassSignature 'OPSV3) -> Bool
Eq, Int -> PacketType (OnePassSignature 'OPSV3) -> String -> String
[PacketType (OnePassSignature 'OPSV3)] -> String -> String
PacketType (OnePassSignature 'OPSV3) -> String
(Int -> PacketType (OnePassSignature 'OPSV3) -> String -> String)
-> (PacketType (OnePassSignature 'OPSV3) -> String)
-> ([PacketType (OnePassSignature 'OPSV3)] -> String -> String)
-> Show (PacketType (OnePassSignature 'OPSV3))
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType (OnePassSignature 'OPSV3) -> String -> String
showsPrec :: Int -> PacketType (OnePassSignature 'OPSV3) -> String -> String
$cshow :: PacketType (OnePassSignature 'OPSV3) -> String
show :: PacketType (OnePassSignature 'OPSV3) -> String
$cshowList :: [PacketType (OnePassSignature 'OPSV3)] -> String -> String
showList :: [PacketType (OnePassSignature 'OPSV3)] -> String -> String
Show)
    packetType :: OnePassSignature 'OPSV3 -> PacketType (OnePassSignature 'OPSV3)
packetType OnePassSignature 'OPSV3
_ = PacketType (OnePassSignature 'OPSV3)
OnePassSignatureType
    packetCode :: PacketType (OnePassSignature 'OPSV3) -> PacketVersion
packetCode PacketType (OnePassSignature 'OPSV3)
_ = PacketVersion
4
    toPkt :: OnePassSignature 'OPSV3 -> Pkt
toPkt (OnePassSignatureV3Packet PacketVersion
a SigType
b HashAlgorithm
c PubKeyAlgorithm
d EightOctetKeyId
e NestedFlag
f) =
        OnePassSignaturePayload -> Pkt
OnePassSignaturePkt
            (OPSPayloadV3 -> OnePassSignaturePayload
OPSPayloadV3Packet (PacketVersion
-> SigType
-> HashAlgorithm
-> PubKeyAlgorithm
-> EightOctetKeyId
-> NestedFlag
-> OPSPayloadV3
OPSPayloadV3 PacketVersion
a SigType
b HashAlgorithm
c PubKeyAlgorithm
d EightOctetKeyId
e NestedFlag
f))
    fromPktEither :: Pkt -> Either PacketCoercionError (OnePassSignature 'OPSV3)
fromPktEither
        ( OnePassSignaturePkt
                (OPSPayloadV3Packet (OPSPayloadV3 PacketVersion
a SigType
b HashAlgorithm
c PubKeyAlgorithm
d EightOctetKeyId
e NestedFlag
f))
            ) =
            OnePassSignature 'OPSV3
-> Either PacketCoercionError (OnePassSignature 'OPSV3)
forall a b. b -> Either a b
Right (PacketVersion
-> SigType
-> HashAlgorithm
-> PubKeyAlgorithm
-> EightOctetKeyId
-> NestedFlag
-> OnePassSignature 'OPSV3
OnePassSignatureV3Packet PacketVersion
a SigType
b HashAlgorithm
c PubKeyAlgorithm
d EightOctetKeyId
e NestedFlag
f)
    fromPktEither Pkt
pkt = String
-> Pkt -> Either PacketCoercionError (OnePassSignature 'OPSV3)
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"OnePassSignature" Pkt
pkt

instance Pretty (OnePassSignature 'OPSV3) where
    pretty :: forall ann. OnePassSignature 'OPSV3 -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (OnePassSignature 'OPSV3 -> Pkt)
-> OnePassSignature 'OPSV3
-> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. OnePassSignature 'OPSV3 -> Pkt
forall a. Packet a => a -> Pkt
toPkt

instance Packet (OnePassSignature 'OPSV6) where
    data PacketType (OnePassSignature 'OPSV6) = OnePassSignatureV6Type
        deriving (PacketType (OnePassSignature 'OPSV6)
-> PacketType (OnePassSignature 'OPSV6) -> Bool
(PacketType (OnePassSignature 'OPSV6)
 -> PacketType (OnePassSignature 'OPSV6) -> Bool)
-> (PacketType (OnePassSignature 'OPSV6)
    -> PacketType (OnePassSignature 'OPSV6) -> Bool)
-> Eq (PacketType (OnePassSignature 'OPSV6))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType (OnePassSignature 'OPSV6)
-> PacketType (OnePassSignature 'OPSV6) -> Bool
== :: PacketType (OnePassSignature 'OPSV6)
-> PacketType (OnePassSignature 'OPSV6) -> Bool
$c/= :: PacketType (OnePassSignature 'OPSV6)
-> PacketType (OnePassSignature 'OPSV6) -> Bool
/= :: PacketType (OnePassSignature 'OPSV6)
-> PacketType (OnePassSignature 'OPSV6) -> Bool
Eq, Int -> PacketType (OnePassSignature 'OPSV6) -> String -> String
[PacketType (OnePassSignature 'OPSV6)] -> String -> String
PacketType (OnePassSignature 'OPSV6) -> String
(Int -> PacketType (OnePassSignature 'OPSV6) -> String -> String)
-> (PacketType (OnePassSignature 'OPSV6) -> String)
-> ([PacketType (OnePassSignature 'OPSV6)] -> String -> String)
-> Show (PacketType (OnePassSignature 'OPSV6))
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType (OnePassSignature 'OPSV6) -> String -> String
showsPrec :: Int -> PacketType (OnePassSignature 'OPSV6) -> String -> String
$cshow :: PacketType (OnePassSignature 'OPSV6) -> String
show :: PacketType (OnePassSignature 'OPSV6) -> String
$cshowList :: [PacketType (OnePassSignature 'OPSV6)] -> String -> String
showList :: [PacketType (OnePassSignature 'OPSV6)] -> String -> String
Show)
    packetType :: OnePassSignature 'OPSV6 -> PacketType (OnePassSignature 'OPSV6)
packetType OnePassSignature 'OPSV6
_ = PacketType (OnePassSignature 'OPSV6)
OnePassSignatureV6Type
    packetCode :: PacketType (OnePassSignature 'OPSV6) -> PacketVersion
packetCode PacketType (OnePassSignature 'OPSV6)
_ = PacketVersion
4
    toPkt :: OnePassSignature 'OPSV6 -> Pkt
toPkt (OnePassSignatureV6Packet SigType
a HashAlgorithm
b PubKeyAlgorithm
c SignatureSalt
d Fingerprint
e NestedFlag
f) =
        OnePassSignaturePayload -> Pkt
OnePassSignaturePkt
            (OPSPayloadV6 -> OnePassSignaturePayload
OPSPayloadV6Packet (SigType
-> HashAlgorithm
-> PubKeyAlgorithm
-> SignatureSalt
-> Fingerprint
-> NestedFlag
-> OPSPayloadV6
OPSPayloadV6 SigType
a HashAlgorithm
b PubKeyAlgorithm
c SignatureSalt
d Fingerprint
e NestedFlag
f))
    fromPktEither :: Pkt -> Either PacketCoercionError (OnePassSignature 'OPSV6)
fromPktEither
        ( OnePassSignaturePkt
                (OPSPayloadV6Packet (OPSPayloadV6 SigType
a HashAlgorithm
b PubKeyAlgorithm
c SignatureSalt
d Fingerprint
e NestedFlag
f))
            ) =
            OnePassSignature 'OPSV6
-> Either PacketCoercionError (OnePassSignature 'OPSV6)
forall a b. b -> Either a b
Right (SigType
-> HashAlgorithm
-> PubKeyAlgorithm
-> SignatureSalt
-> Fingerprint
-> NestedFlag
-> OnePassSignature 'OPSV6
OnePassSignatureV6Packet SigType
a HashAlgorithm
b PubKeyAlgorithm
c SignatureSalt
d Fingerprint
e NestedFlag
f)
    fromPktEither Pkt
pkt = String
-> Pkt -> Either PacketCoercionError (OnePassSignature 'OPSV6)
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"OnePassSignatureV6" Pkt
pkt

instance Pretty (OnePassSignature 'OPSV6) where
    pretty :: forall ann. OnePassSignature 'OPSV6 -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (OnePassSignature 'OPSV6 -> Pkt)
-> OnePassSignature 'OPSV6
-> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. OnePassSignature 'OPSV6 -> Pkt
forall a. Packet a => a -> Pkt
toPkt

data SecretKey
    = SecretKey
    { SecretKey -> SomePKPayload
_secretKeyPKPayload :: SomePKPayload
    , SecretKey -> SKAddendum
_secretKeySKAddendum :: SKAddendum
    }
    deriving (Typeable SecretKey
Typeable SecretKey =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> SecretKey -> c SecretKey)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c SecretKey)
-> (SecretKey -> Constr)
-> (SecretKey -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c SecretKey))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecretKey))
-> ((forall b. Data b => b -> b) -> SecretKey -> SecretKey)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> SecretKey -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> SecretKey -> r)
-> (forall u. (forall d. Data d => d -> u) -> SecretKey -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> SecretKey -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> SecretKey -> m SecretKey)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> SecretKey -> m SecretKey)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> SecretKey -> m SecretKey)
-> Data SecretKey
SecretKey -> Constr
SecretKey -> DataType
(forall b. Data b => b -> b) -> SecretKey -> SecretKey
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> SecretKey -> u
forall u. (forall d. Data d => d -> u) -> SecretKey -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> SecretKey -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> SecretKey -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> SecretKey -> m SecretKey
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SecretKey -> m SecretKey
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c SecretKey
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> SecretKey -> c SecretKey
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c SecretKey)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecretKey)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> SecretKey -> c SecretKey
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> SecretKey -> c SecretKey
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c SecretKey
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c SecretKey
$ctoConstr :: SecretKey -> Constr
toConstr :: SecretKey -> Constr
$cdataTypeOf :: SecretKey -> DataType
dataTypeOf :: SecretKey -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c SecretKey)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c SecretKey)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecretKey)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecretKey)
$cgmapT :: (forall b. Data b => b -> b) -> SecretKey -> SecretKey
gmapT :: (forall b. Data b => b -> b) -> SecretKey -> SecretKey
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> SecretKey -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> SecretKey -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> SecretKey -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> SecretKey -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> SecretKey -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> SecretKey -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> SecretKey -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> SecretKey -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> SecretKey -> m SecretKey
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> SecretKey -> m SecretKey
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SecretKey -> m SecretKey
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SecretKey -> m SecretKey
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SecretKey -> m SecretKey
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SecretKey -> m SecretKey
Data, SecretKey -> SecretKey -> Bool
(SecretKey -> SecretKey -> Bool)
-> (SecretKey -> SecretKey -> Bool) -> Eq SecretKey
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SecretKey -> SecretKey -> Bool
== :: SecretKey -> SecretKey -> Bool
$c/= :: SecretKey -> SecretKey -> Bool
/= :: SecretKey -> SecretKey -> Bool
Eq, Int -> SecretKey -> String -> String
[SecretKey] -> String -> String
SecretKey -> String
(Int -> SecretKey -> String -> String)
-> (SecretKey -> String)
-> ([SecretKey] -> String -> String)
-> Show SecretKey
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> SecretKey -> String -> String
showsPrec :: Int -> SecretKey -> String -> String
$cshow :: SecretKey -> String
show :: SecretKey -> String
$cshowList :: [SecretKey] -> String -> String
showList :: [SecretKey] -> String -> String
Show, Typeable)

instance Packet SecretKey where
    data PacketType SecretKey = SecretKeyType
        deriving (PacketType SecretKey -> PacketType SecretKey -> Bool
(PacketType SecretKey -> PacketType SecretKey -> Bool)
-> (PacketType SecretKey -> PacketType SecretKey -> Bool)
-> Eq (PacketType SecretKey)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType SecretKey -> PacketType SecretKey -> Bool
== :: PacketType SecretKey -> PacketType SecretKey -> Bool
$c/= :: PacketType SecretKey -> PacketType SecretKey -> Bool
/= :: PacketType SecretKey -> PacketType SecretKey -> Bool
Eq, Int -> PacketType SecretKey -> String -> String
[PacketType SecretKey] -> String -> String
PacketType SecretKey -> String
(Int -> PacketType SecretKey -> String -> String)
-> (PacketType SecretKey -> String)
-> ([PacketType SecretKey] -> String -> String)
-> Show (PacketType SecretKey)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType SecretKey -> String -> String
showsPrec :: Int -> PacketType SecretKey -> String -> String
$cshow :: PacketType SecretKey -> String
show :: PacketType SecretKey -> String
$cshowList :: [PacketType SecretKey] -> String -> String
showList :: [PacketType SecretKey] -> String -> String
Show)
    packetType :: SecretKey -> PacketType SecretKey
packetType SecretKey
_ = PacketType SecretKey
SecretKeyType
    packetCode :: PacketType SecretKey -> PacketVersion
packetCode PacketType SecretKey
_ = PacketVersion
5
    toPkt :: SecretKey -> Pkt
toPkt (SecretKey SomePKPayload
a SKAddendum
b) = SomePKPayload -> SKAddendum -> Pkt
SecretKeyPkt SomePKPayload
a SKAddendum
b
    fromPktEither :: Pkt -> Either PacketCoercionError SecretKey
fromPktEither (SecretKeyPkt SomePKPayload
a SKAddendum
b) = SecretKey -> Either PacketCoercionError SecretKey
forall a b. b -> Either a b
Right (SomePKPayload -> SKAddendum -> SecretKey
SecretKey SomePKPayload
a SKAddendum
b)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError SecretKey
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"SecretKey" Pkt
pkt

instance Pretty SecretKey where
    pretty :: forall ann. SecretKey -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann) -> (SecretKey -> Pkt) -> SecretKey -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SecretKey -> Pkt
forall a. Packet a => a -> Pkt
toPkt

newtype PublicKey
    = PublicKey
    { PublicKey -> SomePKPayload
_publicKeyPKPayload :: SomePKPayload
    }
    deriving (Typeable PublicKey
Typeable PublicKey =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> PublicKey -> c PublicKey)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c PublicKey)
-> (PublicKey -> Constr)
-> (PublicKey -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c PublicKey))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PublicKey))
-> ((forall b. Data b => b -> b) -> PublicKey -> PublicKey)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> PublicKey -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> PublicKey -> r)
-> (forall u. (forall d. Data d => d -> u) -> PublicKey -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> PublicKey -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> PublicKey -> m PublicKey)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> PublicKey -> m PublicKey)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> PublicKey -> m PublicKey)
-> Data PublicKey
PublicKey -> Constr
PublicKey -> DataType
(forall b. Data b => b -> b) -> PublicKey -> PublicKey
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> PublicKey -> u
forall u. (forall d. Data d => d -> u) -> PublicKey -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> PublicKey -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> PublicKey -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> PublicKey -> m PublicKey
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> PublicKey -> m PublicKey
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c PublicKey
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> PublicKey -> c PublicKey
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c PublicKey)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PublicKey)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> PublicKey -> c PublicKey
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> PublicKey -> c PublicKey
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c PublicKey
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c PublicKey
$ctoConstr :: PublicKey -> Constr
toConstr :: PublicKey -> Constr
$cdataTypeOf :: PublicKey -> DataType
dataTypeOf :: PublicKey -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c PublicKey)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c PublicKey)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PublicKey)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PublicKey)
$cgmapT :: (forall b. Data b => b -> b) -> PublicKey -> PublicKey
gmapT :: (forall b. Data b => b -> b) -> PublicKey -> PublicKey
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> PublicKey -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> PublicKey -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> PublicKey -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> PublicKey -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> PublicKey -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> PublicKey -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> PublicKey -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> PublicKey -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> PublicKey -> m PublicKey
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> PublicKey -> m PublicKey
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> PublicKey -> m PublicKey
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> PublicKey -> m PublicKey
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> PublicKey -> m PublicKey
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> PublicKey -> m PublicKey
Data, PublicKey -> PublicKey -> Bool
(PublicKey -> PublicKey -> Bool)
-> (PublicKey -> PublicKey -> Bool) -> Eq PublicKey
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PublicKey -> PublicKey -> Bool
== :: PublicKey -> PublicKey -> Bool
$c/= :: PublicKey -> PublicKey -> Bool
/= :: PublicKey -> PublicKey -> Bool
Eq, Int -> PublicKey -> String -> String
[PublicKey] -> String -> String
PublicKey -> String
(Int -> PublicKey -> String -> String)
-> (PublicKey -> String)
-> ([PublicKey] -> String -> String)
-> Show PublicKey
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PublicKey -> String -> String
showsPrec :: Int -> PublicKey -> String -> String
$cshow :: PublicKey -> String
show :: PublicKey -> String
$cshowList :: [PublicKey] -> String -> String
showList :: [PublicKey] -> String -> String
Show, Typeable)

instance Packet PublicKey where
    data PacketType PublicKey = PublicKeyType
        deriving (PacketType PublicKey -> PacketType PublicKey -> Bool
(PacketType PublicKey -> PacketType PublicKey -> Bool)
-> (PacketType PublicKey -> PacketType PublicKey -> Bool)
-> Eq (PacketType PublicKey)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType PublicKey -> PacketType PublicKey -> Bool
== :: PacketType PublicKey -> PacketType PublicKey -> Bool
$c/= :: PacketType PublicKey -> PacketType PublicKey -> Bool
/= :: PacketType PublicKey -> PacketType PublicKey -> Bool
Eq, Int -> PacketType PublicKey -> String -> String
[PacketType PublicKey] -> String -> String
PacketType PublicKey -> String
(Int -> PacketType PublicKey -> String -> String)
-> (PacketType PublicKey -> String)
-> ([PacketType PublicKey] -> String -> String)
-> Show (PacketType PublicKey)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType PublicKey -> String -> String
showsPrec :: Int -> PacketType PublicKey -> String -> String
$cshow :: PacketType PublicKey -> String
show :: PacketType PublicKey -> String
$cshowList :: [PacketType PublicKey] -> String -> String
showList :: [PacketType PublicKey] -> String -> String
Show)
    packetType :: PublicKey -> PacketType PublicKey
packetType PublicKey
_ = PacketType PublicKey
PublicKeyType
    packetCode :: PacketType PublicKey -> PacketVersion
packetCode PacketType PublicKey
_ = PacketVersion
6
    toPkt :: PublicKey -> Pkt
toPkt (PublicKey SomePKPayload
a) = SomePKPayload -> Pkt
PublicKeyPkt SomePKPayload
a
    fromPktEither :: Pkt -> Either PacketCoercionError PublicKey
fromPktEither (PublicKeyPkt SomePKPayload
a) = PublicKey -> Either PacketCoercionError PublicKey
forall a b. b -> Either a b
Right (SomePKPayload -> PublicKey
PublicKey SomePKPayload
a)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError PublicKey
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"PublicKey" Pkt
pkt

instance Pretty PublicKey where
    pretty :: forall ann. PublicKey -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann) -> (PublicKey -> Pkt) -> PublicKey -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. PublicKey -> Pkt
forall a. Packet a => a -> Pkt
toPkt

data SecretSubkey
    = SecretSubkey
    { SecretSubkey -> SomePKPayload
_secretSubkeyPKPayload :: SomePKPayload
    , SecretSubkey -> SKAddendum
_secretSubkeySKAddendum :: SKAddendum
    }
    deriving (Typeable SecretSubkey
Typeable SecretSubkey =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> SecretSubkey -> c SecretSubkey)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c SecretSubkey)
-> (SecretSubkey -> Constr)
-> (SecretSubkey -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c SecretSubkey))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c SecretSubkey))
-> ((forall b. Data b => b -> b) -> SecretSubkey -> SecretSubkey)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> SecretSubkey -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> SecretSubkey -> r)
-> (forall u. (forall d. Data d => d -> u) -> SecretSubkey -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> SecretSubkey -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey)
-> Data SecretSubkey
SecretSubkey -> Constr
SecretSubkey -> DataType
(forall b. Data b => b -> b) -> SecretSubkey -> SecretSubkey
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> SecretSubkey -> u
forall u. (forall d. Data d => d -> u) -> SecretSubkey -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> SecretSubkey -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> SecretSubkey -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c SecretSubkey
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> SecretSubkey -> c SecretSubkey
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c SecretSubkey)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c SecretSubkey)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> SecretSubkey -> c SecretSubkey
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> SecretSubkey -> c SecretSubkey
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c SecretSubkey
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c SecretSubkey
$ctoConstr :: SecretSubkey -> Constr
toConstr :: SecretSubkey -> Constr
$cdataTypeOf :: SecretSubkey -> DataType
dataTypeOf :: SecretSubkey -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c SecretSubkey)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c SecretSubkey)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c SecretSubkey)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c SecretSubkey)
$cgmapT :: (forall b. Data b => b -> b) -> SecretSubkey -> SecretSubkey
gmapT :: (forall b. Data b => b -> b) -> SecretSubkey -> SecretSubkey
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> SecretSubkey -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> SecretSubkey -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> SecretSubkey -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> SecretSubkey -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> SecretSubkey -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> SecretSubkey -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> SecretSubkey -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> SecretSubkey -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey
Data, SecretSubkey -> SecretSubkey -> Bool
(SecretSubkey -> SecretSubkey -> Bool)
-> (SecretSubkey -> SecretSubkey -> Bool) -> Eq SecretSubkey
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SecretSubkey -> SecretSubkey -> Bool
== :: SecretSubkey -> SecretSubkey -> Bool
$c/= :: SecretSubkey -> SecretSubkey -> Bool
/= :: SecretSubkey -> SecretSubkey -> Bool
Eq, Int -> SecretSubkey -> String -> String
[SecretSubkey] -> String -> String
SecretSubkey -> String
(Int -> SecretSubkey -> String -> String)
-> (SecretSubkey -> String)
-> ([SecretSubkey] -> String -> String)
-> Show SecretSubkey
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> SecretSubkey -> String -> String
showsPrec :: Int -> SecretSubkey -> String -> String
$cshow :: SecretSubkey -> String
show :: SecretSubkey -> String
$cshowList :: [SecretSubkey] -> String -> String
showList :: [SecretSubkey] -> String -> String
Show, Typeable)

instance Packet SecretSubkey where
    data PacketType SecretSubkey = SecretSubkeyType
        deriving (PacketType SecretSubkey -> PacketType SecretSubkey -> Bool
(PacketType SecretSubkey -> PacketType SecretSubkey -> Bool)
-> (PacketType SecretSubkey -> PacketType SecretSubkey -> Bool)
-> Eq (PacketType SecretSubkey)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType SecretSubkey -> PacketType SecretSubkey -> Bool
== :: PacketType SecretSubkey -> PacketType SecretSubkey -> Bool
$c/= :: PacketType SecretSubkey -> PacketType SecretSubkey -> Bool
/= :: PacketType SecretSubkey -> PacketType SecretSubkey -> Bool
Eq, Int -> PacketType SecretSubkey -> String -> String
[PacketType SecretSubkey] -> String -> String
PacketType SecretSubkey -> String
(Int -> PacketType SecretSubkey -> String -> String)
-> (PacketType SecretSubkey -> String)
-> ([PacketType SecretSubkey] -> String -> String)
-> Show (PacketType SecretSubkey)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType SecretSubkey -> String -> String
showsPrec :: Int -> PacketType SecretSubkey -> String -> String
$cshow :: PacketType SecretSubkey -> String
show :: PacketType SecretSubkey -> String
$cshowList :: [PacketType SecretSubkey] -> String -> String
showList :: [PacketType SecretSubkey] -> String -> String
Show)
    packetType :: SecretSubkey -> PacketType SecretSubkey
packetType SecretSubkey
_ = PacketType SecretSubkey
SecretSubkeyType
    packetCode :: PacketType SecretSubkey -> PacketVersion
packetCode PacketType SecretSubkey
_ = PacketVersion
7
    toPkt :: SecretSubkey -> Pkt
toPkt (SecretSubkey SomePKPayload
a SKAddendum
b) = SomePKPayload -> SKAddendum -> Pkt
SecretSubkeyPkt SomePKPayload
a SKAddendum
b
    fromPktEither :: Pkt -> Either PacketCoercionError SecretSubkey
fromPktEither (SecretSubkeyPkt SomePKPayload
a SKAddendum
b) = SecretSubkey -> Either PacketCoercionError SecretSubkey
forall a b. b -> Either a b
Right (SomePKPayload -> SKAddendum -> SecretSubkey
SecretSubkey SomePKPayload
a SKAddendum
b)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError SecretSubkey
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"SecretSubkey" Pkt
pkt

instance Pretty SecretSubkey where
    pretty :: forall ann. SecretSubkey -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (SecretSubkey -> Pkt) -> SecretSubkey -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SecretSubkey -> Pkt
forall a. Packet a => a -> Pkt
toPkt

data CompressedData
    = CompressedData
    { CompressedData -> CompressionAlgorithm
_compressedDataCompressionAlgorithm :: CompressionAlgorithm
    , CompressedData -> CompressedDataPayload
_compressedDataPayload :: CompressedDataPayload
    }
    deriving (Typeable CompressedData
Typeable CompressedData =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> CompressedData -> c CompressedData)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c CompressedData)
-> (CompressedData -> Constr)
-> (CompressedData -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c CompressedData))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c CompressedData))
-> ((forall b. Data b => b -> b)
    -> CompressedData -> CompressedData)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CompressedData -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CompressedData -> r)
-> (forall u.
    (forall d. Data d => d -> u) -> CompressedData -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> CompressedData -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> CompressedData -> m CompressedData)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CompressedData -> m CompressedData)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CompressedData -> m CompressedData)
-> Data CompressedData
CompressedData -> Constr
CompressedData -> DataType
(forall b. Data b => b -> b) -> CompressedData -> CompressedData
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u.
Int -> (forall d. Data d => d -> u) -> CompressedData -> u
forall u. (forall d. Data d => d -> u) -> CompressedData -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> CompressedData -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> CompressedData -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> CompressedData -> m CompressedData
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> CompressedData -> m CompressedData
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c CompressedData
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> CompressedData -> c CompressedData
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c CompressedData)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c CompressedData)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> CompressedData -> c CompressedData
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> CompressedData -> c CompressedData
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c CompressedData
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c CompressedData
$ctoConstr :: CompressedData -> Constr
toConstr :: CompressedData -> Constr
$cdataTypeOf :: CompressedData -> DataType
dataTypeOf :: CompressedData -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c CompressedData)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c CompressedData)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c CompressedData)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c CompressedData)
$cgmapT :: (forall b. Data b => b -> b) -> CompressedData -> CompressedData
gmapT :: (forall b. Data b => b -> b) -> CompressedData -> CompressedData
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> CompressedData -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> CompressedData -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> CompressedData -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> CompressedData -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> CompressedData -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> CompressedData -> [u]
$cgmapQi :: forall u.
Int -> (forall d. Data d => d -> u) -> CompressedData -> u
gmapQi :: forall u.
Int -> (forall d. Data d => d -> u) -> CompressedData -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> CompressedData -> m CompressedData
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> CompressedData -> m CompressedData
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> CompressedData -> m CompressedData
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> CompressedData -> m CompressedData
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> CompressedData -> m CompressedData
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> CompressedData -> m CompressedData
Data, CompressedData -> CompressedData -> Bool
(CompressedData -> CompressedData -> Bool)
-> (CompressedData -> CompressedData -> Bool) -> Eq CompressedData
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: CompressedData -> CompressedData -> Bool
== :: CompressedData -> CompressedData -> Bool
$c/= :: CompressedData -> CompressedData -> Bool
/= :: CompressedData -> CompressedData -> Bool
Eq, Int -> CompressedData -> String -> String
[CompressedData] -> String -> String
CompressedData -> String
(Int -> CompressedData -> String -> String)
-> (CompressedData -> String)
-> ([CompressedData] -> String -> String)
-> Show CompressedData
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> CompressedData -> String -> String
showsPrec :: Int -> CompressedData -> String -> String
$cshow :: CompressedData -> String
show :: CompressedData -> String
$cshowList :: [CompressedData] -> String -> String
showList :: [CompressedData] -> String -> String
Show, Typeable)

instance Packet CompressedData where
    data PacketType CompressedData = CompressedDataType
        deriving (PacketType CompressedData -> PacketType CompressedData -> Bool
(PacketType CompressedData -> PacketType CompressedData -> Bool)
-> (PacketType CompressedData -> PacketType CompressedData -> Bool)
-> Eq (PacketType CompressedData)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType CompressedData -> PacketType CompressedData -> Bool
== :: PacketType CompressedData -> PacketType CompressedData -> Bool
$c/= :: PacketType CompressedData -> PacketType CompressedData -> Bool
/= :: PacketType CompressedData -> PacketType CompressedData -> Bool
Eq, Int -> PacketType CompressedData -> String -> String
[PacketType CompressedData] -> String -> String
PacketType CompressedData -> String
(Int -> PacketType CompressedData -> String -> String)
-> (PacketType CompressedData -> String)
-> ([PacketType CompressedData] -> String -> String)
-> Show (PacketType CompressedData)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType CompressedData -> String -> String
showsPrec :: Int -> PacketType CompressedData -> String -> String
$cshow :: PacketType CompressedData -> String
show :: PacketType CompressedData -> String
$cshowList :: [PacketType CompressedData] -> String -> String
showList :: [PacketType CompressedData] -> String -> String
Show)
    packetType :: CompressedData -> PacketType CompressedData
packetType CompressedData
_ = PacketType CompressedData
CompressedDataType
    packetCode :: PacketType CompressedData -> PacketVersion
packetCode PacketType CompressedData
_ = PacketVersion
8
    toPkt :: CompressedData -> Pkt
toPkt (CompressedData CompressionAlgorithm
a CompressedDataPayload
b) = CompressionAlgorithm -> CompressedDataPayload -> Pkt
CompressedDataPkt CompressionAlgorithm
a CompressedDataPayload
b
    fromPktEither :: Pkt -> Either PacketCoercionError CompressedData
fromPktEither (CompressedDataPkt CompressionAlgorithm
a CompressedDataPayload
b) = CompressedData -> Either PacketCoercionError CompressedData
forall a b. b -> Either a b
Right (CompressionAlgorithm -> CompressedDataPayload -> CompressedData
CompressedData CompressionAlgorithm
a CompressedDataPayload
b)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError CompressedData
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"CompressedData" Pkt
pkt

instance Pretty CompressedData where
    pretty :: forall ann. CompressedData -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (CompressedData -> Pkt) -> CompressedData -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. CompressedData -> Pkt
forall a. Packet a => a -> Pkt
toPkt

newtype SymEncData
    = SymEncData
    { SymEncData -> CompressedDataPayload
_symEncDataPayload :: ByteString
    }
    deriving (Typeable SymEncData
Typeable SymEncData =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> SymEncData -> c SymEncData)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c SymEncData)
-> (SymEncData -> Constr)
-> (SymEncData -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c SymEncData))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c SymEncData))
-> ((forall b. Data b => b -> b) -> SymEncData -> SymEncData)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> SymEncData -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> SymEncData -> r)
-> (forall u. (forall d. Data d => d -> u) -> SymEncData -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> SymEncData -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> SymEncData -> m SymEncData)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> SymEncData -> m SymEncData)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> SymEncData -> m SymEncData)
-> Data SymEncData
SymEncData -> Constr
SymEncData -> DataType
(forall b. Data b => b -> b) -> SymEncData -> SymEncData
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> SymEncData -> u
forall u. (forall d. Data d => d -> u) -> SymEncData -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> SymEncData -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> SymEncData -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> SymEncData -> m SymEncData
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SymEncData -> m SymEncData
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c SymEncData
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> SymEncData -> c SymEncData
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c SymEncData)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SymEncData)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> SymEncData -> c SymEncData
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> SymEncData -> c SymEncData
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c SymEncData
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c SymEncData
$ctoConstr :: SymEncData -> Constr
toConstr :: SymEncData -> Constr
$cdataTypeOf :: SymEncData -> DataType
dataTypeOf :: SymEncData -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c SymEncData)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c SymEncData)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SymEncData)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SymEncData)
$cgmapT :: (forall b. Data b => b -> b) -> SymEncData -> SymEncData
gmapT :: (forall b. Data b => b -> b) -> SymEncData -> SymEncData
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> SymEncData -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> SymEncData -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> SymEncData -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> SymEncData -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> SymEncData -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> SymEncData -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> SymEncData -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> SymEncData -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> SymEncData -> m SymEncData
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> SymEncData -> m SymEncData
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SymEncData -> m SymEncData
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SymEncData -> m SymEncData
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SymEncData -> m SymEncData
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> SymEncData -> m SymEncData
Data, SymEncData -> SymEncData -> Bool
(SymEncData -> SymEncData -> Bool)
-> (SymEncData -> SymEncData -> Bool) -> Eq SymEncData
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SymEncData -> SymEncData -> Bool
== :: SymEncData -> SymEncData -> Bool
$c/= :: SymEncData -> SymEncData -> Bool
/= :: SymEncData -> SymEncData -> Bool
Eq, Int -> SymEncData -> String -> String
[SymEncData] -> String -> String
SymEncData -> String
(Int -> SymEncData -> String -> String)
-> (SymEncData -> String)
-> ([SymEncData] -> String -> String)
-> Show SymEncData
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> SymEncData -> String -> String
showsPrec :: Int -> SymEncData -> String -> String
$cshow :: SymEncData -> String
show :: SymEncData -> String
$cshowList :: [SymEncData] -> String -> String
showList :: [SymEncData] -> String -> String
Show, Typeable)

instance Packet SymEncData where
    data PacketType SymEncData = SymEncDataType
        deriving (PacketType SymEncData -> PacketType SymEncData -> Bool
(PacketType SymEncData -> PacketType SymEncData -> Bool)
-> (PacketType SymEncData -> PacketType SymEncData -> Bool)
-> Eq (PacketType SymEncData)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType SymEncData -> PacketType SymEncData -> Bool
== :: PacketType SymEncData -> PacketType SymEncData -> Bool
$c/= :: PacketType SymEncData -> PacketType SymEncData -> Bool
/= :: PacketType SymEncData -> PacketType SymEncData -> Bool
Eq, Int -> PacketType SymEncData -> String -> String
[PacketType SymEncData] -> String -> String
PacketType SymEncData -> String
(Int -> PacketType SymEncData -> String -> String)
-> (PacketType SymEncData -> String)
-> ([PacketType SymEncData] -> String -> String)
-> Show (PacketType SymEncData)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType SymEncData -> String -> String
showsPrec :: Int -> PacketType SymEncData -> String -> String
$cshow :: PacketType SymEncData -> String
show :: PacketType SymEncData -> String
$cshowList :: [PacketType SymEncData] -> String -> String
showList :: [PacketType SymEncData] -> String -> String
Show)
    packetType :: SymEncData -> PacketType SymEncData
packetType SymEncData
_ = PacketType SymEncData
SymEncDataType
    packetCode :: PacketType SymEncData -> PacketVersion
packetCode PacketType SymEncData
_ = PacketVersion
9
    toPkt :: SymEncData -> Pkt
toPkt (SymEncData CompressedDataPayload
a) = CompressedDataPayload -> Pkt
SymEncDataPkt CompressedDataPayload
a
    fromPktEither :: Pkt -> Either PacketCoercionError SymEncData
fromPktEither (SymEncDataPkt CompressedDataPayload
a) = SymEncData -> Either PacketCoercionError SymEncData
forall a b. b -> Either a b
Right (CompressedDataPayload -> SymEncData
SymEncData CompressedDataPayload
a)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError SymEncData
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"SymEncData" Pkt
pkt

instance Pretty SymEncData where
    pretty :: forall ann. SymEncData -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann) -> (SymEncData -> Pkt) -> SymEncData -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SymEncData -> Pkt
forall a. Packet a => a -> Pkt
toPkt

newtype Marker
    = Marker
    { Marker -> ByteString
_markerPayload :: B.ByteString
    }
    deriving (Typeable Marker
Typeable Marker =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> Marker -> c Marker)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c Marker)
-> (Marker -> Constr)
-> (Marker -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c Marker))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Marker))
-> ((forall b. Data b => b -> b) -> Marker -> Marker)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> Marker -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> Marker -> r)
-> (forall u. (forall d. Data d => d -> u) -> Marker -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> Marker -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> Marker -> m Marker)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Marker -> m Marker)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Marker -> m Marker)
-> Data Marker
Marker -> Constr
Marker -> DataType
(forall b. Data b => b -> b) -> Marker -> Marker
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> Marker -> u
forall u. (forall d. Data d => d -> u) -> Marker -> [u]
forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Marker -> r
forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Marker -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> Marker -> m Marker
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Marker -> m Marker
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c Marker
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> Marker -> c Marker
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c Marker)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Marker)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> Marker -> c Marker
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> Marker -> c Marker
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c Marker
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c Marker
$ctoConstr :: Marker -> Constr
toConstr :: Marker -> Constr
$cdataTypeOf :: Marker -> DataType
dataTypeOf :: Marker -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c Marker)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c Marker)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Marker)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Marker)
$cgmapT :: (forall b. Data b => b -> b) -> Marker -> Marker
gmapT :: (forall b. Data b => b -> b) -> Marker -> Marker
$cgmapQl :: forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Marker -> r
gmapQl :: forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Marker -> r
$cgmapQr :: forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Marker -> r
gmapQr :: forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Marker -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> Marker -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> Marker -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Marker -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Marker -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> Marker -> m Marker
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> Marker -> m Marker
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Marker -> m Marker
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Marker -> m Marker
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Marker -> m Marker
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Marker -> m Marker
Data, Marker -> Marker -> Bool
(Marker -> Marker -> Bool)
-> (Marker -> Marker -> Bool) -> Eq Marker
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Marker -> Marker -> Bool
== :: Marker -> Marker -> Bool
$c/= :: Marker -> Marker -> Bool
/= :: Marker -> Marker -> Bool
Eq, Int -> Marker -> String -> String
[Marker] -> String -> String
Marker -> String
(Int -> Marker -> String -> String)
-> (Marker -> String)
-> ([Marker] -> String -> String)
-> Show Marker
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> Marker -> String -> String
showsPrec :: Int -> Marker -> String -> String
$cshow :: Marker -> String
show :: Marker -> String
$cshowList :: [Marker] -> String -> String
showList :: [Marker] -> String -> String
Show, Typeable)

instance Packet Marker where
    data PacketType Marker = MarkerType
        deriving (PacketType Marker -> PacketType Marker -> Bool
(PacketType Marker -> PacketType Marker -> Bool)
-> (PacketType Marker -> PacketType Marker -> Bool)
-> Eq (PacketType Marker)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType Marker -> PacketType Marker -> Bool
== :: PacketType Marker -> PacketType Marker -> Bool
$c/= :: PacketType Marker -> PacketType Marker -> Bool
/= :: PacketType Marker -> PacketType Marker -> Bool
Eq, Int -> PacketType Marker -> String -> String
[PacketType Marker] -> String -> String
PacketType Marker -> String
(Int -> PacketType Marker -> String -> String)
-> (PacketType Marker -> String)
-> ([PacketType Marker] -> String -> String)
-> Show (PacketType Marker)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType Marker -> String -> String
showsPrec :: Int -> PacketType Marker -> String -> String
$cshow :: PacketType Marker -> String
show :: PacketType Marker -> String
$cshowList :: [PacketType Marker] -> String -> String
showList :: [PacketType Marker] -> String -> String
Show)
    packetType :: Marker -> PacketType Marker
packetType Marker
_ = PacketType Marker
MarkerType
    packetCode :: PacketType Marker -> PacketVersion
packetCode PacketType Marker
_ = PacketVersion
10
    toPkt :: Marker -> Pkt
toPkt (Marker ByteString
a) = ByteString -> Pkt
MarkerPkt ByteString
a
    fromPktEither :: Pkt -> Either PacketCoercionError Marker
fromPktEither (MarkerPkt ByteString
a) = Marker -> Either PacketCoercionError Marker
forall a b. b -> Either a b
Right (ByteString -> Marker
Marker ByteString
a)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError Marker
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"Marker" Pkt
pkt

instance Pretty Marker where
    pretty :: forall ann. Marker -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann) -> (Marker -> Pkt) -> Marker -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Marker -> Pkt
forall a. Packet a => a -> Pkt
toPkt

data LiteralData
    = LiteralData
    { LiteralData -> LiteralDataType
_literalDataDataType :: LiteralDataType
    , LiteralData -> FileName
_literalDataFileName :: FileName
    , LiteralData -> ThirtyTwoBitTimeStamp
_literalDataTimeStamp :: ThirtyTwoBitTimeStamp
    , LiteralData -> CompressedDataPayload
_literalDataPayload :: ByteString
    }
    deriving (Typeable LiteralData
Typeable LiteralData =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> LiteralData -> c LiteralData)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c LiteralData)
-> (LiteralData -> Constr)
-> (LiteralData -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c LiteralData))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c LiteralData))
-> ((forall b. Data b => b -> b) -> LiteralData -> LiteralData)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> LiteralData -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> LiteralData -> r)
-> (forall u. (forall d. Data d => d -> u) -> LiteralData -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> LiteralData -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> LiteralData -> m LiteralData)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> LiteralData -> m LiteralData)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> LiteralData -> m LiteralData)
-> Data LiteralData
LiteralData -> Constr
LiteralData -> DataType
(forall b. Data b => b -> b) -> LiteralData -> LiteralData
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> LiteralData -> u
forall u. (forall d. Data d => d -> u) -> LiteralData -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> LiteralData -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> LiteralData -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> LiteralData -> m LiteralData
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> LiteralData -> m LiteralData
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c LiteralData
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> LiteralData -> c LiteralData
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c LiteralData)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c LiteralData)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> LiteralData -> c LiteralData
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> LiteralData -> c LiteralData
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c LiteralData
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c LiteralData
$ctoConstr :: LiteralData -> Constr
toConstr :: LiteralData -> Constr
$cdataTypeOf :: LiteralData -> DataType
dataTypeOf :: LiteralData -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c LiteralData)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c LiteralData)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c LiteralData)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c LiteralData)
$cgmapT :: (forall b. Data b => b -> b) -> LiteralData -> LiteralData
gmapT :: (forall b. Data b => b -> b) -> LiteralData -> LiteralData
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> LiteralData -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> LiteralData -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> LiteralData -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> LiteralData -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> LiteralData -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> LiteralData -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> LiteralData -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> LiteralData -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> LiteralData -> m LiteralData
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> LiteralData -> m LiteralData
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> LiteralData -> m LiteralData
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> LiteralData -> m LiteralData
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> LiteralData -> m LiteralData
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> LiteralData -> m LiteralData
Data, LiteralData -> LiteralData -> Bool
(LiteralData -> LiteralData -> Bool)
-> (LiteralData -> LiteralData -> Bool) -> Eq LiteralData
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: LiteralData -> LiteralData -> Bool
== :: LiteralData -> LiteralData -> Bool
$c/= :: LiteralData -> LiteralData -> Bool
/= :: LiteralData -> LiteralData -> Bool
Eq, Int -> LiteralData -> String -> String
[LiteralData] -> String -> String
LiteralData -> String
(Int -> LiteralData -> String -> String)
-> (LiteralData -> String)
-> ([LiteralData] -> String -> String)
-> Show LiteralData
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> LiteralData -> String -> String
showsPrec :: Int -> LiteralData -> String -> String
$cshow :: LiteralData -> String
show :: LiteralData -> String
$cshowList :: [LiteralData] -> String -> String
showList :: [LiteralData] -> String -> String
Show, Typeable)

instance Packet LiteralData where
    data PacketType LiteralData = LiteralDataType
        deriving (PacketType LiteralData -> PacketType LiteralData -> Bool
(PacketType LiteralData -> PacketType LiteralData -> Bool)
-> (PacketType LiteralData -> PacketType LiteralData -> Bool)
-> Eq (PacketType LiteralData)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType LiteralData -> PacketType LiteralData -> Bool
== :: PacketType LiteralData -> PacketType LiteralData -> Bool
$c/= :: PacketType LiteralData -> PacketType LiteralData -> Bool
/= :: PacketType LiteralData -> PacketType LiteralData -> Bool
Eq, Int -> PacketType LiteralData -> String -> String
[PacketType LiteralData] -> String -> String
PacketType LiteralData -> String
(Int -> PacketType LiteralData -> String -> String)
-> (PacketType LiteralData -> String)
-> ([PacketType LiteralData] -> String -> String)
-> Show (PacketType LiteralData)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType LiteralData -> String -> String
showsPrec :: Int -> PacketType LiteralData -> String -> String
$cshow :: PacketType LiteralData -> String
show :: PacketType LiteralData -> String
$cshowList :: [PacketType LiteralData] -> String -> String
showList :: [PacketType LiteralData] -> String -> String
Show)
    packetType :: LiteralData -> PacketType LiteralData
packetType LiteralData
_ = PacketType LiteralData
LiteralDataType
    packetCode :: PacketType LiteralData -> PacketVersion
packetCode PacketType LiteralData
_ = PacketVersion
11
    toPkt :: LiteralData -> Pkt
toPkt (LiteralData LiteralDataType
a FileName
b ThirtyTwoBitTimeStamp
c CompressedDataPayload
d) = LiteralDataType
-> FileName
-> ThirtyTwoBitTimeStamp
-> CompressedDataPayload
-> Pkt
LiteralDataPkt LiteralDataType
a FileName
b ThirtyTwoBitTimeStamp
c CompressedDataPayload
d
    fromPktEither :: Pkt -> Either PacketCoercionError LiteralData
fromPktEither (LiteralDataPkt LiteralDataType
a FileName
b ThirtyTwoBitTimeStamp
c CompressedDataPayload
d) = LiteralData -> Either PacketCoercionError LiteralData
forall a b. b -> Either a b
Right (LiteralDataType
-> FileName
-> ThirtyTwoBitTimeStamp
-> CompressedDataPayload
-> LiteralData
LiteralData LiteralDataType
a FileName
b ThirtyTwoBitTimeStamp
c CompressedDataPayload
d)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError LiteralData
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"LiteralData" Pkt
pkt

instance Pretty LiteralData where
    pretty :: forall ann. LiteralData -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann) -> (LiteralData -> Pkt) -> LiteralData -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. LiteralData -> Pkt
forall a. Packet a => a -> Pkt
toPkt

newtype Trust
    = Trust
    { Trust -> CompressedDataPayload
_trustPayload :: ByteString
    }
    deriving (Typeable Trust
Typeable Trust =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> Trust -> c Trust)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c Trust)
-> (Trust -> Constr)
-> (Trust -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c Trust))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Trust))
-> ((forall b. Data b => b -> b) -> Trust -> Trust)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Trust -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Trust -> r)
-> (forall u. (forall d. Data d => d -> u) -> Trust -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> Trust -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> Trust -> m Trust)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Trust -> m Trust)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Trust -> m Trust)
-> Data Trust
Trust -> Constr
Trust -> DataType
(forall b. Data b => b -> b) -> Trust -> Trust
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> Trust -> u
forall u. (forall d. Data d => d -> u) -> Trust -> [u]
forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Trust -> r
forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Trust -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> Trust -> m Trust
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Trust -> m Trust
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c Trust
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> Trust -> c Trust
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c Trust)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Trust)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> Trust -> c Trust
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> Trust -> c Trust
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c Trust
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c Trust
$ctoConstr :: Trust -> Constr
toConstr :: Trust -> Constr
$cdataTypeOf :: Trust -> DataType
dataTypeOf :: Trust -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c Trust)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c Trust)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Trust)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Trust)
$cgmapT :: (forall b. Data b => b -> b) -> Trust -> Trust
gmapT :: (forall b. Data b => b -> b) -> Trust -> Trust
$cgmapQl :: forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Trust -> r
gmapQl :: forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Trust -> r
$cgmapQr :: forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Trust -> r
gmapQr :: forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Trust -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> Trust -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> Trust -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Trust -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Trust -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> Trust -> m Trust
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> Trust -> m Trust
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Trust -> m Trust
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Trust -> m Trust
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Trust -> m Trust
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Trust -> m Trust
Data, Trust -> Trust -> Bool
(Trust -> Trust -> Bool) -> (Trust -> Trust -> Bool) -> Eq Trust
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Trust -> Trust -> Bool
== :: Trust -> Trust -> Bool
$c/= :: Trust -> Trust -> Bool
/= :: Trust -> Trust -> Bool
Eq, Int -> Trust -> String -> String
[Trust] -> String -> String
Trust -> String
(Int -> Trust -> String -> String)
-> (Trust -> String) -> ([Trust] -> String -> String) -> Show Trust
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> Trust -> String -> String
showsPrec :: Int -> Trust -> String -> String
$cshow :: Trust -> String
show :: Trust -> String
$cshowList :: [Trust] -> String -> String
showList :: [Trust] -> String -> String
Show, Typeable)

instance Packet Trust where
    data PacketType Trust = TrustType
        deriving (PacketType Trust -> PacketType Trust -> Bool
(PacketType Trust -> PacketType Trust -> Bool)
-> (PacketType Trust -> PacketType Trust -> Bool)
-> Eq (PacketType Trust)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType Trust -> PacketType Trust -> Bool
== :: PacketType Trust -> PacketType Trust -> Bool
$c/= :: PacketType Trust -> PacketType Trust -> Bool
/= :: PacketType Trust -> PacketType Trust -> Bool
Eq, Int -> PacketType Trust -> String -> String
[PacketType Trust] -> String -> String
PacketType Trust -> String
(Int -> PacketType Trust -> String -> String)
-> (PacketType Trust -> String)
-> ([PacketType Trust] -> String -> String)
-> Show (PacketType Trust)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType Trust -> String -> String
showsPrec :: Int -> PacketType Trust -> String -> String
$cshow :: PacketType Trust -> String
show :: PacketType Trust -> String
$cshowList :: [PacketType Trust] -> String -> String
showList :: [PacketType Trust] -> String -> String
Show)
    packetType :: Trust -> PacketType Trust
packetType Trust
_ = PacketType Trust
TrustType
    packetCode :: PacketType Trust -> PacketVersion
packetCode PacketType Trust
_ = PacketVersion
12
    toPkt :: Trust -> Pkt
toPkt (Trust CompressedDataPayload
a) = CompressedDataPayload -> Pkt
TrustPkt CompressedDataPayload
a
    fromPktEither :: Pkt -> Either PacketCoercionError Trust
fromPktEither (TrustPkt CompressedDataPayload
a) = Trust -> Either PacketCoercionError Trust
forall a b. b -> Either a b
Right (CompressedDataPayload -> Trust
Trust CompressedDataPayload
a)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError Trust
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"Trust" Pkt
pkt

instance Pretty Trust where
    pretty :: forall ann. Trust -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann) -> (Trust -> Pkt) -> Trust -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Trust -> Pkt
forall a. Packet a => a -> Pkt
toPkt

newtype UserId
    = UserId
    { UserId -> Text
_userIdPayload :: Text
    }
    deriving (Typeable UserId
Typeable UserId =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> UserId -> c UserId)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c UserId)
-> (UserId -> Constr)
-> (UserId -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c UserId))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UserId))
-> ((forall b. Data b => b -> b) -> UserId -> UserId)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> UserId -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> UserId -> r)
-> (forall u. (forall d. Data d => d -> u) -> UserId -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> UserId -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> UserId -> m UserId)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> UserId -> m UserId)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> UserId -> m UserId)
-> Data UserId
UserId -> Constr
UserId -> DataType
(forall b. Data b => b -> b) -> UserId -> UserId
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> UserId -> u
forall u. (forall d. Data d => d -> u) -> UserId -> [u]
forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UserId -> r
forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UserId -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> UserId -> m UserId
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UserId -> m UserId
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UserId
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UserId -> c UserId
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c UserId)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UserId)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UserId -> c UserId
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UserId -> c UserId
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UserId
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UserId
$ctoConstr :: UserId -> Constr
toConstr :: UserId -> Constr
$cdataTypeOf :: UserId -> DataType
dataTypeOf :: UserId -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c UserId)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c UserId)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UserId)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UserId)
$cgmapT :: (forall b. Data b => b -> b) -> UserId -> UserId
gmapT :: (forall b. Data b => b -> b) -> UserId -> UserId
$cgmapQl :: forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UserId -> r
gmapQl :: forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UserId -> r
$cgmapQr :: forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UserId -> r
gmapQr :: forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UserId -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> UserId -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> UserId -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> UserId -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> UserId -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> UserId -> m UserId
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> UserId -> m UserId
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UserId -> m UserId
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UserId -> m UserId
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UserId -> m UserId
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UserId -> m UserId
Data, UserId -> UserId -> Bool
(UserId -> UserId -> Bool)
-> (UserId -> UserId -> Bool) -> Eq UserId
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: UserId -> UserId -> Bool
== :: UserId -> UserId -> Bool
$c/= :: UserId -> UserId -> Bool
/= :: UserId -> UserId -> Bool
Eq, Int -> UserId -> String -> String
[UserId] -> String -> String
UserId -> String
(Int -> UserId -> String -> String)
-> (UserId -> String)
-> ([UserId] -> String -> String)
-> Show UserId
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> UserId -> String -> String
showsPrec :: Int -> UserId -> String -> String
$cshow :: UserId -> String
show :: UserId -> String
$cshowList :: [UserId] -> String -> String
showList :: [UserId] -> String -> String
Show, Typeable)

instance Packet UserId where
    data PacketType UserId = UserIdType
        deriving (PacketType UserId -> PacketType UserId -> Bool
(PacketType UserId -> PacketType UserId -> Bool)
-> (PacketType UserId -> PacketType UserId -> Bool)
-> Eq (PacketType UserId)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType UserId -> PacketType UserId -> Bool
== :: PacketType UserId -> PacketType UserId -> Bool
$c/= :: PacketType UserId -> PacketType UserId -> Bool
/= :: PacketType UserId -> PacketType UserId -> Bool
Eq, Int -> PacketType UserId -> String -> String
[PacketType UserId] -> String -> String
PacketType UserId -> String
(Int -> PacketType UserId -> String -> String)
-> (PacketType UserId -> String)
-> ([PacketType UserId] -> String -> String)
-> Show (PacketType UserId)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType UserId -> String -> String
showsPrec :: Int -> PacketType UserId -> String -> String
$cshow :: PacketType UserId -> String
show :: PacketType UserId -> String
$cshowList :: [PacketType UserId] -> String -> String
showList :: [PacketType UserId] -> String -> String
Show)
    packetType :: UserId -> PacketType UserId
packetType UserId
_ = PacketType UserId
UserIdType
    packetCode :: PacketType UserId -> PacketVersion
packetCode PacketType UserId
_ = PacketVersion
13
    toPkt :: UserId -> Pkt
toPkt (UserId Text
a) = Text -> Pkt
UserIdPkt Text
a
    fromPktEither :: Pkt -> Either PacketCoercionError UserId
fromPktEither (UserIdPkt Text
a) = UserId -> Either PacketCoercionError UserId
forall a b. b -> Either a b
Right (Text -> UserId
UserId Text
a)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError UserId
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"UserId" Pkt
pkt

instance Pretty UserId where
    pretty :: forall ann. UserId -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann) -> (UserId -> Pkt) -> UserId -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. UserId -> Pkt
forall a. Packet a => a -> Pkt
toPkt

newtype PublicSubkey
    = PublicSubkey
    { PublicSubkey -> SomePKPayload
_publicSubkeyPKPayload :: SomePKPayload
    }
    deriving (Typeable PublicSubkey
Typeable PublicSubkey =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> PublicSubkey -> c PublicSubkey)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c PublicSubkey)
-> (PublicSubkey -> Constr)
-> (PublicSubkey -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c PublicSubkey))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c PublicSubkey))
-> ((forall b. Data b => b -> b) -> PublicSubkey -> PublicSubkey)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> PublicSubkey -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> PublicSubkey -> r)
-> (forall u. (forall d. Data d => d -> u) -> PublicSubkey -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> PublicSubkey -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey)
-> Data PublicSubkey
PublicSubkey -> Constr
PublicSubkey -> DataType
(forall b. Data b => b -> b) -> PublicSubkey -> PublicSubkey
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> PublicSubkey -> u
forall u. (forall d. Data d => d -> u) -> PublicSubkey -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> PublicSubkey -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> PublicSubkey -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c PublicSubkey
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> PublicSubkey -> c PublicSubkey
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c PublicSubkey)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c PublicSubkey)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> PublicSubkey -> c PublicSubkey
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> PublicSubkey -> c PublicSubkey
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c PublicSubkey
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c PublicSubkey
$ctoConstr :: PublicSubkey -> Constr
toConstr :: PublicSubkey -> Constr
$cdataTypeOf :: PublicSubkey -> DataType
dataTypeOf :: PublicSubkey -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c PublicSubkey)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c PublicSubkey)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c PublicSubkey)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c PublicSubkey)
$cgmapT :: (forall b. Data b => b -> b) -> PublicSubkey -> PublicSubkey
gmapT :: (forall b. Data b => b -> b) -> PublicSubkey -> PublicSubkey
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> PublicSubkey -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> PublicSubkey -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> PublicSubkey -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> PublicSubkey -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> PublicSubkey -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> PublicSubkey -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> PublicSubkey -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> PublicSubkey -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey
Data, PublicSubkey -> PublicSubkey -> Bool
(PublicSubkey -> PublicSubkey -> Bool)
-> (PublicSubkey -> PublicSubkey -> Bool) -> Eq PublicSubkey
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PublicSubkey -> PublicSubkey -> Bool
== :: PublicSubkey -> PublicSubkey -> Bool
$c/= :: PublicSubkey -> PublicSubkey -> Bool
/= :: PublicSubkey -> PublicSubkey -> Bool
Eq, Int -> PublicSubkey -> String -> String
[PublicSubkey] -> String -> String
PublicSubkey -> String
(Int -> PublicSubkey -> String -> String)
-> (PublicSubkey -> String)
-> ([PublicSubkey] -> String -> String)
-> Show PublicSubkey
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PublicSubkey -> String -> String
showsPrec :: Int -> PublicSubkey -> String -> String
$cshow :: PublicSubkey -> String
show :: PublicSubkey -> String
$cshowList :: [PublicSubkey] -> String -> String
showList :: [PublicSubkey] -> String -> String
Show, Typeable)

instance Packet PublicSubkey where
    data PacketType PublicSubkey = PublicSubkeyType
        deriving (PacketType PublicSubkey -> PacketType PublicSubkey -> Bool
(PacketType PublicSubkey -> PacketType PublicSubkey -> Bool)
-> (PacketType PublicSubkey -> PacketType PublicSubkey -> Bool)
-> Eq (PacketType PublicSubkey)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType PublicSubkey -> PacketType PublicSubkey -> Bool
== :: PacketType PublicSubkey -> PacketType PublicSubkey -> Bool
$c/= :: PacketType PublicSubkey -> PacketType PublicSubkey -> Bool
/= :: PacketType PublicSubkey -> PacketType PublicSubkey -> Bool
Eq, Int -> PacketType PublicSubkey -> String -> String
[PacketType PublicSubkey] -> String -> String
PacketType PublicSubkey -> String
(Int -> PacketType PublicSubkey -> String -> String)
-> (PacketType PublicSubkey -> String)
-> ([PacketType PublicSubkey] -> String -> String)
-> Show (PacketType PublicSubkey)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType PublicSubkey -> String -> String
showsPrec :: Int -> PacketType PublicSubkey -> String -> String
$cshow :: PacketType PublicSubkey -> String
show :: PacketType PublicSubkey -> String
$cshowList :: [PacketType PublicSubkey] -> String -> String
showList :: [PacketType PublicSubkey] -> String -> String
Show)
    packetType :: PublicSubkey -> PacketType PublicSubkey
packetType PublicSubkey
_ = PacketType PublicSubkey
PublicSubkeyType
    packetCode :: PacketType PublicSubkey -> PacketVersion
packetCode PacketType PublicSubkey
_ = PacketVersion
14
    toPkt :: PublicSubkey -> Pkt
toPkt (PublicSubkey SomePKPayload
a) = SomePKPayload -> Pkt
PublicSubkeyPkt SomePKPayload
a
    fromPktEither :: Pkt -> Either PacketCoercionError PublicSubkey
fromPktEither (PublicSubkeyPkt SomePKPayload
a) = PublicSubkey -> Either PacketCoercionError PublicSubkey
forall a b. b -> Either a b
Right (SomePKPayload -> PublicSubkey
PublicSubkey SomePKPayload
a)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError PublicSubkey
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"PublicSubkey" Pkt
pkt

instance Pretty PublicSubkey where
    pretty :: forall ann. PublicSubkey -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (PublicSubkey -> Pkt) -> PublicSubkey -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. PublicSubkey -> Pkt
forall a. Packet a => a -> Pkt
toPkt

newtype UserAttribute
    = UserAttribute
    { UserAttribute -> [UserAttrSubPacket]
_userAttributeSubPackets :: [UserAttrSubPacket]
    }
    deriving (Typeable UserAttribute
Typeable UserAttribute =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> UserAttribute -> c UserAttribute)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c UserAttribute)
-> (UserAttribute -> Constr)
-> (UserAttribute -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c UserAttribute))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c UserAttribute))
-> ((forall b. Data b => b -> b) -> UserAttribute -> UserAttribute)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> UserAttribute -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> UserAttribute -> r)
-> (forall u. (forall d. Data d => d -> u) -> UserAttribute -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> UserAttribute -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute)
-> Data UserAttribute
UserAttribute -> Constr
UserAttribute -> DataType
(forall b. Data b => b -> b) -> UserAttribute -> UserAttribute
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> UserAttribute -> u
forall u. (forall d. Data d => d -> u) -> UserAttribute -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> UserAttribute -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> UserAttribute -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UserAttribute
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UserAttribute -> c UserAttribute
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c UserAttribute)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c UserAttribute)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UserAttribute -> c UserAttribute
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UserAttribute -> c UserAttribute
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UserAttribute
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UserAttribute
$ctoConstr :: UserAttribute -> Constr
toConstr :: UserAttribute -> Constr
$cdataTypeOf :: UserAttribute -> DataType
dataTypeOf :: UserAttribute -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c UserAttribute)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c UserAttribute)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c UserAttribute)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c UserAttribute)
$cgmapT :: (forall b. Data b => b -> b) -> UserAttribute -> UserAttribute
gmapT :: (forall b. Data b => b -> b) -> UserAttribute -> UserAttribute
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> UserAttribute -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> UserAttribute -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> UserAttribute -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> UserAttribute -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> UserAttribute -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> UserAttribute -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> UserAttribute -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> UserAttribute -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute
Data, UserAttribute -> UserAttribute -> Bool
(UserAttribute -> UserAttribute -> Bool)
-> (UserAttribute -> UserAttribute -> Bool) -> Eq UserAttribute
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: UserAttribute -> UserAttribute -> Bool
== :: UserAttribute -> UserAttribute -> Bool
$c/= :: UserAttribute -> UserAttribute -> Bool
/= :: UserAttribute -> UserAttribute -> Bool
Eq, Int -> UserAttribute -> String -> String
[UserAttribute] -> String -> String
UserAttribute -> String
(Int -> UserAttribute -> String -> String)
-> (UserAttribute -> String)
-> ([UserAttribute] -> String -> String)
-> Show UserAttribute
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> UserAttribute -> String -> String
showsPrec :: Int -> UserAttribute -> String -> String
$cshow :: UserAttribute -> String
show :: UserAttribute -> String
$cshowList :: [UserAttribute] -> String -> String
showList :: [UserAttribute] -> String -> String
Show, Typeable)

instance Packet UserAttribute where
    data PacketType UserAttribute = UserAttributeType
        deriving (PacketType UserAttribute -> PacketType UserAttribute -> Bool
(PacketType UserAttribute -> PacketType UserAttribute -> Bool)
-> (PacketType UserAttribute -> PacketType UserAttribute -> Bool)
-> Eq (PacketType UserAttribute)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType UserAttribute -> PacketType UserAttribute -> Bool
== :: PacketType UserAttribute -> PacketType UserAttribute -> Bool
$c/= :: PacketType UserAttribute -> PacketType UserAttribute -> Bool
/= :: PacketType UserAttribute -> PacketType UserAttribute -> Bool
Eq, Int -> PacketType UserAttribute -> String -> String
[PacketType UserAttribute] -> String -> String
PacketType UserAttribute -> String
(Int -> PacketType UserAttribute -> String -> String)
-> (PacketType UserAttribute -> String)
-> ([PacketType UserAttribute] -> String -> String)
-> Show (PacketType UserAttribute)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType UserAttribute -> String -> String
showsPrec :: Int -> PacketType UserAttribute -> String -> String
$cshow :: PacketType UserAttribute -> String
show :: PacketType UserAttribute -> String
$cshowList :: [PacketType UserAttribute] -> String -> String
showList :: [PacketType UserAttribute] -> String -> String
Show)
    packetType :: UserAttribute -> PacketType UserAttribute
packetType UserAttribute
_ = PacketType UserAttribute
UserAttributeType
    packetCode :: PacketType UserAttribute -> PacketVersion
packetCode PacketType UserAttribute
_ = PacketVersion
17
    toPkt :: UserAttribute -> Pkt
toPkt (UserAttribute [UserAttrSubPacket]
a) = [UserAttrSubPacket] -> Pkt
UserAttributePkt [UserAttrSubPacket]
a
    fromPktEither :: Pkt -> Either PacketCoercionError UserAttribute
fromPktEither (UserAttributePkt [UserAttrSubPacket]
a) = UserAttribute -> Either PacketCoercionError UserAttribute
forall a b. b -> Either a b
Right ([UserAttrSubPacket] -> UserAttribute
UserAttribute [UserAttrSubPacket]
a)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError UserAttribute
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"UserAttribute" Pkt
pkt

instance Pretty UserAttribute where
    pretty :: forall ann. UserAttribute -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (UserAttribute -> Pkt) -> UserAttribute -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. UserAttribute -> Pkt
forall a. Packet a => a -> Pkt
toPkt

data SymEncIntegrityProtectedData
    = SymEncIntegrityProtectedData
        { SymEncIntegrityProtectedData -> PacketVersion
_symEncIntegrityProtectedDataPacketVersion :: PacketVersion
        , SymEncIntegrityProtectedData -> CompressedDataPayload
_symEncIntegrityProtectedDataPayload :: ByteString
        }
    | SymEncIntegrityProtectedDataV2
        SymmetricAlgorithm
        AEADAlgorithm
        Word8
        Salt
        ByteString
    deriving (Typeable SymEncIntegrityProtectedData
Typeable SymEncIntegrityProtectedData =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g)
 -> SymEncIntegrityProtectedData
 -> c SymEncIntegrityProtectedData)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r)
    -> Constr
    -> c SymEncIntegrityProtectedData)
-> (SymEncIntegrityProtectedData -> Constr)
-> (SymEncIntegrityProtectedData -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d))
    -> Maybe (c SymEncIntegrityProtectedData))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c SymEncIntegrityProtectedData))
-> ((forall b. Data b => b -> b)
    -> SymEncIntegrityProtectedData -> SymEncIntegrityProtectedData)
-> (forall r r'.
    (r -> r' -> r)
    -> r
    -> (forall d. Data d => d -> r')
    -> SymEncIntegrityProtectedData
    -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r
    -> (forall d. Data d => d -> r')
    -> SymEncIntegrityProtectedData
    -> r)
-> (forall u.
    (forall d. Data d => d -> u)
    -> SymEncIntegrityProtectedData -> [u])
-> (forall u.
    Int
    -> (forall d. Data d => d -> u)
    -> SymEncIntegrityProtectedData
    -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData)
-> Data SymEncIntegrityProtectedData
SymEncIntegrityProtectedData -> Constr
SymEncIntegrityProtectedData -> DataType
(forall b. Data b => b -> b)
-> SymEncIntegrityProtectedData -> SymEncIntegrityProtectedData
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u.
Int
-> (forall d. Data d => d -> u)
-> SymEncIntegrityProtectedData
-> u
forall u.
(forall d. Data d => d -> u) -> SymEncIntegrityProtectedData -> [u]
forall r r'.
(r -> r' -> r)
-> r
-> (forall d. Data d => d -> r')
-> SymEncIntegrityProtectedData
-> r
forall r r'.
(r' -> r -> r)
-> r
-> (forall d. Data d => d -> r')
-> SymEncIntegrityProtectedData
-> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c SymEncIntegrityProtectedData
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> SymEncIntegrityProtectedData
-> c SymEncIntegrityProtectedData
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d))
-> Maybe (c SymEncIntegrityProtectedData)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c SymEncIntegrityProtectedData)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> SymEncIntegrityProtectedData
-> c SymEncIntegrityProtectedData
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> SymEncIntegrityProtectedData
-> c SymEncIntegrityProtectedData
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c SymEncIntegrityProtectedData
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c SymEncIntegrityProtectedData
$ctoConstr :: SymEncIntegrityProtectedData -> Constr
toConstr :: SymEncIntegrityProtectedData -> Constr
$cdataTypeOf :: SymEncIntegrityProtectedData -> DataType
dataTypeOf :: SymEncIntegrityProtectedData -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d))
-> Maybe (c SymEncIntegrityProtectedData)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d))
-> Maybe (c SymEncIntegrityProtectedData)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c SymEncIntegrityProtectedData)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c SymEncIntegrityProtectedData)
$cgmapT :: (forall b. Data b => b -> b)
-> SymEncIntegrityProtectedData -> SymEncIntegrityProtectedData
gmapT :: (forall b. Data b => b -> b)
-> SymEncIntegrityProtectedData -> SymEncIntegrityProtectedData
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r
-> (forall d. Data d => d -> r')
-> SymEncIntegrityProtectedData
-> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r
-> (forall d. Data d => d -> r')
-> SymEncIntegrityProtectedData
-> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r
-> (forall d. Data d => d -> r')
-> SymEncIntegrityProtectedData
-> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r
-> (forall d. Data d => d -> r')
-> SymEncIntegrityProtectedData
-> r
$cgmapQ :: forall u.
(forall d. Data d => d -> u) -> SymEncIntegrityProtectedData -> [u]
gmapQ :: forall u.
(forall d. Data d => d -> u) -> SymEncIntegrityProtectedData -> [u]
$cgmapQi :: forall u.
Int
-> (forall d. Data d => d -> u)
-> SymEncIntegrityProtectedData
-> u
gmapQi :: forall u.
Int
-> (forall d. Data d => d -> u)
-> SymEncIntegrityProtectedData
-> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData
Data, SymEncIntegrityProtectedData
-> SymEncIntegrityProtectedData -> Bool
(SymEncIntegrityProtectedData
 -> SymEncIntegrityProtectedData -> Bool)
-> (SymEncIntegrityProtectedData
    -> SymEncIntegrityProtectedData -> Bool)
-> Eq SymEncIntegrityProtectedData
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SymEncIntegrityProtectedData
-> SymEncIntegrityProtectedData -> Bool
== :: SymEncIntegrityProtectedData
-> SymEncIntegrityProtectedData -> Bool
$c/= :: SymEncIntegrityProtectedData
-> SymEncIntegrityProtectedData -> Bool
/= :: SymEncIntegrityProtectedData
-> SymEncIntegrityProtectedData -> Bool
Eq, Int -> SymEncIntegrityProtectedData -> String -> String
[SymEncIntegrityProtectedData] -> String -> String
SymEncIntegrityProtectedData -> String
(Int -> SymEncIntegrityProtectedData -> String -> String)
-> (SymEncIntegrityProtectedData -> String)
-> ([SymEncIntegrityProtectedData] -> String -> String)
-> Show SymEncIntegrityProtectedData
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> SymEncIntegrityProtectedData -> String -> String
showsPrec :: Int -> SymEncIntegrityProtectedData -> String -> String
$cshow :: SymEncIntegrityProtectedData -> String
show :: SymEncIntegrityProtectedData -> String
$cshowList :: [SymEncIntegrityProtectedData] -> String -> String
showList :: [SymEncIntegrityProtectedData] -> String -> String
Show, Typeable)

instance Packet SymEncIntegrityProtectedData where
    data
        PacketType
            SymEncIntegrityProtectedData
        = SymEncIntegrityProtectedDataType
        deriving (PacketType SymEncIntegrityProtectedData
-> PacketType SymEncIntegrityProtectedData -> Bool
(PacketType SymEncIntegrityProtectedData
 -> PacketType SymEncIntegrityProtectedData -> Bool)
-> (PacketType SymEncIntegrityProtectedData
    -> PacketType SymEncIntegrityProtectedData -> Bool)
-> Eq (PacketType SymEncIntegrityProtectedData)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType SymEncIntegrityProtectedData
-> PacketType SymEncIntegrityProtectedData -> Bool
== :: PacketType SymEncIntegrityProtectedData
-> PacketType SymEncIntegrityProtectedData -> Bool
$c/= :: PacketType SymEncIntegrityProtectedData
-> PacketType SymEncIntegrityProtectedData -> Bool
/= :: PacketType SymEncIntegrityProtectedData
-> PacketType SymEncIntegrityProtectedData -> Bool
Eq, Int -> PacketType SymEncIntegrityProtectedData -> String -> String
[PacketType SymEncIntegrityProtectedData] -> String -> String
PacketType SymEncIntegrityProtectedData -> String
(Int
 -> PacketType SymEncIntegrityProtectedData -> String -> String)
-> (PacketType SymEncIntegrityProtectedData -> String)
-> ([PacketType SymEncIntegrityProtectedData] -> String -> String)
-> Show (PacketType SymEncIntegrityProtectedData)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType SymEncIntegrityProtectedData -> String -> String
showsPrec :: Int -> PacketType SymEncIntegrityProtectedData -> String -> String
$cshow :: PacketType SymEncIntegrityProtectedData -> String
show :: PacketType SymEncIntegrityProtectedData -> String
$cshowList :: [PacketType SymEncIntegrityProtectedData] -> String -> String
showList :: [PacketType SymEncIntegrityProtectedData] -> String -> String
Show)
    packetType :: SymEncIntegrityProtectedData
-> PacketType SymEncIntegrityProtectedData
packetType SymEncIntegrityProtectedData
_ = PacketType SymEncIntegrityProtectedData
SymEncIntegrityProtectedDataType
    packetCode :: PacketType SymEncIntegrityProtectedData -> PacketVersion
packetCode PacketType SymEncIntegrityProtectedData
_ = PacketVersion
18
    toPkt :: SymEncIntegrityProtectedData -> Pkt
toPkt (SymEncIntegrityProtectedData PacketVersion
a CompressedDataPayload
b) = SEIPDPayload -> Pkt
SymEncIntegrityProtectedDataPkt (PacketVersion -> CompressedDataPayload -> SEIPDPayload
SEIPD1 PacketVersion
a CompressedDataPayload
b)
    toPkt (SymEncIntegrityProtectedDataV2 SymmetricAlgorithm
a AEADAlgorithm
b PacketVersion
c Salt
d CompressedDataPayload
e) =
        SEIPDPayload -> Pkt
SymEncIntegrityProtectedDataPkt (SymmetricAlgorithm
-> AEADAlgorithm
-> PacketVersion
-> Salt
-> CompressedDataPayload
-> SEIPDPayload
SEIPD2 SymmetricAlgorithm
a AEADAlgorithm
b PacketVersion
c Salt
d CompressedDataPayload
e)
    fromPktEither :: Pkt -> Either PacketCoercionError SymEncIntegrityProtectedData
fromPktEither (SymEncIntegrityProtectedDataPkt (SEIPD1 PacketVersion
a CompressedDataPayload
b)) =
        SymEncIntegrityProtectedData
-> Either PacketCoercionError SymEncIntegrityProtectedData
forall a b. b -> Either a b
Right (PacketVersion
-> CompressedDataPayload -> SymEncIntegrityProtectedData
SymEncIntegrityProtectedData PacketVersion
a CompressedDataPayload
b)
    fromPktEither (SymEncIntegrityProtectedDataPkt (SEIPD2 SymmetricAlgorithm
a AEADAlgorithm
b PacketVersion
c Salt
d CompressedDataPayload
e)) =
        SymEncIntegrityProtectedData
-> Either PacketCoercionError SymEncIntegrityProtectedData
forall a b. b -> Either a b
Right (SymmetricAlgorithm
-> AEADAlgorithm
-> PacketVersion
-> Salt
-> CompressedDataPayload
-> SymEncIntegrityProtectedData
SymEncIntegrityProtectedDataV2 SymmetricAlgorithm
a AEADAlgorithm
b PacketVersion
c Salt
d CompressedDataPayload
e)
    fromPktEither Pkt
pkt = String
-> Pkt -> Either PacketCoercionError SymEncIntegrityProtectedData
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"SymEncIntegrityProtectedData" Pkt
pkt

instance Pretty SymEncIntegrityProtectedData where
    pretty :: forall ann. SymEncIntegrityProtectedData -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (SymEncIntegrityProtectedData -> Pkt)
-> SymEncIntegrityProtectedData
-> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SymEncIntegrityProtectedData -> Pkt
forall a. Packet a => a -> Pkt
toPkt

newtype ModificationDetectionCode
    = ModificationDetectionCode
    { ModificationDetectionCode -> ByteString
_modificationDetectionCodePayload :: B.ByteString
    }
    deriving (Typeable ModificationDetectionCode
Typeable ModificationDetectionCode =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g)
 -> ModificationDetectionCode
 -> c ModificationDetectionCode)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c ModificationDetectionCode)
-> (ModificationDetectionCode -> Constr)
-> (ModificationDetectionCode -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d))
    -> Maybe (c ModificationDetectionCode))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c ModificationDetectionCode))
-> ((forall b. Data b => b -> b)
    -> ModificationDetectionCode -> ModificationDetectionCode)
-> (forall r r'.
    (r -> r' -> r)
    -> r
    -> (forall d. Data d => d -> r')
    -> ModificationDetectionCode
    -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r
    -> (forall d. Data d => d -> r')
    -> ModificationDetectionCode
    -> r)
-> (forall u.
    (forall d. Data d => d -> u) -> ModificationDetectionCode -> [u])
-> (forall u.
    Int
    -> (forall d. Data d => d -> u) -> ModificationDetectionCode -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> ModificationDetectionCode -> m ModificationDetectionCode)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> ModificationDetectionCode -> m ModificationDetectionCode)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> ModificationDetectionCode -> m ModificationDetectionCode)
-> Data ModificationDetectionCode
ModificationDetectionCode -> Constr
ModificationDetectionCode -> DataType
(forall b. Data b => b -> b)
-> ModificationDetectionCode -> ModificationDetectionCode
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u.
Int
-> (forall d. Data d => d -> u) -> ModificationDetectionCode -> u
forall u.
(forall d. Data d => d -> u) -> ModificationDetectionCode -> [u]
forall r r'.
(r -> r' -> r)
-> r
-> (forall d. Data d => d -> r')
-> ModificationDetectionCode
-> r
forall r r'.
(r' -> r -> r)
-> r
-> (forall d. Data d => d -> r')
-> ModificationDetectionCode
-> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> ModificationDetectionCode -> m ModificationDetectionCode
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> ModificationDetectionCode -> m ModificationDetectionCode
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c ModificationDetectionCode
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> ModificationDetectionCode
-> c ModificationDetectionCode
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d))
-> Maybe (c ModificationDetectionCode)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c ModificationDetectionCode)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> ModificationDetectionCode
-> c ModificationDetectionCode
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> ModificationDetectionCode
-> c ModificationDetectionCode
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c ModificationDetectionCode
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c ModificationDetectionCode
$ctoConstr :: ModificationDetectionCode -> Constr
toConstr :: ModificationDetectionCode -> Constr
$cdataTypeOf :: ModificationDetectionCode -> DataType
dataTypeOf :: ModificationDetectionCode -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d))
-> Maybe (c ModificationDetectionCode)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d))
-> Maybe (c ModificationDetectionCode)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c ModificationDetectionCode)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c ModificationDetectionCode)
$cgmapT :: (forall b. Data b => b -> b)
-> ModificationDetectionCode -> ModificationDetectionCode
gmapT :: (forall b. Data b => b -> b)
-> ModificationDetectionCode -> ModificationDetectionCode
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r
-> (forall d. Data d => d -> r')
-> ModificationDetectionCode
-> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r
-> (forall d. Data d => d -> r')
-> ModificationDetectionCode
-> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r
-> (forall d. Data d => d -> r')
-> ModificationDetectionCode
-> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r
-> (forall d. Data d => d -> r')
-> ModificationDetectionCode
-> r
$cgmapQ :: forall u.
(forall d. Data d => d -> u) -> ModificationDetectionCode -> [u]
gmapQ :: forall u.
(forall d. Data d => d -> u) -> ModificationDetectionCode -> [u]
$cgmapQi :: forall u.
Int
-> (forall d. Data d => d -> u) -> ModificationDetectionCode -> u
gmapQi :: forall u.
Int
-> (forall d. Data d => d -> u) -> ModificationDetectionCode -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> ModificationDetectionCode -> m ModificationDetectionCode
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> ModificationDetectionCode -> m ModificationDetectionCode
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> ModificationDetectionCode -> m ModificationDetectionCode
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> ModificationDetectionCode -> m ModificationDetectionCode
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> ModificationDetectionCode -> m ModificationDetectionCode
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> ModificationDetectionCode -> m ModificationDetectionCode
Data, ModificationDetectionCode -> ModificationDetectionCode -> Bool
(ModificationDetectionCode -> ModificationDetectionCode -> Bool)
-> (ModificationDetectionCode -> ModificationDetectionCode -> Bool)
-> Eq ModificationDetectionCode
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: ModificationDetectionCode -> ModificationDetectionCode -> Bool
== :: ModificationDetectionCode -> ModificationDetectionCode -> Bool
$c/= :: ModificationDetectionCode -> ModificationDetectionCode -> Bool
/= :: ModificationDetectionCode -> ModificationDetectionCode -> Bool
Eq, Int -> ModificationDetectionCode -> String -> String
[ModificationDetectionCode] -> String -> String
ModificationDetectionCode -> String
(Int -> ModificationDetectionCode -> String -> String)
-> (ModificationDetectionCode -> String)
-> ([ModificationDetectionCode] -> String -> String)
-> Show ModificationDetectionCode
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> ModificationDetectionCode -> String -> String
showsPrec :: Int -> ModificationDetectionCode -> String -> String
$cshow :: ModificationDetectionCode -> String
show :: ModificationDetectionCode -> String
$cshowList :: [ModificationDetectionCode] -> String -> String
showList :: [ModificationDetectionCode] -> String -> String
Show, Typeable)

instance Packet ModificationDetectionCode where
    data
        PacketType
            ModificationDetectionCode
        = ModificationDetectionCodeType
        deriving (PacketType ModificationDetectionCode
-> PacketType ModificationDetectionCode -> Bool
(PacketType ModificationDetectionCode
 -> PacketType ModificationDetectionCode -> Bool)
-> (PacketType ModificationDetectionCode
    -> PacketType ModificationDetectionCode -> Bool)
-> Eq (PacketType ModificationDetectionCode)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType ModificationDetectionCode
-> PacketType ModificationDetectionCode -> Bool
== :: PacketType ModificationDetectionCode
-> PacketType ModificationDetectionCode -> Bool
$c/= :: PacketType ModificationDetectionCode
-> PacketType ModificationDetectionCode -> Bool
/= :: PacketType ModificationDetectionCode
-> PacketType ModificationDetectionCode -> Bool
Eq, Int -> PacketType ModificationDetectionCode -> String -> String
[PacketType ModificationDetectionCode] -> String -> String
PacketType ModificationDetectionCode -> String
(Int -> PacketType ModificationDetectionCode -> String -> String)
-> (PacketType ModificationDetectionCode -> String)
-> ([PacketType ModificationDetectionCode] -> String -> String)
-> Show (PacketType ModificationDetectionCode)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType ModificationDetectionCode -> String -> String
showsPrec :: Int -> PacketType ModificationDetectionCode -> String -> String
$cshow :: PacketType ModificationDetectionCode -> String
show :: PacketType ModificationDetectionCode -> String
$cshowList :: [PacketType ModificationDetectionCode] -> String -> String
showList :: [PacketType ModificationDetectionCode] -> String -> String
Show)
    packetType :: ModificationDetectionCode -> PacketType ModificationDetectionCode
packetType ModificationDetectionCode
_ = PacketType ModificationDetectionCode
ModificationDetectionCodeType
    packetCode :: PacketType ModificationDetectionCode -> PacketVersion
packetCode PacketType ModificationDetectionCode
_ = PacketVersion
19
    toPkt :: ModificationDetectionCode -> Pkt
toPkt (ModificationDetectionCode ByteString
a) = ByteString -> Pkt
ModificationDetectionCodePkt ByteString
a
    fromPktEither :: Pkt -> Either PacketCoercionError ModificationDetectionCode
fromPktEither (ModificationDetectionCodePkt ByteString
a) = ModificationDetectionCode
-> Either PacketCoercionError ModificationDetectionCode
forall a b. b -> Either a b
Right (ByteString -> ModificationDetectionCode
ModificationDetectionCode ByteString
a)
    fromPktEither Pkt
pkt = String
-> Pkt -> Either PacketCoercionError ModificationDetectionCode
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"ModificationDetectionCode" Pkt
pkt

instance Pretty ModificationDetectionCode where
    pretty :: forall ann. ModificationDetectionCode -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (ModificationDetectionCode -> Pkt)
-> ModificationDetectionCode
-> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ModificationDetectionCode -> Pkt
forall a. Packet a => a -> Pkt
toPkt

newtype Padding
    = Padding
    { Padding -> CompressedDataPayload
_padding :: ByteString
    }
    deriving (Typeable Padding
Typeable Padding =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> Padding -> c Padding)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c Padding)
-> (Padding -> Constr)
-> (Padding -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c Padding))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Padding))
-> ((forall b. Data b => b -> b) -> Padding -> Padding)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> Padding -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> Padding -> r)
-> (forall u. (forall d. Data d => d -> u) -> Padding -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> Padding -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> Padding -> m Padding)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Padding -> m Padding)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Padding -> m Padding)
-> Data Padding
Padding -> Constr
Padding -> DataType
(forall b. Data b => b -> b) -> Padding -> Padding
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> Padding -> u
forall u. (forall d. Data d => d -> u) -> Padding -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> Padding -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> Padding -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> Padding -> m Padding
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Padding -> m Padding
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c Padding
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> Padding -> c Padding
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c Padding)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Padding)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> Padding -> c Padding
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> Padding -> c Padding
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c Padding
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c Padding
$ctoConstr :: Padding -> Constr
toConstr :: Padding -> Constr
$cdataTypeOf :: Padding -> DataType
dataTypeOf :: Padding -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c Padding)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c Padding)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Padding)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Padding)
$cgmapT :: (forall b. Data b => b -> b) -> Padding -> Padding
gmapT :: (forall b. Data b => b -> b) -> Padding -> Padding
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> Padding -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> Padding -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> Padding -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> Padding -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> Padding -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> Padding -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Padding -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Padding -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> Padding -> m Padding
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> Padding -> m Padding
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Padding -> m Padding
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Padding -> m Padding
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Padding -> m Padding
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> Padding -> m Padding
Data, Padding -> Padding -> Bool
(Padding -> Padding -> Bool)
-> (Padding -> Padding -> Bool) -> Eq Padding
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Padding -> Padding -> Bool
== :: Padding -> Padding -> Bool
$c/= :: Padding -> Padding -> Bool
/= :: Padding -> Padding -> Bool
Eq, Int -> Padding -> String -> String
[Padding] -> String -> String
Padding -> String
(Int -> Padding -> String -> String)
-> (Padding -> String)
-> ([Padding] -> String -> String)
-> Show Padding
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> Padding -> String -> String
showsPrec :: Int -> Padding -> String -> String
$cshow :: Padding -> String
show :: Padding -> String
$cshowList :: [Padding] -> String -> String
showList :: [Padding] -> String -> String
Show, Typeable)

instance Packet Padding where
    data
        PacketType
            Padding
        = PaddingType
        deriving (PacketType Padding -> PacketType Padding -> Bool
(PacketType Padding -> PacketType Padding -> Bool)
-> (PacketType Padding -> PacketType Padding -> Bool)
-> Eq (PacketType Padding)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType Padding -> PacketType Padding -> Bool
== :: PacketType Padding -> PacketType Padding -> Bool
$c/= :: PacketType Padding -> PacketType Padding -> Bool
/= :: PacketType Padding -> PacketType Padding -> Bool
Eq, Int -> PacketType Padding -> String -> String
[PacketType Padding] -> String -> String
PacketType Padding -> String
(Int -> PacketType Padding -> String -> String)
-> (PacketType Padding -> String)
-> ([PacketType Padding] -> String -> String)
-> Show (PacketType Padding)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType Padding -> String -> String
showsPrec :: Int -> PacketType Padding -> String -> String
$cshow :: PacketType Padding -> String
show :: PacketType Padding -> String
$cshowList :: [PacketType Padding] -> String -> String
showList :: [PacketType Padding] -> String -> String
Show)
    packetType :: Padding -> PacketType Padding
packetType Padding
_ = PacketType Padding
PaddingType
    packetCode :: PacketType Padding -> PacketVersion
packetCode PacketType Padding
_ = PacketVersion
21
    toPkt :: Padding -> Pkt
toPkt (Padding CompressedDataPayload
a) = CompressedDataPayload -> Pkt
PaddingPkt CompressedDataPayload
a
    fromPktEither :: Pkt -> Either PacketCoercionError Padding
fromPktEither (PaddingPkt CompressedDataPayload
a) = Padding -> Either PacketCoercionError Padding
forall a b. b -> Either a b
Right (CompressedDataPayload -> Padding
Padding CompressedDataPayload
a)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError Padding
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"Padding" Pkt
pkt

instance Pretty Padding where
    pretty :: forall ann. Padding -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann) -> (Padding -> Pkt) -> Padding -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Padding -> Pkt
forall a. Packet a => a -> Pkt
toPkt

data OtherPacket
    = OtherPacket
    { OtherPacket -> PacketVersion
_otherPacketType :: Word8
    , OtherPacket -> CompressedDataPayload
_otherPacketPayload :: ByteString
    }
    deriving (Typeable OtherPacket
Typeable OtherPacket =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> OtherPacket -> c OtherPacket)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c OtherPacket)
-> (OtherPacket -> Constr)
-> (OtherPacket -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c OtherPacket))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c OtherPacket))
-> ((forall b. Data b => b -> b) -> OtherPacket -> OtherPacket)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> OtherPacket -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> OtherPacket -> r)
-> (forall u. (forall d. Data d => d -> u) -> OtherPacket -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> OtherPacket -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket)
-> Data OtherPacket
OtherPacket -> Constr
OtherPacket -> DataType
(forall b. Data b => b -> b) -> OtherPacket -> OtherPacket
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> OtherPacket -> u
forall u. (forall d. Data d => d -> u) -> OtherPacket -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> OtherPacket -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> OtherPacket -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c OtherPacket
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> OtherPacket -> c OtherPacket
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c OtherPacket)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c OtherPacket)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> OtherPacket -> c OtherPacket
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> OtherPacket -> c OtherPacket
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c OtherPacket
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c OtherPacket
$ctoConstr :: OtherPacket -> Constr
toConstr :: OtherPacket -> Constr
$cdataTypeOf :: OtherPacket -> DataType
dataTypeOf :: OtherPacket -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c OtherPacket)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c OtherPacket)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c OtherPacket)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c OtherPacket)
$cgmapT :: (forall b. Data b => b -> b) -> OtherPacket -> OtherPacket
gmapT :: (forall b. Data b => b -> b) -> OtherPacket -> OtherPacket
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> OtherPacket -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> OtherPacket -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> OtherPacket -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> OtherPacket -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> OtherPacket -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> OtherPacket -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> OtherPacket -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> OtherPacket -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket
Data, OtherPacket -> OtherPacket -> Bool
(OtherPacket -> OtherPacket -> Bool)
-> (OtherPacket -> OtherPacket -> Bool) -> Eq OtherPacket
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: OtherPacket -> OtherPacket -> Bool
== :: OtherPacket -> OtherPacket -> Bool
$c/= :: OtherPacket -> OtherPacket -> Bool
/= :: OtherPacket -> OtherPacket -> Bool
Eq, Int -> OtherPacket -> String -> String
[OtherPacket] -> String -> String
OtherPacket -> String
(Int -> OtherPacket -> String -> String)
-> (OtherPacket -> String)
-> ([OtherPacket] -> String -> String)
-> Show OtherPacket
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> OtherPacket -> String -> String
showsPrec :: Int -> OtherPacket -> String -> String
$cshow :: OtherPacket -> String
show :: OtherPacket -> String
$cshowList :: [OtherPacket] -> String -> String
showList :: [OtherPacket] -> String -> String
Show, Typeable)

instance Packet OtherPacket where
    data PacketType OtherPacket = OtherPacketType
        deriving (PacketType OtherPacket -> PacketType OtherPacket -> Bool
(PacketType OtherPacket -> PacketType OtherPacket -> Bool)
-> (PacketType OtherPacket -> PacketType OtherPacket -> Bool)
-> Eq (PacketType OtherPacket)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType OtherPacket -> PacketType OtherPacket -> Bool
== :: PacketType OtherPacket -> PacketType OtherPacket -> Bool
$c/= :: PacketType OtherPacket -> PacketType OtherPacket -> Bool
/= :: PacketType OtherPacket -> PacketType OtherPacket -> Bool
Eq, Int -> PacketType OtherPacket -> String -> String
[PacketType OtherPacket] -> String -> String
PacketType OtherPacket -> String
(Int -> PacketType OtherPacket -> String -> String)
-> (PacketType OtherPacket -> String)
-> ([PacketType OtherPacket] -> String -> String)
-> Show (PacketType OtherPacket)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType OtherPacket -> String -> String
showsPrec :: Int -> PacketType OtherPacket -> String -> String
$cshow :: PacketType OtherPacket -> String
show :: PacketType OtherPacket -> String
$cshowList :: [PacketType OtherPacket] -> String -> String
showList :: [PacketType OtherPacket] -> String -> String
Show)
    packetType :: OtherPacket -> PacketType OtherPacket
packetType OtherPacket
_ = PacketType OtherPacket
OtherPacketType
    packetCode :: PacketType OtherPacket -> PacketVersion
packetCode PacketType OtherPacket
_ = String -> PacketVersion
forall a. HasCallStack => String -> a
error String
"OtherPacket has no static packet type code"
    dynamicPacketCode :: OtherPacket -> PacketVersion
dynamicPacketCode = OtherPacket -> PacketVersion
_otherPacketType
    toPkt :: OtherPacket -> Pkt
toPkt (OtherPacket PacketVersion
a CompressedDataPayload
b) = PacketVersion -> CompressedDataPayload -> Pkt
OtherPacketPkt PacketVersion
a CompressedDataPayload
b
    fromPktEither :: Pkt -> Either PacketCoercionError OtherPacket
fromPktEither (OtherPacketPkt PacketVersion
a CompressedDataPayload
b) = OtherPacket -> Either PacketCoercionError OtherPacket
forall a b. b -> Either a b
Right (PacketVersion -> CompressedDataPayload -> OtherPacket
OtherPacket PacketVersion
a CompressedDataPayload
b)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError OtherPacket
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"OtherPacket" Pkt
pkt

instance Pretty OtherPacket where
    pretty :: forall ann. OtherPacket -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann) -> (OtherPacket -> Pkt) -> OtherPacket -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. OtherPacket -> Pkt
forall a. Packet a => a -> Pkt
toPkt

data BrokenPacket
    = BrokenPacket
    { BrokenPacket -> String
_brokenPacketParseError :: String
    , BrokenPacket -> PacketVersion
_brokenPacketType :: Word8
    , BrokenPacket -> CompressedDataPayload
_brokenPacketPayload :: ByteString
    }
    deriving (Typeable BrokenPacket
Typeable BrokenPacket =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> BrokenPacket -> c BrokenPacket)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c BrokenPacket)
-> (BrokenPacket -> Constr)
-> (BrokenPacket -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c BrokenPacket))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c BrokenPacket))
-> ((forall b. Data b => b -> b) -> BrokenPacket -> BrokenPacket)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> BrokenPacket -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> BrokenPacket -> r)
-> (forall u. (forall d. Data d => d -> u) -> BrokenPacket -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> BrokenPacket -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket)
-> Data BrokenPacket
BrokenPacket -> Constr
BrokenPacket -> DataType
(forall b. Data b => b -> b) -> BrokenPacket -> BrokenPacket
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> BrokenPacket -> u
forall u. (forall d. Data d => d -> u) -> BrokenPacket -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> BrokenPacket -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> BrokenPacket -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c BrokenPacket
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> BrokenPacket -> c BrokenPacket
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c BrokenPacket)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c BrokenPacket)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> BrokenPacket -> c BrokenPacket
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> BrokenPacket -> c BrokenPacket
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c BrokenPacket
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c BrokenPacket
$ctoConstr :: BrokenPacket -> Constr
toConstr :: BrokenPacket -> Constr
$cdataTypeOf :: BrokenPacket -> DataType
dataTypeOf :: BrokenPacket -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c BrokenPacket)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c BrokenPacket)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c BrokenPacket)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c BrokenPacket)
$cgmapT :: (forall b. Data b => b -> b) -> BrokenPacket -> BrokenPacket
gmapT :: (forall b. Data b => b -> b) -> BrokenPacket -> BrokenPacket
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> BrokenPacket -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> BrokenPacket -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> BrokenPacket -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> BrokenPacket -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> BrokenPacket -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> BrokenPacket -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> BrokenPacket -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> BrokenPacket -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket
Data, BrokenPacket -> BrokenPacket -> Bool
(BrokenPacket -> BrokenPacket -> Bool)
-> (BrokenPacket -> BrokenPacket -> Bool) -> Eq BrokenPacket
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: BrokenPacket -> BrokenPacket -> Bool
== :: BrokenPacket -> BrokenPacket -> Bool
$c/= :: BrokenPacket -> BrokenPacket -> Bool
/= :: BrokenPacket -> BrokenPacket -> Bool
Eq, Int -> BrokenPacket -> String -> String
[BrokenPacket] -> String -> String
BrokenPacket -> String
(Int -> BrokenPacket -> String -> String)
-> (BrokenPacket -> String)
-> ([BrokenPacket] -> String -> String)
-> Show BrokenPacket
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> BrokenPacket -> String -> String
showsPrec :: Int -> BrokenPacket -> String -> String
$cshow :: BrokenPacket -> String
show :: BrokenPacket -> String
$cshowList :: [BrokenPacket] -> String -> String
showList :: [BrokenPacket] -> String -> String
Show, Typeable)

instance Packet BrokenPacket where
    data PacketType BrokenPacket = BrokenPacketType
        deriving (PacketType BrokenPacket -> PacketType BrokenPacket -> Bool
(PacketType BrokenPacket -> PacketType BrokenPacket -> Bool)
-> (PacketType BrokenPacket -> PacketType BrokenPacket -> Bool)
-> Eq (PacketType BrokenPacket)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PacketType BrokenPacket -> PacketType BrokenPacket -> Bool
== :: PacketType BrokenPacket -> PacketType BrokenPacket -> Bool
$c/= :: PacketType BrokenPacket -> PacketType BrokenPacket -> Bool
/= :: PacketType BrokenPacket -> PacketType BrokenPacket -> Bool
Eq, Int -> PacketType BrokenPacket -> String -> String
[PacketType BrokenPacket] -> String -> String
PacketType BrokenPacket -> String
(Int -> PacketType BrokenPacket -> String -> String)
-> (PacketType BrokenPacket -> String)
-> ([PacketType BrokenPacket] -> String -> String)
-> Show (PacketType BrokenPacket)
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
$cshowsPrec :: Int -> PacketType BrokenPacket -> String -> String
showsPrec :: Int -> PacketType BrokenPacket -> String -> String
$cshow :: PacketType BrokenPacket -> String
show :: PacketType BrokenPacket -> String
$cshowList :: [PacketType BrokenPacket] -> String -> String
showList :: [PacketType BrokenPacket] -> String -> String
Show)
    packetType :: BrokenPacket -> PacketType BrokenPacket
packetType BrokenPacket
_ = PacketType BrokenPacket
BrokenPacketType
    packetCode :: PacketType BrokenPacket -> PacketVersion
packetCode PacketType BrokenPacket
_ = String -> PacketVersion
forall a. HasCallStack => String -> a
error String
"BrokenPacket has no static packet type code"
    dynamicPacketCode :: BrokenPacket -> PacketVersion
dynamicPacketCode = BrokenPacket -> PacketVersion
_brokenPacketType
    toPkt :: BrokenPacket -> Pkt
toPkt (BrokenPacket String
a PacketVersion
b CompressedDataPayload
c) = String -> PacketVersion -> CompressedDataPayload -> Pkt
BrokenPacketPkt String
a PacketVersion
b CompressedDataPayload
c
    fromPktEither :: Pkt -> Either PacketCoercionError BrokenPacket
fromPktEither (BrokenPacketPkt String
a PacketVersion
b CompressedDataPayload
c) = BrokenPacket -> Either PacketCoercionError BrokenPacket
forall a b. b -> Either a b
Right (String -> PacketVersion -> CompressedDataPayload -> BrokenPacket
BrokenPacket String
a PacketVersion
b CompressedDataPayload
c)
    fromPktEither Pkt
pkt = String -> Pkt -> Either PacketCoercionError BrokenPacket
forall a. String -> Pkt -> Either PacketCoercionError a
coercionError String
"BrokenPacket" Pkt
pkt

instance Pretty BrokenPacket where
    pretty :: forall ann. BrokenPacket -> Doc ann
pretty = Pkt -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Pkt -> Doc ann
pretty (Pkt -> Doc ann)
-> (BrokenPacket -> Pkt) -> BrokenPacket -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. BrokenPacket -> Pkt
forall a. Packet a => a -> Pkt
toPkt

$(makeLenses ''Signature)

$(makeLenses ''SecretKey)

$(makeLenses ''PublicKey)

$(makeLenses ''SecretSubkey)

$(makeLenses ''CompressedData)

$(makeLenses ''SymEncData)

$(makeLenses ''Marker)

$(makeLenses ''LiteralData)

$(makeLenses ''Trust)

$(makeLenses ''UserId)

$(makeLenses ''PublicSubkey)

$(makeLenses ''UserAttribute)

$(makeLenses ''SymEncIntegrityProtectedData)

$(makeLenses ''ModificationDetectionCode)

$(makeLenses ''OtherPacket)

$(makeLenses ''BrokenPacket)