Geom2D.CubicBezier.Linear

Convenience wrapper around CubicBezier

Documentation

newtype AnyBezier a

A bezier curve of any degree.

Constructors

AnyBezier (Vector (V2 a))

Instances

GenericBezier AnyBezier

Defined in Geom2D.CubicBezier.Linear

Methods

degree :: Unbox a => AnyBezier a -> Int

toVector :: Unbox a => AnyBezier a -> Vector (a, a)

unsafeFromVector :: Unbox a => Vector (a, a) -> AnyBezier a

data CubicBezier a

A cubic bezier curve.

Constructors

CubicBezier

Fields

• cubicC0 :: !(V2 a)
• cubicC1 :: !(V2 a)
• cubicC2 :: !(V2 a)
• cubicC3 :: !(V2 a)

Instances

GenericBezier CubicBezier

Defined in Geom2D.CubicBezier.Linear

Methods

degree :: Unbox a => CubicBezier a -> Int

toVector :: Unbox a => CubicBezier a -> Vector (a, a)

unsafeFromVector :: Unbox a => Vector (a, a) -> CubicBezier a

Eq a => Eq (CubicBezier a)

Defined in Geom2D.CubicBezier.Linear

Methods

(==) :: CubicBezier a -> CubicBezier a -> Bool

(/=) :: CubicBezier a -> CubicBezier a -> Bool

Show a => Show (CubicBezier a)

Defined in Geom2D.CubicBezier.Linear

Methods

showsPrec :: Int -> CubicBezier a -> ShowS

show :: CubicBezier a -> String

showList :: [CubicBezier a] -> ShowS

data QuadBezier a

A quadratic bezier curve.

Constructors

QuadBezier

Fields

• quadC0 :: !(V2 a)
• quadC1 :: !(V2 a)
• quadC2 :: !(V2 a)

Instances

GenericBezier QuadBezier

Defined in Geom2D.CubicBezier.Linear

Methods

degree :: Unbox a => QuadBezier a -> Int

toVector :: Unbox a => QuadBezier a -> Vector (a, a)

unsafeFromVector :: Unbox a => Vector (a, a) -> QuadBezier a

Eq a => Eq (QuadBezier a)

Defined in Geom2D.CubicBezier.Linear

Methods

(==) :: QuadBezier a -> QuadBezier a -> Bool

(/=) :: QuadBezier a -> QuadBezier a -> Bool

Show a => Show (QuadBezier a)

Defined in Geom2D.CubicBezier.Linear

Methods

showsPrec :: Int -> QuadBezier a -> ShowS

show :: QuadBezier a -> String

showList :: [QuadBezier a] -> ShowS

data OpenPath a

Open cubicbezier path.

Constructors

OpenPath [(V2 a, PathJoin a)] (V2 a)

Instances

Eq a => Eq (OpenPath a)

Defined in Geom2D.CubicBezier.Linear

Methods

(==) :: OpenPath a -> OpenPath a -> Bool

(/=) :: OpenPath a -> OpenPath a -> Bool

Show a => Show (OpenPath a)

Defined in Geom2D.CubicBezier.Linear

Methods

showsPrec :: Int -> OpenPath a -> ShowS

show :: OpenPath a -> String

showList :: [OpenPath a] -> ShowS

newtype ClosedPath a

Closed cubicbezier path.

Constructors

ClosedPath [(V2 a, PathJoin a)]

Instances

Eq a => Eq (ClosedPath a)

Defined in Geom2D.CubicBezier.Linear

Methods

(==) :: ClosedPath a -> ClosedPath a -> Bool

(/=) :: ClosedPath a -> ClosedPath a -> Bool

Show a => Show (ClosedPath a)

Defined in Geom2D.CubicBezier.Linear

Methods

showsPrec :: Int -> ClosedPath a -> ShowS

show :: ClosedPath a -> String

showList :: [ClosedPath a] -> ShowS

data PathJoin a

Join two points with either a straight line or a bezier curve with two control points.

Constructors

JoinLine

JoinCurve (V2 a) (V2 a)

Instances

Eq a => Eq (PathJoin a)

Defined in Geom2D.CubicBezier.Linear

Methods

(==) :: PathJoin a -> PathJoin a -> Bool

(/=) :: PathJoin a -> PathJoin a -> Bool

Show a => Show (PathJoin a)

Defined in Geom2D.CubicBezier.Linear

Methods

showsPrec :: Int -> PathJoin a -> ShowS

show :: PathJoin a -> String

showList :: [PathJoin a] -> ShowS

newtype ClosedMetaPath a

Closed meta path.

Constructors

ClosedMetaPath [(V2 a, MetaJoin a)]

Instances

Eq a => Eq (ClosedMetaPath a)

