Safe HaskellSafe-Infered

AOP.Internal.AspectDef

Synopsis

Documentation

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)

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.