Safe HaskellSafe-Infered

AOP.Internal.PointcutDef

Synopsis

Documentation

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

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

pcAnd :: (PCAnd m a1 b1 a2 b2 pct, PCAndCtx m a1 b1 a2 b2 pct) => PC m a1 b1 -> pct m a2 b2 -> PC m a1 b1

pcOr :: (Typeable1Monad m, LeastGen (a1 -> b1) (a2 -> b2) (agen -> bgen)) => PC m a1 b1 -> PC m a2 b2 -> PC m agen bgen

Or pointcut combinator.

pcNot :: Typeable1Monad m => PC m a1 b1 -> PC m a2 b2

Not pointcut combinator.

pcSeq :: (Typeable1 m, MonadState Bool m) => PC m a1 b1 -> PC m a2 b2 -> PC m a2 b2

Matches the sequence of two pcs

pcTrue :: Typeable1Monad m => PC m a b

True pointcut.

pcFalse :: Typeable1Monad m => PC m a b

False pointcut.

pcArgGT :: (Typeable1Monad m, Ord a) => a -> RequirePC m a b