| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Control.Monad.MultiWriter
Description
TODO: haddock ..
Documentation
newtype MultiWriterT x m a
Constructors
| MultiWriterT | |
Fields
| |
Instances
| MonadState s m => MonadState s (MultiWriterT c m) | |
| MonadWriter w m => MonadWriter w (MultiWriterT c m) | |
| (Monad m, ContainsType a c, Monoid a) => MonadMultiWriter a (MultiWriterT c m) | |
| MonadTrans (MultiWriterT x) | |
| Monad m => Monad (MultiWriterT x m) | |
| Functor f => Functor (MultiWriterT x f) | |
| (Applicative m, Monad m) => Applicative (MultiWriterT x m) |
type MultiWriterTNull = MultiWriterT Null
type MultiWriter x a = MultiWriterT x Identity a
class (Monad m, Monoid a) => MonadMultiWriter a m where
Methods
mTell :: a -> m ()
Instances
| (MonadTrans t, Monad (t m), MonadMultiWriter a m) => MonadMultiWriter a (t m) | |
| (Monad m, ContainsType a c, Monoid a) => MonadMultiWriter a (MultiWriterT c m) |
mGetRaw :: Monad m => MultiWriterT a m (HList a)
withMultiWriter :: Monad m => x -> MultiWriterT (Cons x xs) m a -> MultiWriterT xs m a
withMultiWriters :: Monad m => HList xs -> MultiWriterT (Append xs ys) m a -> MultiWriterT ys m a
runMultiWriterT :: (Monad m, Monoid (HList l)) => MultiWriterT l m a -> m (a, HList l)
execMultiWriterT :: (Monad m, Monoid (HList l)) => MultiWriterT l m a -> m (HList l)
mapMultiWriterT :: (m (a, HList w) -> m' (a', HList w)) -> MultiWriterT w m a -> MultiWriterT w m' a'
data Cons car cdr :: * -> * -> *
Instances
| (Show a, Show (HList b)) => Show (HList (Cons a b)) | |
| (Monoid x, Monoid (HList xs)) => Monoid (HList (Cons x xs)) | |
| (Show car, Show cdr) => Show (Cons car cdr) | |
| Typeable (* -> * -> *) Cons | |
| type IsNull (Cons car cdr) = False | |
| type Head (Cons car cdr) = car | |
| type Tail (Cons car cdr) = cdr | |
| type Reverse' (Cons car cdr) a = Reverse' cdr (Cons car a) | |
| type Append (Cons car1 cdr2) l2 = Cons car1 (Append cdr2 l2) |