Defined in Geom2D.CubicBezier.Linear

Methods

(==) :: ClosedMetaPath a -> ClosedMetaPath a -> Bool

(/=) :: ClosedMetaPath a -> ClosedMetaPath a -> Bool

Show a => Show (ClosedMetaPath a)

Defined in Geom2D.CubicBezier.Linear

Methods

showsPrec :: Int -> ClosedMetaPath a -> ShowS

show :: ClosedMetaPath a -> String

showList :: [ClosedMetaPath a] -> ShowS

data OpenMetaPath a

Open meta path

Constructors

OpenMetaPath [(V2 a, MetaJoin a)] (V2 a)

Instances

Eq a => Eq (OpenMetaPath a)

Defined in Geom2D.CubicBezier.Linear

Methods

(==) :: OpenMetaPath a -> OpenMetaPath a -> Bool

(/=) :: OpenMetaPath a -> OpenMetaPath a -> Bool

Show a => Show (OpenMetaPath a)

Defined in Geom2D.CubicBezier.Linear

Methods

showsPrec :: Int -> OpenMetaPath a -> ShowS

show :: OpenMetaPath a -> String

showList :: [OpenMetaPath a] -> ShowS

data MetaJoin a

Join two meta points with either a bezier curve or tension contraints.

Constructors

MetaJoin

Fields

• metaTypeL :: MetaNodeType a
• tensionL :: Tension a
• tensionR :: Tension a
• metaTypeR :: MetaNodeType a

Controls (V2 a) (V2 a)

Instances

Eq a => Eq (MetaJoin a)

Defined in Geom2D.CubicBezier.Linear

Methods

(==) :: MetaJoin a -> MetaJoin a -> Bool

(/=) :: MetaJoin a -> MetaJoin a -> Bool

Show a => Show (MetaJoin a)

Defined in Geom2D.CubicBezier.Linear

Methods

showsPrec :: Int -> MetaJoin a -> ShowS

show :: MetaJoin a -> String

showList :: [MetaJoin a] -> ShowS

data MetaNodeType a

Node constraint type.

Constructors

Open

Curl

Fields

• curlgamma :: a

Direction

Fields

• nodedir :: V2 a

Instances

Eq a => Eq (MetaNodeType a)

Defined in Geom2D.CubicBezier.Linear

Methods

(==) :: MetaNodeType a -> MetaNodeType a -> Bool

(/=) :: MetaNodeType a -> MetaNodeType a -> Bool

Show a => Show (MetaNodeType a)

Defined in Geom2D.CubicBezier.Linear

Methods

showsPrec :: Int -> MetaNodeType a -> ShowS

show :: MetaNodeType a -> String

showList :: [MetaNodeType a] -> ShowS

data FillRule

Describe the possible filling algorithms. Map the values of the `fill-rule` attributes.

Constructors

FillEvenOdd

Corresponds to the evenodd value.

FillNonZero

Corresponds to the nonzero value.

Instances

Eq FillRule

Defined in Graphics.SvgTree.Types.Basic

Methods

(==) :: FillRule -> FillRule -> Bool

(/=) :: FillRule -> FillRule -> Bool

Show FillRule

Defined in Graphics.SvgTree.Types.Basic

Methods

showsPrec :: Int -> FillRule -> ShowS

show :: FillRule -> String

showList :: [FillRule] -> ShowS

Generic FillRule

Defined in Graphics.SvgTree.Types.Basic

Associated Types

type Rep FillRule :: Type -> Type

Methods

from :: FillRule -> Rep FillRule x

to :: Rep FillRule x -> FillRule

ParseableAttribute FillRule

Defined in Graphics.SvgTree.XmlParser

Methods

aparse :: String -> Maybe FillRule

aserialize :: FillRule -> Maybe String

type Rep FillRule

Defined in Graphics.SvgTree.Types.Basic

