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

data GenPathSpec st u a

Instances

Monad (GenPathSpec st u)

Functor (GenPathSpec st u)

Applicative (GenPathSpec st u)

UserStateM (GenPathSpec st u)

InterpretUnit u => InsertlM (GenPathSpec st u)

InterpretUnit u => LocationM (GenPathSpec st u)

InterpretUnit u => CursorM (GenPathSpec st u)

DrawingCtxM (GenPathSpec st u)

Monoid a => Monoid (GenPathSpec st u a)

type PathSpec u a = GenPathSpec () u a

data Vamp u

Constructors

Vamp

Fields

vamp_move :: Vec2 u

vamp_conn :: ConnectorGraphic u

data PathTerm

Constructors

PATH_OPEN

PATH_CLOSED DrawStyle

Instances

Eq PathTerm

Show PathTerm

runGenPathSpec :: InterpretUnit u => GenPathSpec st u a -> st -> PathTerm -> LocImage u (a, st, RelPath u)

execGenPathSpec :: InterpretUnit u => GenPathSpec st u a -> st -> PathTerm -> LocImage u (st, RelPath u)

evalGenPathSpec :: InterpretUnit u => GenPathSpec st u a -> st -> PathTerm -> LocImage u (a, RelPath u)

stripGenPathSpec :: InterpretUnit u => GenPathSpec st u a -> st -> PathTerm -> LocQuery u (a, st, RelPath u)

runPathSpec :: InterpretUnit u => PathSpec u a -> PathTerm -> LocImage u (a, RelPath u)

runPathSpec_ :: InterpretUnit u => PathSpec u a -> PathTerm -> LocGraphic u

runPivot :: (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.

penline :: InterpretUnit u => Vec2 u -> GenPathSpec st u ()

Extend the path with a line, drawn by the pen.

pencurve :: InterpretUnit u => Vec2 u -> Vec2 u -> Vec2 u -> GenPathSpec st u ()

Extend the path with a curve, drawn by the pen.

breakPath :: InterpretUnit u => GenPathSpec st u ()

hpenline :: InterpretUnit u => u -> GenPathSpec st u ()

vpenline :: InterpretUnit u => u -> GenPathSpec st u ()

apenline :: (Floating u, InterpretUnit u) => Radian -> u -> GenPathSpec st u ()

penlines :: InterpretUnit u => [Vec2 u] -> GenPathSpec st u ()

pathmoves :: InterpretUnit u => [Vec2 u] -> GenPathSpec st u ()

vamp :: InterpretUnit u => Vamp u -> GenPathSpec st u ()

cycleSubPath :: DrawStyle -> GenPathSpec st u ()

localPen :: DrawingContextF -> GenPathSpec st u a -> GenPathSpec st u a