| Safe Haskell | None |
|---|
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
| Typeable1Monad m => TaggedApp (AOT m) |