Wumpus.Drawing.Paths.Base.PathBuilder

Build relative paths monadically.

** WARNING ** this module is an experiment, and may change significantly or even be dropped from future revisions.

Documentation

class Monad m => LocTraceM m where

insertl analogue to Writer monad tell.

Methods

insertl :: MonUnit (m ()) ~ u => LocGraphic u -> m ()

insertl_ :: MonUnit (m ()) ~ u => LocImage u a -> m ()

moveBy :: MonUnit (m ()) ~ u => Vec2 u -> m ()

location :: MonUnit (m ()) ~ u => m (Vec2 u)

Instances

Num u => LocTraceM (LocTrace u)

(Floating u, InterpretUnit u) => LocTraceM (PathSpec u)

(Monad m, Num u) => LocTraceM (LocTraceT u m)

Num u => LocTraceM (RefTrace u z)

(Monad m, Floating u, InterpretUnit u) => LocTraceM (PathSpecT u m)

(Monad m, Num u) => LocTraceM (RefTraceT u z m)

data PathSpec u a

Instances

Monad (PathSpec u)

Functor (PathSpec u)

Applicative (PathSpec u)

(Floating u, InterpretUnit u) => LocTraceM (PathSpec u)

(Floating u, Ord u, Tolerance u, InterpretUnit u) => PathOpM (PathSpec u)

data PathSpecT u m a

Instances

Monad m => Monad (PathSpecT u m)

Monad m => Functor (PathSpecT u m)

Monad m => Applicative (PathSpecT u m)

(Monad m, Floating u, InterpretUnit u) => LocTraceM (PathSpecT u m)

(Monad m, Floating u, Ord u, Tolerance u, InterpretUnit u) => PathOpM (PathSpecT u m)

data Vamp u

Vamps...

data PathTerm

Constructors

SUBPATH_OPEN

SUBPATH_CLOSED DrawStyle

Instances

Eq PathTerm

Show PathTerm

makeVamp :: Vec2 u -> RelPath u -> PathTerm -> Vamp u

runPathSpec :: (Floating u, InterpretUnit u) => PathSpec u a -> (a, RelPath u, Vec2 u, LocGraphic u, LocGraphic u)

Run a PathSpec - return a five-tuple.

 (ans, path, end_vector, pen_trace, insert_trace) 

 ans - is the monadic answer, usually ().

 path - is the relative path formed by all movements during 
 the build. This includes movement where the pen is _up_.

 end_vector - is the cumulative displacement from the start 
 point.

 pen_trace - is ...

 insert_trace - 

execPathSpec :: (Floating u, InterpretUnit u) => PathSpec u a -> LocGraphic u

Run an PathSpec - return the LocGraphic formed by the pen trace and the insert trace, forget the outline of the path.

Note - the insert trace is printed above the pen trace in the z-order.

evalPathSpec :: (Floating u, InterpretUnit u) => PathSpec u a -> RelPath u

Run an PathSpec - return the outline of the path, forget the the pen trace and the insert trace.

runPathSpecT :: (Monad m, Floating u, InterpretUnit u) => PathSpecT u m a -> m (a, RelPath u, Vec2 u, LocGraphic u, LocGraphic u)

Transformer version of runPathSpec

execPathSpecT :: (Monad m, Floating u, InterpretUnit u) => PathSpecT u m a -> m (LocGraphic u)

Transformer version of execPathSpec

evalPathSpecT :: (Monad m, Floating u, InterpretUnit u) => PathSpecT u m a -> m (RelPath u)

Transformer version of evalPathSpec.

execPivot :: (Floating u, InterpretUnit u) => PathSpec u a -> PathSpec u a -> LocGraphic u

Form a "pivot path" drawing from two path specifications. The start point of the drawing is the pivot formed by joining the paths.

execPivotT :: (Floating u, InterpretUnit u, Monad m) => PathSpecT u m a -> PathSpecT u m a -> m (LocGraphic u)

Transformer version of execPivot.

class Monad m => PathOpM m where

updatePen will draw any in-progress path as an open-stroked line before changing the pen properties.

Methods

line :: u ~ MonUnit (m ()) => Vec2 u -> m ()

curve :: u ~ MonUnit (m ()) => Vec2 u -> Vec2 u -> Vec2 u -> m ()

updatePen :: DrawingContextF -> m ()

cycleSubPath :: DrawStyle -> m ()

vamp :: u ~ MonUnit (m ()) => Vamp u -> m ()

Instances

(Floating u, Ord u, Tolerance u, InterpretUnit u) => PathOpM (PathSpec u)

(Monad m, Floating u, Ord u, Tolerance u, InterpretUnit u) => PathOpM (PathSpecT u m)

Derived operators

pen_colour :: PathOpM m => RGBi -> m ()

pen_width :: PathOpM m => Double -> m ()

lines :: (PathOpM m, u ~ MonUnit (m ())) => [Vec2 u] -> m ()

hline :: (PathOpM m, Num u, u ~ MonUnit (m ())) => u -> m ()

vline :: (PathOpM m, Num u, u ~ MonUnit (m ())) => u -> m ()

aline :: (PathOpM m, Floating u, u ~ MonUnit (m ())) => Radian -> u -> m ()