Portability | GHC |
---|---|

Stability | highly unstable |

Maintainer | Stephen Tetley <stephen.tetley@gmail.com> |

Common core for shapes

- data Shape t u
- type DShape t = Shape t Double
- shapeMap :: (t u -> t' u) -> Shape t u -> Shape t' u
- makeShape :: InterpretUnit u => LocThetaQuery u (t u) -> LocThetaQuery u (AbsPath u) -> Shape t u
- strokedShape :: InterpretUnit u => Shape t u -> LocImage u (t u)
- dblStrokedShape :: InterpretUnit u => Shape t u -> LocImage u (t u)
- filledShape :: InterpretUnit u => Shape t u -> LocImage u (t u)
- borderedShape :: InterpretUnit u => Shape t u -> LocImage u (t u)
- rstrokedShape :: InterpretUnit u => Shape t u -> LocThetaImage u (t u)
- rfilledShape :: InterpretUnit u => Shape t u -> LocThetaImage u (t u)
- rborderedShape :: InterpretUnit u => Shape t u -> LocThetaImage u (t u)
- roundCornerShapePath :: (Real u, Floating u, InterpretUnit u, Tolerance u) => u -> [Point2 u] -> Query u (AbsPath u)
- updatePathAngle :: (Radian -> Radian) -> Shape t u -> Shape t u
- setDecoration :: LocThetaGraphic u -> Shape t u -> Shape t u
- data ShapeCTM u
- makeShapeCTM :: Point2 u -> Radian -> ShapeCTM u
- ctmCenter :: ShapeCTM u -> Point2 u
- ctmAngle :: ShapeCTM u -> Radian
- projectFromCtr :: (Real u, Floating u) => Vec2 u -> ShapeCTM u -> Anchor u

# Documentation

Shape is a record of three *LocTheta* functions -
functions *from Point and Angle to answer*.

The `shape_path_fun`

returns a path. When the Shape is drawn,
the rendering function (`strokedShape`

, etc.) uses the path for
drawing and returns the polymorphic answer `a`

of the
`shape_ans_fun`

. Lastly the `shape_decoration`

function can
instantiated to add decoration (e.g. text) to the Shape as it
is rendered.

The `a`

of the `shape_ans_fun`

represents some concrete shape
object (e.g. a Rectangle, Triangle etc.). Crucial for shape
objects is that they support Anchors - this allows connectors
to address specific locations on the Shape border so
"node and link" diagrams can be made easily.

makeShape :: InterpretUnit u => LocThetaQuery u (t u) -> LocThetaQuery u (AbsPath u) -> Shape t uSource

strokedShape :: InterpretUnit u => Shape t u -> LocImage u (t u)Source

dblStrokedShape :: InterpretUnit u => Shape t u -> LocImage u (t u)Source

Note - this is simplistic double stroking - draw a background line with triple thickness and draw a white line on top.

I think this is what TikZ does, but it works better for TikZ where the extra thickness seems to be accounted for by the anchors. For Wumpus, arrows cut into the outside black line.

Probably Wumpus should calculate two paths instead.

filledShape :: InterpretUnit u => Shape t u -> LocImage u (t u)Source

borderedShape :: InterpretUnit u => Shape t u -> LocImage u (t u)Source

rstrokedShape :: InterpretUnit u => Shape t u -> LocThetaImage u (t u)Source

rfilledShape :: InterpretUnit u => Shape t u -> LocThetaImage u (t u)Source

rborderedShape :: InterpretUnit u => Shape t u -> LocThetaImage u (t u)Source

roundCornerShapePath :: (Real u, Floating u, InterpretUnit u, Tolerance u) => u -> [Point2 u] -> Query u (AbsPath u)Source

Draw the shape path with round corners.

updatePathAngle :: (Radian -> Radian) -> Shape t u -> Shape t uSource

The path angle can be modified. This allows *inverse*
versions of shapes (e.g. InvTriangle) to be made by
wrapping a base Shape but rotating the path prior to drawing
it.

Only the Path needs rotating, the decoration takes the original angle. The anchors are typically implemented by rotating the correspoding anchor of the wrapped Shape about its center.

setDecoration :: LocThetaGraphic u -> Shape t u -> Shape t uSource

makeShapeCTM :: Point2 u -> Radian -> ShapeCTM uSource