Wumpus.Drawing.Basis.TraceGraphic

Build multi-part Graphics with an accumulator (i.e. a Writer monad).

Note - the run functions for the transformer and the plain monad are quite different. This is mandated by the need to single-thread the DrawingContext through the transformer.

Documentation

data TraceGraphic u a

Instances

Monad (TraceGraphic u)

Functor (TraceGraphic u)

Applicative (TraceGraphic u)

DrawingCtxM (TraceGraphic u)

TraceGraphicM (TraceGraphic u)

data TraceGraphicT u m a

Instances

Monad m => Monad (TraceGraphicT u m)

Monad m => Functor (TraceGraphicT u m)

Monad m => Applicative (TraceGraphicT u m)

Monad m => DrawingCtxM (TraceGraphicT u m)

Monad m => TraceGraphicM (TraceGraphicT u m)

class Monad m => TraceGraphicM m where

Methods

tellImage :: MonUnit (m ()) ~ u => Image u a -> m a

tellImage_ :: MonUnit (m ()) ~ u => Image u a -> m ()

Instances

TraceGraphicM (TraceGraphic u)

Monad m => TraceGraphicM (TraceGraphicT u m)

runTraceGraphic :: TraceGraphic u a -> Image u a

runTraceGraphicT :: Monad m => DrawingContext -> TraceGraphicT u m a -> m (a, HPrim u)

Note - this needs DrawingContext as an explicit parameter, and hence it returns a pair of (a, HPrim u) rather than an Image.

It is expected this will be wrapped in to form a specific TraceDrawing draw function for the amalgamated monad.

liftTraceGraphicT :: Monad m => m a -> TraceGraphicT u m a