Safe HaskellSafe-Infered

AOP.Internal.Aspect

Documentation

data Aspect m t1 t2

Constructors

LessGen t1 t2 => Aspect (PC m t1) (Advice t2) AspectHandle 

data EAspect m

Constructors

forall t1 t2 . LessGen t1 t2 => EAspect (Aspect m t1 t2) 

Instances

Monad m => Eq (EAspect m) 

type AspectEnv m = [EAspect m]

type AspectHandle = Unique

deleteAsp :: Monad m => EAspect m -> AspectEnv m -> AspectEnv m