Safe Haskell	None
Language	Haskell2010

Data.Conduit.OpenPGP.Keyring

Synopsis

conduitToUnknownTKs :: forall (m :: Type -> Type). Monad m => ConduitT Pkt TKUnknown m ()
data TypedTKConduitError
- = TypedTKParseError KeyringChunkParseError
- | TypedTKConversionError TKConversionError
conduitToSomeTKsEither :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (Either TypedTKConduitError (Maybe SomeTK)) m ()
conduitToSomeTKsDropping :: forall (m :: Type -> Type). Monad m => ConduitT Pkt SomeTK m ()
conduitToSomeTKsDroppingEither :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (Either TypedTKConduitError (Maybe SomeTK)) m ()
conduitToTKs :: forall (m :: Type -> Type). Monad m => ConduitT Pkt SomeTK m ()
conduitToPublicTKs :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (TK 'PublicTK) m ()
conduitToPublicViewTKs :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (TK 'PublicTK) m ()
conduitToSecretTKs :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (TK 'SecretTK) m ()
data AuthSecretSubkeyUID = AuthSecretSubkeyUID {
- authSecretSubkeyUIDValue :: Text
- authSecretSubkeyUIDIsPrimary :: Bool
}
data AuthSecretSubkeyAtTime = AuthSecretSubkeyAtTime {
- authSecretSubkeyPrimaryKey :: KeyPkt 'SecretPkt
- authSecretSubkeyValue :: KeyPkt 'SecretPkt
- authSecretSubkeyUIDs :: [AuthSecretSubkeyUID]
- authSecretSubkeyPrimaryUID :: Maybe Text
}
data AuthSecretSubkeyRejectionReason
- = AuthSecretSubkeyTKVerificationFailed
- | AuthSecretSubkeyPrimaryKeyInvalidAtTime
- | AuthSecretSubkeyNotSecretSubkeyPacket
- | AuthSecretSubkeyNotSubkeyPacket
- | AuthSecretSubkeySubkeyInvalidAtTime
- | AuthSecretSubkeyMissingAuthCapability
data AuthSecretSubkeyRejectedAtTime = AuthSecretSubkeyRejectedAtTime {
- authSecretSubkeyRejectedPrimaryKey :: KeyPkt 'SecretPkt
- authSecretSubkeyRejectedValue :: Maybe (KeyPkt 'SecretPkt)
- authSecretSubkeyRejectedUIDs :: [AuthSecretSubkeyUID]
- authSecretSubkeyRejectedPrimaryUID :: Maybe Text
- authSecretSubkeyRejectedReason :: AuthSecretSubkeyRejectionReason
}
data AuthSecretSubkeysAtReport = AuthSecretSubkeysAtReport {
- authSecretSubkeysAccepted :: [AuthSecretSubkeyAtTime]
- authSecretSubkeysRejected :: [AuthSecretSubkeyRejectedAtTime]
}
authSecretSubkeysAt :: UTCTime -> TK 'SecretTK -> [AuthSecretSubkeyAtTime]
authSecretSubkeysAtReport :: UTCTime -> TK 'SecretTK -> AuthSecretSubkeysAtReport
conduitToAuthSecretSubkeysAt :: forall (m :: Type -> Type). Monad m => UTCTime -> ConduitT (TK 'SecretTK) AuthSecretSubkeyAtTime m ()
conduitToAuthSecretSubkeysAtReport :: forall (m :: Type -> Type). Monad m => UTCTime -> ConduitT (TK 'SecretTK) AuthSecretSubkeysAtReport m ()
conduitToTKsDropping :: forall (m :: Type -> Type). Monad m => ConduitT Pkt TKUnknown m ()
conduitToTKsEither :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (Either KeyringChunkParseError (Maybe TKUnknown)) m ()
conduitToTKsDroppingEither :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (Either KeyringChunkParseError (Maybe TKUnknown)) m ()
conduitToTKsWithWireRep :: forall (m :: Type -> Type). Monad m => ConduitT PktWithWireRep TKWithWireRep m ()
conduitToTKsDroppingWithWireRep :: forall (m :: Type -> Type). Monad m => ConduitT PktWithWireRep TKWithWireRep m ()
conduitToTKsWithWireRepEither :: forall (m :: Type -> Type). Monad m => ConduitT PktWithWireRep (Either KeyringChunkParseError (Maybe TKWithWireRep)) m ()
conduitToTKsDroppingWithWireRepEither :: forall (m :: Type -> Type). Monad m => ConduitT PktWithWireRep (Either KeyringChunkParseError (Maybe TKWithWireRep)) m ()
data KeyringChunkParseError
- = ChunkFailureBeforeInput String
- | ChunkUnexpectedFinalizationFailure
- | ChunkParserFailure String
sinkPublicKeyringMap :: forall (m :: Type -> Type). Monad m => ConduitT (TK 'PublicTK) Void m PublicKeyring
sinkSecretKeyringMap :: forall (m :: Type -> Type). Monad m => ConduitT (TK 'SecretTK) Void m SecretKeyring
publicTKToKeyring :: TK 'PublicTK -> PublicKeyring
secretTKToKeyring :: TK 'SecretTK -> SecretKeyring
partitionSomeTKs :: [SomeTK] -> (PublicKeyring, SecretKeyring)

Documentation

conduitToUnknownTKs :: forall (m :: Type -> Type). Monad m => ConduitT Pkt TKUnknown m () Source #

Deprecated: Use conduitToTKsEither and handle Left/Maybe explicitly.

Deprecated: this conduit silently drops parse failures and parse-time omissions. Prefer conduitToTKsEither and handle errors explicitly.

data TypedTKConduitError Source #

Constructors

TypedTKParseError KeyringChunkParseError
TypedTKConversionError TKConversionError

Instances

Instances details

Show TypedTKConduitError Source #
Instance details Defined in Data.Conduit.OpenPGP.Keyring Methods showsPrec :: Int -> TypedTKConduitError -> ShowS Source # show :: TypedTKConduitError -> String Source # showList :: [TypedTKConduitError] -> ShowS Source #
Eq TypedTKConduitError Source #
Instance details Defined in Data.Conduit.OpenPGP.Keyring Methods (==) :: TypedTKConduitError -> TypedTKConduitError -> Bool Source # (/=) :: TypedTKConduitError -> TypedTKConduitError -> Bool Source #

conduitToSomeTKsEither :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (Either TypedTKConduitError (Maybe SomeTK)) m () Source #

Canonical strict typed conduit with explicit parse+conversion error channel.

conduitToSomeTKsDropping :: forall (m :: Type -> Type). Monad m => ConduitT Pkt SomeTK m () Source #

Deprecated: Use conduitToSomeTKsEither and handle Left/Maybe explicitly.

Deprecated: this conduit silently drops parse+conversion failures. Prefer conduitToSomeTKsEither and handle errors explicitly.

conduitToSomeTKsDroppingEither :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (Either TypedTKConduitError (Maybe SomeTK)) m () Source #

Tolerant typed conduit (broken transferable-key chunks may be omitted), while still surfacing parse+conversion failures.

conduitToTKs :: forall (m :: Type -> Type). Monad m => ConduitT Pkt SomeTK m () Source #

Deprecated: Use conduitToSomeTKsEither and handle Left/Maybe explicitly.

Deprecated: this conduit silently drops parse+conversion failures. Prefer conduitToSomeTKsEither and handle errors explicitly.

conduitToPublicTKs :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (TK 'PublicTK) m () Source #

Deprecated: Use conduitToSomeTKsEither and perform explicit projection/filtering.

conduitToPublicViewTKs :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (TK 'PublicTK) m () Source #

Deprecated: Use conduitToSomeTKsEither and perform explicit projection.

Yield public TKs from any input: native public TKs pass through, secret TKs are stripped to their public view

conduitToSecretTKs :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (TK 'SecretTK) m () Source #

Deprecated: Use conduitToSomeTKsEither and perform explicit projection/filtering.

data AuthSecretSubkeyUID Source #

Constructors

AuthSecretSubkeyUID
Fields authSecretSubkeyUIDValue :: Text authSecretSubkeyUIDIsPrimary :: Bool

Instances

Instances details

Show AuthSecretSubkeyUID Source #
Instance details Defined in Data.Conduit.OpenPGP.Keyring Methods showsPrec :: Int -> AuthSecretSubkeyUID -> ShowS Source # show :: AuthSecretSubkeyUID -> String Source # showList :: [AuthSecretSubkeyUID] -> ShowS Source #
Eq AuthSecretSubkeyUID Source #
Instance details Defined in Data.Conduit.OpenPGP.Keyring Methods (==) :: AuthSecretSubkeyUID -> AuthSecretSubkeyUID -> Bool Source # (/=) :: AuthSecretSubkeyUID -> AuthSecretSubkeyUID -> Bool Source #

data AuthSecretSubkeyAtTime Source #

Constructors

AuthSecretSubkeyAtTime
Fields authSecretSubkeyPrimaryKey :: KeyPkt 'SecretPkt authSecretSubkeyValue :: KeyPkt 'SecretPkt authSecretSubkeyUIDs :: [AuthSecretSubkeyUID] authSecretSubkeyPrimaryUID :: Maybe Text

Instances

Instances details

Show AuthSecretSubkeyAtTime Source #
Instance details Defined in Data.Conduit.OpenPGP.Keyring Methods showsPrec :: Int -> AuthSecretSubkeyAtTime -> ShowS Source # show :: AuthSecretSubkeyAtTime -> String Source # showList :: [AuthSecretSubkeyAtTime] -> ShowS Source #
Eq AuthSecretSubkeyAtTime Source #
Instance details Defined in Data.Conduit.OpenPGP.Keyring Methods (==) :: AuthSecretSubkeyAtTime -> AuthSecretSubkeyAtTime -> Bool Source # (/=) :: AuthSecretSubkeyAtTime -> AuthSecretSubkeyAtTime -> Bool Source #

data AuthSecretSubkeyRejectionReason Source #

Constructors

AuthSecretSubkeyTKVerificationFailed
AuthSecretSubkeyPrimaryKeyInvalidAtTime
AuthSecretSubkeyNotSecretSubkeyPacket
AuthSecretSubkeyNotSubkeyPacket
AuthSecretSubkeySubkeyInvalidAtTime
AuthSecretSubkeyMissingAuthCapability

Instances

Instances details

Show AuthSecretSubkeyRejectionReason Source #
Instance details Defined in Data.Conduit.OpenPGP.Keyring Methods showsPrec :: Int -> AuthSecretSubkeyRejectionReason -> ShowS Source # show :: AuthSecretSubkeyRejectionReason -> String Source # showList :: [AuthSecretSubkeyRejectionReason] -> ShowS Source #
Eq AuthSecretSubkeyRejectionReason Source #
Instance details Defined in Data.Conduit.OpenPGP.Keyring Methods (==) :: AuthSecretSubkeyRejectionReason -> AuthSecretSubkeyRejectionReason -> Bool Source # (/=) :: AuthSecretSubkeyRejectionReason -> AuthSecretSubkeyRejectionReason -> Bool Source #

data AuthSecretSubkeyRejectedAtTime Source #

Constructors

AuthSecretSubkeyRejectedAtTime
Fields authSecretSubkeyRejectedPrimaryKey :: KeyPkt 'SecretPkt authSecretSubkeyRejectedValue :: Maybe (KeyPkt 'SecretPkt) authSecretSubkeyRejectedUIDs :: [AuthSecretSubkeyUID] authSecretSubkeyRejectedPrimaryUID :: Maybe Text authSecretSubkeyRejectedReason :: AuthSecretSubkeyRejectionReason

Instances

Instances details

Show AuthSecretSubkeyRejectedAtTime Source #
Instance details Defined in Data.Conduit.OpenPGP.Keyring Methods showsPrec :: Int -> AuthSecretSubkeyRejectedAtTime -> ShowS Source # show :: AuthSecretSubkeyRejectedAtTime -> String Source # showList :: [AuthSecretSubkeyRejectedAtTime] -> ShowS Source #
Eq AuthSecretSubkeyRejectedAtTime Source #
Instance details Defined in Data.Conduit.OpenPGP.Keyring Methods (==) :: AuthSecretSubkeyRejectedAtTime -> AuthSecretSubkeyRejectedAtTime -> Bool Source # (/=) :: AuthSecretSubkeyRejectedAtTime -> AuthSecretSubkeyRejectedAtTime -> Bool Source #

data AuthSecretSubkeysAtReport Source #

Constructors

AuthSecretSubkeysAtReport
Fields authSecretSubkeysAccepted :: [AuthSecretSubkeyAtTime] authSecretSubkeysRejected :: [AuthSecretSubkeyRejectedAtTime]

Instances

Instances details

Show AuthSecretSubkeysAtReport Source #
Instance details Defined in Data.Conduit.OpenPGP.Keyring Methods showsPrec :: Int -> AuthSecretSubkeysAtReport -> ShowS Source # show :: AuthSecretSubkeysAtReport -> String Source # showList :: [AuthSecretSubkeysAtReport] -> ShowS Source #
Eq AuthSecretSubkeysAtReport Source #
Instance details Defined in Data.Conduit.OpenPGP.Keyring Methods (==) :: AuthSecretSubkeysAtReport -> AuthSecretSubkeysAtReport -> Bool Source # (/=) :: AuthSecretSubkeysAtReport -> AuthSecretSubkeysAtReport -> Bool Source #

authSecretSubkeysAt :: UTCTime -> TK 'SecretTK -> [AuthSecretSubkeyAtTime] Source #

authSecretSubkeysAtReport :: UTCTime -> TK 'SecretTK -> AuthSecretSubkeysAtReport Source #

conduitToAuthSecretSubkeysAt :: forall (m :: Type -> Type). Monad m => UTCTime -> ConduitT (TK 'SecretTK) AuthSecretSubkeyAtTime m () Source #

conduitToAuthSecretSubkeysAtReport :: forall (m :: Type -> Type). Monad m => UTCTime -> ConduitT (TK 'SecretTK) AuthSecretSubkeysAtReport m () Source #

conduitToTKsDropping :: forall (m :: Type -> Type). Monad m => ConduitT Pkt TKUnknown m () Source #

Deprecated: Use conduitToTKsDroppingEither or conduitToTKsEither and handle Left/Maybe explicitly.

Deprecated: this conduit silently drops parse failures and parse-time omissions. Prefer conduitToTKsDroppingEither when tolerant parsing is needed, or conduitToTKsEither for strict parsing.

conduitToTKsEither :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (Either KeyringChunkParseError (Maybe TKUnknown)) m () Source #

conduitToTKsDroppingEither :: forall (m :: Type -> Type). Monad m => ConduitT Pkt (Either KeyringChunkParseError (Maybe TKUnknown)) m () Source #

conduitToTKsWithWireRep :: forall (m :: Type -> Type). Monad m => ConduitT PktWithWireRep TKWithWireRep m () Source #

Deprecated: Use conduitToTKsWithWireRepEither and handle Left/Maybe explicitly.

conduitToTKsDroppingWithWireRep :: forall (m :: Type -> Type). Monad m => ConduitT PktWithWireRep TKWithWireRep m () Source #

Deprecated: Use conduitToTKsDroppingWithWireRepEither or conduitToTKsWithWireRepEither and handle Left/Maybe explicitly.

conduitToTKsWithWireRepEither :: forall (m :: Type -> Type). Monad m => ConduitT PktWithWireRep (Either KeyringChunkParseError (Maybe TKWithWireRep)) m () Source #

conduitToTKsDroppingWithWireRepEither :: forall (m :: Type -> Type). Monad m => ConduitT PktWithWireRep (Either KeyringChunkParseError (Maybe TKWithWireRep)) m () Source #

data KeyringChunkParseError Source #

Constructors

ChunkFailureBeforeInput String
ChunkUnexpectedFinalizationFailure
ChunkParserFailure String

Instances

Instances details

Show KeyringChunkParseError Source #
Instance details Defined in Codec.Encryption.OpenPGP.KeyringParser Methods showsPrec :: Int -> KeyringChunkParseError -> ShowS Source # show :: KeyringChunkParseError -> String Source # showList :: [KeyringChunkParseError] -> ShowS Source #
Eq KeyringChunkParseError Source #
Instance details Defined in Codec.Encryption.OpenPGP.KeyringParser Methods (==) :: KeyringChunkParseError -> KeyringChunkParseError -> Bool Source # (/=) :: KeyringChunkParseError -> KeyringChunkParseError -> Bool Source #

sinkPublicKeyringMap :: forall (m :: Type -> Type). Monad m => ConduitT (TK 'PublicTK) Void m PublicKeyring Source #

sinkSecretKeyringMap :: forall (m :: Type -> Type). Monad m => ConduitT (TK 'SecretTK) Void m SecretKeyring Source #

publicTKToKeyring :: TK 'PublicTK -> PublicKeyring Source #

Lift a single typed TK into its kinded keyring

secretTKToKeyring :: TK 'SecretTK -> SecretKeyring Source #

partitionSomeTKs :: [SomeTK] -> (PublicKeyring, SecretKeyring) Source #

Partition a list of SomeTK into homogeneous public and secret keyrings