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