Safe Haskell | Safe-Infered |
---|
AOP.Internal.AspectDef
- aspect :: (Monad m, LessGen (a1 -> b1) (a2 -> m b2)) => PC m a1 b1 -> Advice m a2 b2 -> Aspect m a1 b1 a2 b2
- purePcAspect :: (Typeable1Monad m, LessGen (a -> b) (c -> m d)) => PurePC a b -> Advice m c d -> Aspect m a b c d
- pureAdviceAspect :: (Typeable1Monad m, LessGen (a -> b) (c -> m d)) => PC m a b -> PureAdvice c d -> Aspect m a b c d
- pureAspect :: (Typeable1Monad m, LessGen (a -> b) (c -> m d)) => PurePC a b -> PureAdvice c d -> Aspect m a b c d
- newAspectHandle :: AspectHandle
Documentation
aspect :: (Monad m, LessGen (a1 -> b1) (a2 -> m b2)) => PC m a1 b1 -> Advice m a2 b2 -> Aspect m a1 b1 a2 b2
purePcAspect :: (Typeable1Monad m, LessGen (a -> b) (c -> m d)) => PurePC a b -> Advice m c d -> Aspect m a b c d
Builds an aspect with a pure pointcut
pureAdviceAspect :: (Typeable1Monad m, LessGen (a -> b) (c -> m d)) => PC m a b -> PureAdvice c d -> Aspect m a b c d
Builds an aspect with a pure advice
pureAspect :: (Typeable1Monad m, LessGen (a -> b) (c -> m d)) => PurePC a b -> PureAdvice c d -> Aspect m a b c d
Builds an aspect with pure pointcut and advice
newAspectHandle :: AspectHandle
Creates a new AspectHandle, i.e. a unique aspect identifier.