| Portability | non-portable (fundeps, MPTCs) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Safe-Infered |
Control.Comonad.Traced.Class
Description
Documentation
class Comonad w => ComonadTraced m w | w -> m whereSource
Instances
| ComonadTraced m w => ComonadTraced m (IdentityT w) | |
| ComonadTraced m w => ComonadTraced m (StoreT s w) | |
| ComonadTraced m w => ComonadTraced m (DiscontT k w) | |
| ComonadTraced m w => ComonadTraced m (StoreT s w) | |
| ComonadTraced m w => ComonadTraced m (DiscontT k w) | |
| ComonadTraced m w => ComonadTraced m (EnvT e w) | |
| ComonadTraced m w => ComonadTraced m (StoreT s w) | |
| ComonadTraced m w => ComonadTraced m (DiscontT k w) | |
| ComonadTraced m w => ComonadTraced m (EnvT e w) | |
| (Comonad w, Monoid m) => ComonadTraced m (TracedT m w) | |
| (Comonad w, Semigroup m, Monoid m) => ComonadTraced m (TracedT m w) |
traces :: ComonadTraced m w => (a -> m) -> w a -> aSource