Wumpus.Basic.Kernel.Objects.TraceDrawing

Drawing with trace - a Writer like monad collecting intermediate graphics - and drawing context - a reader monad of attributes - font_face, fill_colour etc.

Documentation

data TraceDrawing u a

Instances

Monad (TraceDrawing u)

Functor (TraceDrawing u)

Applicative (TraceDrawing u)

DrawingCtxM (TraceDrawing u)

TraceM (TraceDrawing u)

type DTraceDrawing a = TraceDrawing Double a

data TraceDrawingT u m a

Instances

Monad m => Monad (TraceDrawingT u m)

Monad m => Functor (TraceDrawingT u m)

Monad m => Applicative (TraceDrawingT u m)

Monad m => DrawingCtxM (TraceDrawingT u m)

Monad m => TraceM (TraceDrawingT u m)

type DTraceDrawingT m a = TraceDrawingT Double m a

runTraceDrawing :: DrawingContext -> TraceDrawing u a -> (a, HPrim u)

execTraceDrawing :: DrawingContext -> TraceDrawing u a -> HPrim u

Run the drawing returning only the output it produces, drop any answer from the monadic computation.

evalTraceDrawing :: DrawingContext -> TraceDrawing u a -> a

Run the drawing ignoring the output it produces, return the answer from the monadic computation.

Note - this useful for testing, generally one would want the opposite behaviour (return the drawing, ignore than the answer).

runTraceDrawingT :: Monad m => DrawingContext -> TraceDrawingT u m a -> m (a, HPrim u)

execTraceDrawingT :: Monad m => DrawingContext -> TraceDrawingT u m a -> m (HPrim u)

evalTraceDrawingT :: Monad m => DrawingContext -> TraceDrawingT u m a -> m a

liftToPictureU :: (Real u, Floating u, FromPtSize u) => HPrim u -> Picture u

Unsafe promotion of HPrim to Picture.

If the HPrim is empty, a run-time error is thrown.

liftToPictureMb :: (Real u, Floating u, FromPtSize u) => HPrim u -> Maybe (Picture u)

Safe promotion of HPrim to (Maybe Picture).

If the HPrim is empty, then Nothing is returned.

mbPictureU :: (Real u, Floating u, FromPtSize u) => Maybe (Picture u) -> Picture u

Unsafe promotion of (Maybe Picture) to Picture.

This is equivalent to:

 fromMaybe (error "empty") $ pic

This function is solely a convenience, using it saves one import and a few characters.

If the supplied value is Nothing a run-time error is thrown.

query :: DrawingCtxM m => CF a -> m a

draw :: (TraceM m, DrawingCtxM m, u ~ MonUnit m) => Graphic u -> m ()

Draw a Graphic taking the drawing style from the drawing context.

This operation is analogeous to tell in a Writer monad.

xdraw :: (TraceM m, DrawingCtxM m, u ~ MonUnit m) => XLink -> Graphic u -> m ()

Hyperlink version of draw.

drawi :: (TraceM m, DrawingCtxM m, u ~ MonUnit m) => Image u a -> m a

Draw an Image taking the drawing style from the drawing context.

The graphic representation of the Image is drawn in the Trace monad, and the result is returned.

drawi_ :: (TraceM m, DrawingCtxM m, MonUnit m ~ u) => Image u a -> m ()

Forgetful drawi.

xdrawi :: (TraceM m, DrawingCtxM m, MonUnit m ~ u) => XLink -> Image u a -> m a

Hyperlink version of drawi.

xdrawi_ :: (TraceM m, DrawingCtxM m, MonUnit m ~ u) => XLink -> Image u a -> m ()

Forgetful xdrawi.

node :: (TraceM m, DrawingCtxM m, PointSupplyM m, MonUnit m ~ u) => LocGraphic u -> m ()

nodei :: (TraceM m, DrawingCtxM m, PointSupplyM m, MonUnit m ~ u) => LocImage u a -> m a