wumpus-basic-0.2.0: Common drawing utilities built on wumpus-core.Source codeContentsIndex

"Trace" monad and monad transformer.

Trace is operationally similar to the Writer monad but it supports elementary consing as well as the Writer's monoidal concatenation.

Note, some care is needed to order the output to a trace with respect to the Z-order of a drawing. The API here may well be too limited...

data Trace i a Source
show/hide Instances
data TraceT i m a Source
show/hide Instances
MonadT (TraceT i)
Monad m => Monad (TraceT i m)
Monad m => Functor (TraceT i m)
Monad m => Applicative (TraceT i m)
Monad m => TraceM (TraceT i m) i
class TraceM m i | m -> i whereSource
trace :: H i -> m ()Source
trace1 :: i -> m ()Source
show/hide Instances
TraceM (Trace i) i
Monad m => TraceM (TraceT i m) i
runTrace :: Trace i a -> (a, H i)Source
runTraceT :: Monad m => TraceT i m a -> m (a, H i)Source
Produced by Haddock version 2.6.1