{-# LANGUAGE GADTs #-}
module Data.Conduit.OpenPGP.Filter
( conduitPktFilter
, conduitPktWithExtraFilter
, conduitTKFilter
, FilterPredicates(..)
) where
import Control.Monad.Trans.Reader (Reader, runReader)
import Data.Conduit (ConduitT)
import qualified Data.Conduit.List as CL
import Data.Void (Void)
import Codec.Encryption.OpenPGP.Types
data FilterPredicates r a
= RTKFilterPredicate (Reader TK Bool)
| RPFilterPredicate (Reader Pkt Bool)
| RFilterPredicate (Reader a Bool)
| RPairFilterPredicate (Reader (r, a) Bool)
conduitPktFilter ::
Monad m => FilterPredicates Void Pkt -> ConduitT Pkt Pkt m ()
conduitPktFilter :: forall (m :: * -> *).
Monad m =>
FilterPredicates Void Pkt -> ConduitT Pkt Pkt m ()
conduitPktFilter = (Pkt -> Bool) -> ConduitT Pkt Pkt m ()
forall (m :: * -> *) a. Monad m => (a -> Bool) -> ConduitT a a m ()
CL.filter ((Pkt -> Bool) -> ConduitT Pkt Pkt m ())
-> (FilterPredicates Void Pkt -> Pkt -> Bool)
-> FilterPredicates Void Pkt
-> ConduitT Pkt Pkt m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilterPredicates Void Pkt -> Pkt -> Bool
superPredicate
superPredicate :: FilterPredicates Void Pkt -> Pkt -> Bool
superPredicate :: FilterPredicates Void Pkt -> Pkt -> Bool
superPredicate (RPFilterPredicate Reader Pkt Bool
e) Pkt
p = Reader Pkt Bool -> Pkt -> Bool
forall r a. Reader r a -> r -> a
runReader Reader Pkt Bool
e Pkt
p
superPredicate (RFilterPredicate Reader Pkt Bool
e) Pkt
p = Reader Pkt Bool -> Pkt -> Bool
forall r a. Reader r a -> r -> a
runReader Reader Pkt Bool
e Pkt
p
superPredicate FilterPredicates Void Pkt
_ Pkt
_ = Bool
False
conduitTKFilter :: Monad m => FilterPredicates Void TK -> ConduitT TK TK m ()
conduitTKFilter :: forall (m :: * -> *).
Monad m =>
FilterPredicates Void TK -> ConduitT TK TK m ()
conduitTKFilter = (TK -> Bool) -> ConduitT TK TK m ()
forall (m :: * -> *) a. Monad m => (a -> Bool) -> ConduitT a a m ()
CL.filter ((TK -> Bool) -> ConduitT TK TK m ())
-> (FilterPredicates Void TK -> TK -> Bool)
-> FilterPredicates Void TK
-> ConduitT TK TK m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilterPredicates Void TK -> TK -> Bool
superTKPredicate
superTKPredicate :: FilterPredicates Void TK -> TK -> Bool
superTKPredicate :: FilterPredicates Void TK -> TK -> Bool
superTKPredicate (RTKFilterPredicate Reader TK Bool
e) = Reader TK Bool -> TK -> Bool
forall r a. Reader r a -> r -> a
runReader Reader TK Bool
e
superTKPredicate (RFilterPredicate Reader TK Bool
e) = Reader TK Bool -> TK -> Bool
forall r a. Reader r a -> r -> a
runReader Reader TK Bool
e
conduitPktWithExtraFilter ::
Monad m => r -> FilterPredicates r Pkt -> ConduitT Pkt Pkt m ()
r
extra = (Pkt -> Bool) -> ConduitT Pkt Pkt m ()
forall (m :: * -> *) a. Monad m => (a -> Bool) -> ConduitT a a m ()
CL.filter ((Pkt -> Bool) -> ConduitT Pkt Pkt m ())
-> (FilterPredicates r Pkt -> Pkt -> Bool)
-> FilterPredicates r Pkt
-> ConduitT Pkt Pkt m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. r -> FilterPredicates r Pkt -> Pkt -> Bool
forall r a. r -> FilterPredicates r a -> a -> Bool
superPairPredicate r
extra
superPairPredicate :: r -> FilterPredicates r a -> a -> Bool
superPairPredicate :: forall r a. r -> FilterPredicates r a -> a -> Bool
superPairPredicate r
r (RPairFilterPredicate Reader (r, a) Bool
e) a
p = Reader (r, a) Bool -> (r, a) -> Bool
forall r a. Reader r a -> r -> a
runReader Reader (r, a) Bool
e (r
r, a
p)