Safe HaskellSafe-Infered

AOP.Internal.PointcutDef

Synopsis

Documentation

pcCall :: (PcCall f, Monad m, PolyTypeable (f a b)) => f a b -> PC m (a -> b)

pcType :: (PcType f, PolyTypeable (f a b), Monad m) => f a b -> PC m (a -> b)

pcAnd :: (PCAnd m t1 t2 pct, PCAndCtx m t1 t2 pct) => PC m t1 -> pct m t2 -> PC m t1

pcOr :: (Monad m, LeastGen t1 t2 tgen) => PC m t1 -> PC m t2 -> PC m tgen

Or pointcut combinator.

pcNot :: Monad m => PC m t1 -> PC m t2

Not pointcut combinator.

pcSeq :: MonadState Bool m => PC m t1 -> PC m t2 -> PC m t2

Matches the sequence of two pcs