Safe Haskell | None |
---|
Documentation
class Typeable1Monad m => OpenApp m whereSource
(#) :: PolyTypeable (a -> m b) => (a -> m b) -> a -> m bSource
Typeable1Monad m => OpenApp (AOT m) | Every regular functions is tagged with the same default tag. |
class Typeable1Monad m => TaggedApp m whereSource
taggedApp :: PolyTypeable (a -> m b) => FunctionTag -> (a -> m b) -> a -> m bSource
Typeable1Monad m => TaggedApp (AOT m) |