Safe Haskell | Safe-Infered |
---|
AOP.Internal.Aspect
Documentation
data Aspect m a b c d
Constructors
LessGen (a -> b) (c -> m d) => Aspect (PC m a b) (Advice m c d) AspectHandle |
data EAspect m
Instances
Typeable1Monad m => Eq (EAspect m) |
type AspectHandle = Unique
deleteAsp :: Typeable1Monad m => EAspect m -> AspectEnv m -> AspectEnv m