Data.Conduit.OpenPGP.Filter

Documentation

conduitPktFilter :: Monad m => FilterPredicates -> Conduit Pkt m Pkt

conduitTKFilter :: Monad m => FilterPredicates -> Conduit TK m TK

data FilterPredicates

Constructors

UnifiedFilterPredicate (Expr UPredicate)

old-style filter predicate, hopefully to be deprecated

TransitionalTKFP (Exp (Reader TK) Bool)

a more flexible fp for transferable keys

TransitionalUFP (Exp (Reader Pkt) Bool)

a more flexible fp for context-less packets

data Expr a

Constructors

EAny

E a

EAnd (Expr a) (Expr a)

EOr (Expr a) (Expr a)

ENot (Expr a)

data PKPVar

Constructors

PKPVVersion

public key version

PKPVPKA

public key algorithm

PKPVKeysize

public key size (in bits)

PKPVTimestamp

public key creation time

PKPVEOKI

public key's eight-octet key ID

PKPVTOF

public key's twenty-octet fingerprint

data PKPOp

Constructors

PKEquals

PKLessThan

PKGreaterThan

Instances

Enum PKPOp

data PKPValue

Constructors

PKPInt Int

PKPPKA PubKeyAlgorithm

PKPEOKI (Either String EightOctetKeyId)

PKPTOF TwentyOctetFingerprint

Instances

Eq PKPValue

Ord PKPValue

data SPVar

Constructors

SPVVersion

signature packet version

SPVSigType

signature packet tyep

SPVPKA

signature packet public key algorithm

SPVHA

signature packet hash algorithm

data SPOp

Constructors

SPEquals

SPLessThan

SPGreaterThan

Instances

Enum SPOp

data SPValue

Constructors

SPInt Int

SPSigType SigType

SPPKA PubKeyAlgorithm

SPHA HashAlgorithm

Instances

Eq SPValue

Ord SPValue

data OVar

Constructors

OVTag

OpenPGP packet tag

OVLength

packet length (length of what, though?)

data OOp

Constructors

OEquals

OLessThan

OGreaterThan

Instances

Enum OOp

data OValue

Constructors

OInt Int

OInteger Integer

Instances

Eq OValue

Ord OValue

data UPredicate

Constructors

UPKPP PKPVar UOp PKPValue

USPP SPVar UOp SPValue

UOP OVar UOp OValue

data UOp

Constructors

UEquals

(==)

ULessThan

(<)

UGreaterThan

(>)

Instances

Enum UOp

data Exp m a where

Constructors

I :: Integer -> Exp m Integer

B :: Bool -> Exp m Bool

S :: String -> Exp m String

Lift :: b -> Exp m b

Ap :: Exp m (b -> c) -> Exp m b -> Exp m c

AnyAll :: ((b -> m Bool) -> [b] -> m Bool) -> (b -> Exp m Bool) -> Exp m [b] -> Exp m Bool

MA :: m b -> Exp m b

unop :: (a -> b) -> Exp m a -> Exp m b

binop :: (a -> a -> b) -> Exp m a -> Exp m a -> Exp m b