Wumpus.Basic.Paths.Base

Extended path type - more amenable for complex drawings than the type in Wumpus-Core.

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

Documentation

data Path u

Constructors

Path

Fields

path_length :: u

path_elements :: Seq (PathSeg u)

Instances

Eq u => Eq (Path u)

Ord u => Ord (Path u)

Show u => Show (Path u)

data PathSeg u

Constructors

LineSeg u (Line u)

CurveSeg u (Curve u)

Instances

Eq u => Eq (PathSeg u)

Ord u => Ord (PathSeg u)

Show u => Show (PathSeg u)

data Curve u

Constructors

Curve

Fields

curve_start :: Point2 u

ctrl_point1 :: Point2 u

ctrl_point2 :: Point2 u

curve_end :: Point2 u

Instances

Eq u => Eq (Curve u)

Ord u => Ord (Curve u)

Show u => Show (Curve u)

data Line u

Constructors

Line

Fields

line_start :: Point2 u

line_end :: Point2 u

Instances

Eq u => Eq (Line u)

Ord u => Ord (Line u)

Show u => Show (Line u)

emptyPath :: Num u => Path u

pline :: Floating u => Point2 u -> Point2 u -> PathSeg u

pcurve :: (Floating u, Ord u) => Point2 u -> Point2 u -> Point2 u -> Point2 u -> PathSeg u

addSegment :: Num u => Path u -> PathSeg u -> Path u

segmentLength :: PathSeg u -> u

segmentStart :: PathSeg u -> Point2 u

segmentEnd :: PathSeg u -> Point2 u

toPrimPath :: Path u -> Maybe (PrimPath u)

Turn a BasicPath into an ordinary Path.

An empty path returns Nothing - the path representation in Wumpus-Core does not allow empty paths - a path must always have at least start point.

Assumes path is properly formed - i.e. end point of one segment is the same point as the start point of the next segment.

toPrimPathU :: Path u -> PrimPath u

subdivide :: Fractional u => Curve u -> (Curve u, Curve u)

Curve subdivision via de Casteljau's algorithm.

subdividet :: Real u => u -> Curve u -> (Curve u, Curve u)

subdivide with an affine weight along the line...