Geom2D.CubicBezier.Basic

Documentation

data CubicBezier

Constructors

CubicBezier

Fields

bezierC0 :: Point

bezierC1 :: Point

bezierC2 :: Point

bezierC3 :: Point

Instances

Show CubicBezier

AffineTransform CubicBezier

data PathJoin

Constructors

JoinLine

JoinCurve Point Point

Instances

Show PathJoin

data Path

Constructors

OpenPath [(Point, PathJoin)] Point

ClosedPath [(Point, PathJoin)]

Instances

Show Path

class AffineTransform a where

Methods

transform :: Transform -> a -> a

Instances

AffineTransform Polygon

AffineTransform Transform

AffineTransform Point

AffineTransform CubicBezier

bezierParam :: Double -> Bool

Return True if the param lies on the curve, iff it's in the interval [0, 1].

bezierParamTolerance :: CubicBezier -> Double -> Double

Convert a tolerance from the codomain to the domain of the bezier curve. Should be good enough, but may not hold for high very tolerance values.

reorient :: CubicBezier -> CubicBezier

Reorient to the curve B(1-t).

bezierToBernstein :: CubicBezier -> (BernsteinPoly, BernsteinPoly)

Give the bernstein polynomial for each coordinate.

evalBezier :: CubicBezier -> Double -> Point

Calculate a value on the curve.

evalBezierDeriv :: CubicBezier -> Double -> (Point, Point)

Calculate a value and the first derivative on the curve.

evalBezierDerivs :: CubicBezier -> Double -> [Point]

Calculate a value and all derivatives on the curve.

findBezierTangent :: Point -> CubicBezier -> [Double]

findBezierTangent p b finds the parameters where the tangent of the bezier curve b has the same direction as vector p.

bezierHoriz :: CubicBezier -> [Double]

Find the parameter where the bezier curve is horizontal.

bezierVert :: CubicBezier -> [Double]

Find the parameter where the bezier curve is vertical.

findBezierInflection :: CubicBezier -> [Double]

Find inflection points on the curve.

findBezierCusp :: CubicBezier -> [Double]

Find the cusps of a bezier.

arcLength :: CubicBezier -> Double -> Double -> Double

arcLengthParam :: CubicBezier -> Double -> Double -> Double

arcLengthParam c len tol finds the parameter where the curve c has the arclength len, within tolerance tol.

splitBezier :: CubicBezier -> Double -> (CubicBezier, CubicBezier)

Split a bezier curve into two curves.

bezierSubsegment :: CubicBezier -> Double -> Double -> CubicBezier

Return the subsegment between the two parameters.

splitBezierN :: CubicBezier -> [Double] -> [CubicBezier]

Split a bezier curve into a list of beziers The parameters should be in ascending order or the result is unpredictable.

colinear :: CubicBezier -> Double -> Bool

Return True if all the control points are colinear within tolerance.