type Rep FillRule = D1 ('MetaData "FillRule" "Graphics.SvgTree.Types.Basic" "reanimate-svg-0.13.0.1-CBuw2NjWFfA5pFepF8upQ9" 'False) (C1 ('MetaCons "FillEvenOdd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FillNonZero" 'PrefixI 'False) (U1 :: Type -> Type))

data Tension a

The tension value specifies how tense the curve is. A higher value means the curve approaches a line segment, while a lower value means the curve is more round. Metafont doesn't allow values below 3/4.

Constructors

Tension

Fields

• tensionValue :: a

TensionAtLeast

Like Tension, but keep the segment inside the bounding triangle defined by the control points, if there is one.

Fields

• tensionValue :: a

Instances

Functor Tension

Defined in Geom2D.CubicBezier.Linear

Methods

fmap :: (a -> b) -> Tension a -> Tension b

(<$) :: a -> Tension b -> Tension a

Foldable Tension

Defined in Geom2D.CubicBezier.Linear

Methods

fold :: Monoid m => Tension m -> m

foldMap :: Monoid m => (a -> m) -> Tension a -> m

foldMap' :: Monoid m => (a -> m) -> Tension a -> m

foldr :: (a -> b -> b) -> b -> Tension a -> b

foldr' :: (a -> b -> b) -> b -> Tension a -> b

foldl :: (b -> a -> b) -> b -> Tension a -> b

foldl' :: (b -> a -> b) -> b -> Tension a -> b

foldr1 :: (a -> a -> a) -> Tension a -> a

foldl1 :: (a -> a -> a) -> Tension a -> a

toList :: Tension a -> [a]

null :: Tension a -> Bool

length :: Tension a -> Int

elem :: Eq a => a -> Tension a -> Bool

maximum :: Ord a => Tension a -> a

minimum :: Ord a => Tension a -> a

sum :: Num a => Tension a -> a

product :: Num a => Tension a -> a

Traversable Tension

Defined in Geom2D.CubicBezier.Linear

Methods

traverse :: Applicative f => (a -> f b) -> Tension a -> f (Tension b)

sequenceA :: Applicative f => Tension (f a) -> f (Tension a)

mapM :: Monad m => (a -> m b) -> Tension a -> m (Tension b)

sequence :: Monad m => Tension (m a) -> m (Tension a)

Eq a => Eq (Tension a)

Defined in Geom2D.CubicBezier.Linear

Methods

(==) :: Tension a -> Tension a -> Bool

(/=) :: Tension a -> Tension a -> Bool

Show a => Show (Tension a)

Defined in Geom2D.CubicBezier.Linear

Methods

showsPrec :: Int -> Tension a -> ShowS

show :: Tension a -> String

showList :: [Tension a] -> ShowS

quadToCubic :: Fractional a => QuadBezier a -> CubicBezier a

Convert a quadratic bezier to a cubic bezier.

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

arcLength c t tol finds the arclength of the bezier c at t, within given tolerance tol.

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

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

splitBezier :: (Unbox a, Fractional a, GenericBezier b) => b a -> a -> (b a, b a)

Split a bezier curve into two curves.

colinear :: CubicBezier Double -> Double -> Bool

Return False if some points fall outside a line with a thickness of the given tolerance.

evalBezier :: (GenericBezier b, Unbox a, Fractional a) => b a -> a -> V2 a

Calculate a value on the bezier curve.

evalBezierDeriv :: (Unbox a, Fractional a, GenericBezier b) => b a -> a -> (V2 a, V2 a)

Calculate a value and the first derivative on the curve.

bezierHoriz :: CubicBezier Double -> [Double]

Find the parameter where the bezier curve is horizontal.

bezierVert :: CubicBezier Double -> [Double]

Find the parameter where the bezier curve is vertical.

bezierSubsegment :: (Ord a, Unbox a, Fractional a, GenericBezier b) => b a -> a -> a -> b a

Return the subsegment between the two parameters.

reorient :: (GenericBezier b, Unbox a) => b a -> b a

Reorient to the curve B(1-t).

closedPathCurves :: Fractional a => ClosedPath a -> [CubicBezier a]

Return the closed path as a list of curves.

openPathCurves :: Fractional a => OpenPath a -> [CubicBezier a]

Return the open path as a list of curves.

curvesToClosed :: [CubicBezier a] -> ClosedPath a

Make an open path from a list of curves. The last control point of each curve is ignored.

closest :: CubicBezier Double -> V2 Double -> Double -> Double

Find the closest value on the bezier to the given point, within tolerance. Return the first value found.

unmetaOpen :: OpenMetaPath Double -> OpenPath Double

Create a normal path from a metapath.

unmetaClosed :: ClosedMetaPath Double -> ClosedPath Double

Create a normal path from a metapath.

union :: [ClosedPath Double] -> FillRule -> Double -> [ClosedPath Double]

`O((n+m)*log(n+m))`, for n segments and m intersections. Union of paths, removing overlap and rounding to the given tolerance.

bezierIntersection :: CubicBezier Double -> CubicBezier Double -> Double -> [(Double, Double)]

Find the intersections between two Bezier curves, using the Bezier Clip algorithm. Returns the parameters for both curves.

interpolateVector :: Num a => V2 a -> V2 a -> a -> V2 a

Interpolate between two vectors.

vectorDistance :: Floating a => V2 a -> V2 a -> a

Distance between two vectors.

findBezierInflection :: CubicBezier Double -> [Double]

Find inflection points on the curve.

findBezierCusp :: CubicBezier Double -> [Double]

Find the cusps of a bezier.