Wumpus.Basic.Graphic.Drawing

Drawing with trace and drawing context (i.e. reader monad of attributes - fill_colour etc.).

** WARNING ** - some names are expected to change particularly the naming of the draw, drawAt, node, ... functions.

Documentation

data Drawing u a

Instances

Monad (Drawing u)

Functor (Drawing u)

Applicative (Drawing u)

DrawingCtxM (Drawing u)

TraceM (Drawing u)

data DrawingT u m a

Instances

Monad m => Monad (DrawingT u m)

Monad m => Functor (DrawingT u m)

Monad m => Applicative (DrawingT u m)

Monad m => DrawingCtxM (DrawingT u m)

Monad m => TraceM (DrawingT u m)

runDrawing :: DrawingContext -> Drawing u a -> (a, HPrim u)

execDrawing :: DrawingContext -> Drawing u a -> HPrim u

runDrawingT :: Monad m => DrawingContext -> DrawingT u m a -> m (a, HPrim u)

execDrawingT :: Monad m => DrawingContext -> DrawingT u m a -> m (HPrim u)

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

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

drawAt :: (TraceM m, DrawingCtxM m, u ~ MonUnit m) => Point2 u -> LocGraphic u -> m ()

drawAtImg :: (TraceM m, DrawingCtxM m, u ~ MonUnit m) => Point2 u -> LocImage u a -> m a

drawConn :: (TraceM m, DrawingCtxM m, u ~ MonUnit m) => Point2 u -> Point2 u -> ConnGraphic u -> m ()

drawConnImg :: (TraceM m, DrawingCtxM m, u ~ MonUnit m) => Point2 u -> Point2 u -> ConnImage u a -> m a

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