Safe Haskell | Safe-Infered |
---|
AOP.Internal.PointcutDef
- 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
- pcNot :: Monad m => PC m t1 -> PC m t2
- pcSeq :: MonadState Bool m => PC m t1 -> PC m t2 -> PC m t2
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)