effective-aspects-mzv-0.1.0.1: A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl.

Safe HaskellNone

AOP.Internal.OpenApp

Documentation

class Typeable1Monad m => OpenApp m whereSource

Methods

(#) :: PolyTypeable (a -> m b) => (a -> m b) -> a -> m bSource

Instances

Typeable1Monad m => OpenApp (AOT m)

Every regular functions is tagged with the same default tag.

class Typeable1Monad m => TaggedApp m whereSource

Methods

taggedApp :: PolyTypeable (a -> m b) => FunctionTag -> (a -> m b) -> a -> m bSource

Instances