Safe HaskellSafe-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

Constructors

forall a b c d . LessGen (a -> b) (c -> m d) => EAspect (Aspect m a b c d) 

Instances

Typeable1Monad m => Eq (EAspect m) 

type AspectEnv m = [EAspect m]

type AspectHandle = Unique