| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Conduit.OpenPGP.Filter
Synopsis
- conduitPktFilter :: forall (m :: Type -> Type). Monad m => FilterPredicates Void Pkt -> ConduitT Pkt Pkt m ()
- conduitPktWithExtraFilter :: forall (m :: Type -> Type) r. Monad m => r -> FilterPredicates r Pkt -> ConduitT Pkt Pkt m ()
- conduitTKFilter :: forall (m :: Type -> Type). Monad m => FilterPredicates Void TKUnknown -> ConduitT TKUnknown TKUnknown m ()
- data FilterPredicates r a
- = RTKFilterPredicate (Reader TKUnknown Bool)
- | RPFilterPredicate (Reader Pkt Bool)
- | RFilterPredicate (Reader a Bool)
- | RPairFilterPredicate (Reader (r, a) Bool)
- runPredicate :: forall r a. Typeable a => FilterPredicates r a -> a -> Bool
Documentation
conduitPktFilter :: forall (m :: Type -> Type). Monad m => FilterPredicates Void Pkt -> ConduitT Pkt Pkt m () Source #
conduitPktWithExtraFilter :: forall (m :: Type -> Type) r. Monad m => r -> FilterPredicates r Pkt -> ConduitT Pkt Pkt m () Source #
conduitTKFilter :: forall (m :: Type -> Type). Monad m => FilterPredicates Void TKUnknown -> ConduitT TKUnknown TKUnknown m () Source #
Deprecated: Use (CL.filter . runPredicate) with RFilterPredicate instead
data FilterPredicates r a Source #
Constructors
| RTKFilterPredicate (Reader TKUnknown Bool) | Deprecated: Use RFilterPredicate with SomeTK instead fp for transferable keys |
| RPFilterPredicate (Reader Pkt Bool) | fp for context-less packets |
| RFilterPredicate (Reader a Bool) | generic filter predicate |
| RPairFilterPredicate (Reader (r, a) Bool) | generic filter predicate with additional context |
runPredicate :: forall r a. Typeable a => FilterPredicates r a -> a -> Bool Source #