Safe Haskell | Safe-Infered |
---|
AOP.Internal.PointcutDef
- 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
- pcNot :: Typeable1Monad m => PC m a1 b1 -> PC m a2 b2
- pcSeq :: (Typeable1 m, MonadState Bool m) => PC m a1 b1 -> PC m a2 b2 -> PC m a2 b2
- pcTrue :: Typeable1Monad m => PC m a b
- pcFalse :: Typeable1Monad m => PC m a b
- pcArgGT :: (Typeable1Monad m, Ord a) => a -> RequirePC m a b
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