Safe HaskellSafe-Infered

AOP.Internal.AspectDef

Synopsis

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.