| Copyright | (C) 2008-2012 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable (fundeps, MPTCs) |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Control.Comonad.Traced.Class
Description
Documentation
class Comonad w => ComonadTraced m w | w -> m where Source
Instances
| ComonadTraced m w => ComonadTraced m (IdentityT w) | |
| ComonadTraced m w => ComonadTraced m (StoreT s w) | |
| ComonadTraced m w => ComonadTraced m (EnvT e w) | |
| (Comonad w, Monoid m) => ComonadTraced m (TracedT m w) |
traces :: ComonadTraced m w => (a -> m) -> w a -> a Source