Diagrams.Segment

A segment is a translation-invariant, atomic path. Currently, there are two types: linear (i.e. just a straight line to the endpoint) and cubic Bézier curves (i.e. a curve to an endpoint with two control points). This module contains tools for creating and manipulating segments, as well as a definition of segments with a fixed location (useful for backend implementors).

Generally speaking, casual users of diagrams should not need this module; the higher-level functionality provided by Diagrams.Trail, Diagrams.TrailLike, and Diagrams.Path should usually suffice. However, directly manipulating segments can occasionally be useful.

Open/closed tags

data Open

Type tag for open segments.

Instances

Serialize (v n) => Serialize (Segment Open v n)

Defined in Diagrams.Segment

Methods

put :: Putter (Segment Open v n)

get :: Get (Segment Open v n)

data Closed

Type tag for closed segments.

Instances

(Additive v, Num n) => EndValues (Tangent (Segment Closed v n))

Defined in Diagrams.Tangent

Methods

atStart :: Tangent (Segment Closed v n) -> Codomain (Tangent (Segment Closed v n)) (N (Tangent (Segment Closed v n)))

atEnd :: Tangent (Segment Closed v n) -> Codomain (Tangent (Segment Closed v n)) (N (Tangent (Segment Closed v n)))

(Additive v, Num n) => Parametric (Tangent (Segment Closed v n))

Defined in Diagrams.Tangent

Methods

atParam :: Tangent (Segment Closed v n) -> N (Tangent (Segment Closed v n)) -> Codomain (Tangent (Segment Closed v n)) (N (Tangent (Segment Closed v n)))

ToPath (Located (Segment Closed v n))

Defined in Diagrams.Path

Methods

toPath :: Located (Segment Closed v n) -> Path (V (Located (Segment Closed v n))) (N (Located (Segment Closed v n)))

ToPath (Located [Segment Closed v n])

Defined in Diagrams.Path

Methods

toPath :: Located [Segment Closed v n] -> Path (V (Located [Segment Closed v n])) (N (Located [Segment Closed v n]))

(Metric v, OrderedField n, Metric u, OrderedField n') => Cons (SegTree v n) (SegTree u n') (Segment Closed v n) (Segment Closed u n')

Defined in Diagrams.Trail

Methods

_Cons :: Prism (SegTree v n) (SegTree u n') (Segment Closed v n, SegTree v n) (Segment Closed u n', SegTree u n')

(Metric v, OrderedField n, Metric u, OrderedField n') => Snoc (SegTree v n) (SegTree u n') (Segment Closed v n) (Segment Closed u n')

Defined in Diagrams.Trail

Methods

_Snoc :: Prism (SegTree v n) (SegTree u n') (SegTree v n, Segment Closed v n) (SegTree u n', Segment Closed u n')

(OrderedField n, Metric v) => Measured (SegMeasure v n) (Segment Closed v n)

Defined in Diagrams.Segment

Methods

measure :: Segment Closed v n -> SegMeasure v n

Serialize (v n) => Serialize (Segment Closed v n)

Defined in Diagrams.Segment

Methods

put :: Putter (Segment Closed v n)

get :: Get (Segment Closed v n)

(Metric v, OrderedField n) => Enveloped (Segment Closed v n)

The envelope for a segment is based at the segment's start.

Defined in Diagrams.Segment

Methods

getEnvelope :: Segment Closed v n -> Envelope (V (Segment Closed v n)) (N (Segment Closed v n))

OrderedField n => Traced (Segment Closed V2 n)

Defined in Diagrams.TwoD.Segment

Methods

getTrace :: Segment Closed V2 n -> Trace (V (Segment Closed V2 n)) (N (Segment Closed V2 n))

Num n => DomainBounds (Segment Closed v n)

Defined in Diagrams.Segment

Methods

domainLower :: Segment Closed v n -> N (Segment Closed v n)

domainUpper :: Segment Closed v n -> N (Segment Closed v n)

(Additive v, Num n) => EndValues (Segment Closed v n)

Defined in Diagrams.Segment

Methods

atStart :: Segment Closed v n -> Codomain (Segment Closed v n) (N (Segment Closed v n))

atEnd :: Segment Closed v n -> Codomain (Segment Closed v n) (N (Segment Closed v n))

(Metric v, OrderedField n) => HasArcLength (Segment Closed v n)

Defined in Diagrams.Segment

Methods

arcLengthBounded :: N (Segment Closed v n) -> Segment Closed v n -> Interval (N (Segment Closed v n))

arcLength :: N (Segment Closed v n) -> Segment Closed v n -> N (Segment Closed v n)

stdArcLength :: Segment Closed v n -> N (Segment Closed v n)

arcLengthToParam :: N (Segment Closed v n) -> Segment Closed v n -> N (Segment Closed v n) -> N (Segment Closed v n)

stdArcLengthToParam :: Segment Closed v n -> N (Segment Closed v n) -> N (Segment Closed v n)

(Additive v, Num n) => Parametric (Segment Closed v n)

atParam yields a parametrized view of segments as continuous functions [0,1] -> v, which give the offset from the start of the segment for each value of the parameter between 0 and 1. It is designed to be used infix, like seg `atParam` 0.5.

Defined in Diagrams.Segment

Methods

atParam :: Segment Closed v n -> N (Segment Closed v n) -> Codomain (Segment Closed v n) (N (Segment Closed v n))

(Additive v, Fractional n) => Sectionable (Segment Closed v n)

Defined in Diagrams.Segment

Methods

splitAtParam :: Segment Closed v n -> N (Segment Closed v n) -> (Segment Closed v n, Segment Closed v n)

section :: Segment Closed v n -> N (Segment Closed v n) -> N (Segment Closed v n) -> Segment Closed v n

reverseDomain :: Segment Closed v n -> Segment Closed v n

(Additive v, Num n) => Reversing (Segment Closed v n)

Reverse the direction of a segment.

Defined in Diagrams.Segment

Methods

reversing :: Segment Closed v n -> Segment Closed v n

(Metric v, OrderedField n, Metric u, OrderedField n') => Cons (Trail' Line v n) (Trail' Line u n') (Segment Closed v n) (Segment Closed u n')

Defined in Diagrams.Trail

Methods

_Cons :: Prism (Trail' Line v n) (Trail' Line u n') (Segment Closed v n, Trail' Line v n) (Segment Closed u n', Trail' Line u n')

(Metric v, OrderedField n, Metric u, OrderedField n') => Snoc (Trail' Line v n) (Trail' Line u n') (Segment Closed v n) (Segment Closed u n')

Defined in Diagrams.Trail

Methods

_Snoc :: Prism (Trail' Line v n) (Trail' Line u n') (Trail' Line v n, Segment Closed v n) (Trail' Line u n', Segment Closed u n')

type Codomain (Segment Closed v n)

Defined in Diagrams.Segment

type Codomain (Segment Closed v n) = v

Segment offsets

data Offset c v n where

The offset of a segment is the vector from its starting point to its end. The offset for an open segment is determined by the context, i.e. its endpoint is not fixed. The offset for a closed segment is stored explicitly, i.e. its endpoint is at a fixed offset from its start.

Constructors

OffsetOpen :: Offset Open v n

OffsetClosed :: v n -> Offset Closed v n

Instances

Functor v => Functor (Offset c v)

Defined in Diagrams.Segment

Methods

fmap :: (a -> b) -> Offset c v a -> Offset c v b

(<$) :: a -> Offset c v b -> Offset c v a

Show (v n) => Show (Offset c v n)

Defined in Diagrams.Segment

Methods

showsPrec :: Int -> Offset c v n -> ShowS

show :: Offset c v n -> String

showList :: [Offset c v n] -> ShowS

Transformable (Offset c v n)

Defined in Diagrams.Segment

Methods

transform :: Transformation (V (Offset c v n)) (N (Offset c v n)) -> Offset c v n -> Offset c v n

Eq (v n) => Eq (Offset c v n)

Defined in Diagrams.Segment

Methods

(==) :: Offset c v n -> Offset c v n -> Bool

(/=) :: Offset c v n -> Offset c v n -> Bool

Ord (v n) => Ord (Offset c v n)

Defined in Diagrams.Segment

Methods

compare :: Offset c v n -> Offset c v n -> Ordering

(<) :: Offset c v n -> Offset c v n -> Bool

(<=) :: Offset c v n -> Offset c v n -> Bool

(>) :: Offset c v n -> Offset c v n -> Bool

(>=) :: Offset c v n -> Offset c v n -> Bool

max :: Offset c v n -> Offset c v n -> Offset c v n

min :: Offset c v n -> Offset c v n -> Offset c v n

(Additive v, Num n) => Reversing (Offset c v n)

Reverses the direction of closed offsets.

Defined in Diagrams.Segment

Methods

reversing :: Offset c v n -> Offset c v n

r ~ Offset c u n => AffineMappable (Offset c v n) r

Defined in Diagrams.LinearMap

Methods

amap :: AffineMap (V (Offset c v n)) (V r) (N r) -> Offset c v n -> r

r ~ Offset c u m => LinearMappable (Offset c v n) r

Defined in Diagrams.LinearMap

Methods

vmap :: (Vn (Offset c v n) -> Vn r) -> Offset c v n -> r

Each (Offset c v n) (Offset c v' n') (v n) (v' n')

Defined in Diagrams.Segment

Methods

each :: Traversal (Offset c v n) (Offset c v' n') (v n) (v' n')

type N (Offset c v n)

Defined in Diagrams.Segment

type N (Offset c v n) = n

type V (Offset c v n)

Defined in Diagrams.Segment

type V (Offset c v n) = v

segOffset :: Segment Closed v n -> v n

Compute the offset from the start of a segment to the end. Note that in the case of a Bézier segment this is not the same as the length of the curve itself; for that, see arcLength.

Constructing and modifying segments

data Segment c v n

The atomic constituents of the concrete representation currently used for trails are segments, currently limited to single straight lines or cubic Bézier curves. Segments are translationally invariant, that is, they have no particular "location" and are unaffected by translations. They are, however, affected by other transformations such as rotations and scales.

Constructors

Linear !(Offset c v n)

A linear segment with given offset.

Cubic !(v n) !(v n) !(Offset c v n)

A cubic Bézier segment specified by three offsets from the starting point to the first control point, second control point, and ending point, respectively.

Instances

(Additive v, Num n) => EndValues (Tangent (Segment Closed v n))

Defined in Diagrams.Tangent

Methods

atStart :: Tangent (Segment Closed v n) -> Codomain (Tangent (Segment Closed v n)) (N (Tangent (Segment Closed v n)))

atEnd :: Tangent (Segment Closed v n) -> Codomain (Tangent (Segment Closed v n)) (N (Tangent (Segment Closed v n)))

(Additive v, Num n) => Parametric (Tangent (Segment Closed v n))

Defined in Diagrams.Tangent

Methods

atParam :: Tangent (Segment Closed v n) -> N (Tangent (Segment Closed v n)) -> Codomain (Tangent (Segment Closed v n)) (N (Tangent (Segment Closed v n)))

ToPath (Located (Segment Closed v n))

Defined in Diagrams.Path

Methods

toPath :: Located (Segment Closed v n) -> Path (V (Located (Segment Closed v n))) (N (Located (Segment Closed v n)))

ToPath (Located [Segment Closed v n])

Defined in Diagrams.Path

Methods

toPath :: Located [Segment Closed v n] -> Path (V (Located [Segment Closed v n])) (N (Located [Segment Closed v n]))

Functor v => Functor (Segment c v)

Defined in Diagrams.Segment

Methods

fmap :: (a -> b) -> Segment c v a -> Segment c v b

(<$) :: a -> Segment c v b -> Segment c v a

(Metric v, OrderedField n, Metric u, OrderedField n') => Cons (SegTree v n) (SegTree u n') (Segment Closed v n) (Segment Closed u n')

Defined in Diagrams.Trail

Methods

_Cons :: Prism (SegTree v n) (SegTree u n') (Segment Closed v n, SegTree v n) (Segment Closed u n', SegTree u n')

(Metric v, OrderedField n, Metric u, OrderedField n') => Snoc (SegTree v n) (SegTree u n') (Segment Closed v n) (Segment Closed u n')

Defined in Diagrams.Trail

Methods

_Snoc :: Prism (SegTree v n) (SegTree u n') (SegTree v n, Segment Closed v n) (SegTree u n', Segment Closed u n')

(OrderedField n, Metric v) => Measured (SegMeasure v n) (Segment Closed v n)

Defined in Diagrams.Segment

Methods

measure :: Segment Closed v n -> SegMeasure v n

Show (v n) => Show (Segment c v n)

Defined in Diagrams.Segment

Methods

showsPrec :: Int -> Segment c v n -> ShowS

show :: Segment c v n -> String

showList :: [Segment c v n] -> ShowS

Serialize (v n) => Serialize (Segment Closed v n)

Defined in Diagrams.Segment

Methods

put :: Putter (Segment Closed v n)

get :: Get (Segment Closed v n)

Serialize (v n) => Serialize (Segment Open v n)

Defined in Diagrams.Segment

Methods

put :: Putter (Segment Open v n)

get :: Get (Segment Open v n)

(Metric v, OrderedField n) => Enveloped (Segment Closed v n)

The envelope for a segment is based at the segment's start.

Defined in Diagrams.Segment

Methods

getEnvelope :: Segment Closed v n -> Envelope (V (Segment Closed v n)) (N (Segment Closed v n))

OrderedField n => Traced (Segment Closed V2 n)

Defined in Diagrams.TwoD.Segment

Methods

getTrace :: Segment Closed V2 n -> Trace (V (Segment Closed V2 n)) (N (Segment Closed V2 n))

Transformable (Segment c v n)

Defined in Diagrams.Segment

Methods

transform :: Transformation (V (Segment c v n)) (N (Segment c v n)) -> Segment c v n -> Segment c v n

Num n => DomainBounds (Segment Closed v n)

Defined in Diagrams.Segment

Methods

domainLower :: Segment Closed v n -> N (Segment Closed v n)

domainUpper :: Segment Closed v n -> N (Segment Closed v n)

(Additive v, Num n) => EndValues (Segment Closed v n)

Defined in Diagrams.Segment

Methods

atStart :: Segment Closed v n -> Codomain (Segment Closed v n) (N (Segment Closed v n))

atEnd :: Segment Closed v n -> Codomain (Segment Closed v n) (N (Segment Closed v n))

(Metric v, OrderedField n) => HasArcLength (Segment Closed v n)

Defined in Diagrams.Segment

Methods

arcLengthBounded :: N (Segment Closed v n) -> Segment Closed v n -> Interval (N (Segment Closed v n))

arcLength :: N (Segment Closed v n) -> Segment Closed v n -> N (Segment Closed v n)

stdArcLength :: Segment Closed v n -> N (Segment Closed v n)

arcLengthToParam :: N (Segment Closed v n) -> Segment Closed v n -> N (Segment Closed v n) -> N (Segment Closed v n)

stdArcLengthToParam :: Segment Closed v n -> N (Segment Closed v n) -> N (Segment Closed v n)

(Additive v, Num n) => Parametric (Segment Closed v n)

atParam yields a parametrized view of segments as continuous functions [0,1] -> v, which give the offset from the start of the segment for each value of the parameter between 0 and 1. It is designed to be used infix, like seg `atParam` 0.5.

Defined in Diagrams.Segment

Methods

atParam :: Segment Closed v n -> N (Segment Closed v n) -> Codomain (Segment Closed v n) (N (Segment Closed v n))

(Additive v, Fractional n) => Sectionable (Segment Closed v n)

Defined in Diagrams.Segment

Methods

splitAtParam :: Segment Closed v n -> N (Segment Closed v n) -> (Segment Closed v n, Segment Closed v n)

section :: Segment Closed v n -> N (Segment Closed v n) -> N (Segment Closed v n) -> Segment Closed v n

reverseDomain :: Segment Closed v n -> Segment Closed v n

Eq (v n) => Eq (Segment c v n)

Defined in Diagrams.Segment

Methods

(==) :: Segment c v n -> Segment c v n -> Bool

(/=) :: Segment c v n -> Segment c v n -> Bool

Ord (v n) => Ord (Segment c v n)

Defined in Diagrams.Segment

Methods

compare :: Segment c v n -> Segment c v n -> Ordering

(<) :: Segment c v n -> Segment c v n -> Bool

(<=) :: Segment c v n -> Segment c v n -> Bool

(>) :: Segment c v n -> Segment c v n -> Bool

(>=) :: Segment c v n -> Segment c v n -> Bool

max :: Segment c v n -> Segment c v n -> Segment c v n

min :: Segment c v n -> Segment c v n -> Segment c v n

(Additive v, Num n) => Reversing (Segment Closed v n)

Reverse the direction of a segment.

Defined in Diagrams.Segment

Methods

reversing :: Segment Closed v n -> Segment Closed v n

Renderable (Segment c v n) NullBackend

Defined in Diagrams.Segment

Methods

render :: NullBackend -> Segment c v n -> Render NullBackend (V (Segment c v n)) (N (Segment c v n))

r ~ Segment c u n => AffineMappable (Segment c v n) r

Defined in Diagrams.LinearMap

Methods

amap :: AffineMap (V (Segment c v n)) (V r) (N r) -> Segment c v n -> r

r ~ Segment c u m => LinearMappable (Segment c v n) r

Defined in Diagrams.LinearMap

Methods

vmap :: (Vn (Segment c v n) -> Vn r) -> Segment c v n -> r

Each (Segment c v n) (Segment c v' n') (v n) (v' n')

Defined in Diagrams.Segment

Methods

each :: Traversal (Segment c v n) (Segment c v' n') (v n) (v' n')

(Metric v, OrderedField n, Metric u, OrderedField n') => Cons (Trail' Line v n) (Trail' Line u n') (Segment Closed v n) (Segment Closed u n')

Defined in Diagrams.Trail

Methods

_Cons :: Prism (Trail' Line v n) (Trail' Line u n') (Segment Closed v n, Trail' Line v n) (Segment Closed u n', Trail' Line u n')

(Metric v, OrderedField n, Metric u, OrderedField n') => Snoc (Trail' Line v n) (Trail' Line u n') (Segment Closed v n) (Segment Closed u n')

Defined in Diagrams.Trail

Methods

_Snoc :: Prism (Trail' Line v n) (Trail' Line u n') (Trail' Line v n, Segment Closed v n) (Trail' Line u n', Segment Closed u n')

type N (Segment c v n)

Defined in Diagrams.Segment

type N (Segment c v n) = n

type V (Segment c v n)

Defined in Diagrams.Segment

type V (Segment c v n) = v

type Codomain (Segment Closed v n)

Defined in Diagrams.Segment

type Codomain (Segment Closed v n) = v

straight :: v n -> Segment Closed v n

straight v constructs a translationally invariant linear segment with direction and length given by the vector v.

bezier3 :: v n -> v n -> v n -> Segment Closed v n

bezier3 c1 c2 x constructs a translationally invariant cubic Bézier curve where the offsets from the first endpoint to the first and second control point and endpoint are respectively given by c1, c2, and x.

bézier3 :: v n -> v n -> v n -> Segment Closed v n

bézier3 is the same as bezier3, but with more snobbery.

reverseSegment :: (Num n, Additive v) => Segment Closed v n -> Segment Closed v n

Reverse the direction of a segment.

mapSegmentVectors :: (v n -> v' n') -> Segment c v n -> Segment c v' n'

Map over the vectors of each segment.

openLinear :: Segment Open v n

An open linear segment. This means the trail makes a straight line from the last segment the beginning to form a loop.

openCubic :: v n -> v n -> Segment Open v n

An open cubic segment. This means the trail makes a cubic bézier with control vectors v1 and v2 to form a loop.

Fixed (absolutely located) segments

data FixedSegment v n

FixedSegments are like Segments except that they have absolute locations. FixedSegment v is isomorphic to Located (Segment Closed v), as witnessed by mkFixedSeg and fromFixedSeg, but FixedSegment is convenient when one needs the absolute locations of the vertices and control points.

Constructors

FLinear (Point v n) (Point v n)

FCubic (Point v n) (Point v n) (Point v n) (Point v n)

Instances

(Additive v, Num n) => EndValues (Tangent (FixedSegment v n))

Defined in Diagrams.Tangent

Methods

atStart :: Tangent (FixedSegment v n) -> Codomain (Tangent (FixedSegment v n)) (N (Tangent (FixedSegment v n)))

atEnd :: Tangent (FixedSegment v n) -> Codomain (Tangent (FixedSegment v n)) (N (Tangent (FixedSegment v n)))

(Additive v, Num n) => Parametric (Tangent (FixedSegment v n))

Defined in Diagrams.Tangent

Methods

atParam :: Tangent (FixedSegment v n) -> N (Tangent (FixedSegment v n)) -> Codomain (Tangent (FixedSegment v n)) (N (Tangent (FixedSegment v n)))

Show (v n) => Show (FixedSegment v n)

Defined in Diagrams.Segment

Methods

showsPrec :: Int -> FixedSegment v n -> ShowS

show :: FixedSegment v n -> String

showList :: [FixedSegment v n] -> ShowS

(Metric v, OrderedField n) => Enveloped (FixedSegment v n)

Defined in Diagrams.Segment

Methods

getEnvelope :: FixedSegment v n -> Envelope (V (FixedSegment v n)) (N (FixedSegment v n))

(Additive v, Num n) => HasOrigin (FixedSegment v n)

Defined in Diagrams.Segment

Methods

moveOriginTo :: Point (V (FixedSegment v n)) (N (FixedSegment v n)) -> FixedSegment v n -> FixedSegment v n

OrderedField n => Traced (FixedSegment V2 n)

Defined in Diagrams.TwoD.Segment

Methods

getTrace :: FixedSegment V2 n -> Trace (V (FixedSegment V2 n)) (N (FixedSegment V2 n))

(Additive v, Num n) => Transformable (FixedSegment v n)

Defined in Diagrams.Segment

Methods

transform :: Transformation (V (FixedSegment v n)) (N (FixedSegment v n)) -> FixedSegment v n -> FixedSegment v n

Num n => DomainBounds (FixedSegment v n)

Defined in Diagrams.Segment

Methods

domainLower :: FixedSegment v n -> N (FixedSegment v n)

domainUpper :: FixedSegment v n -> N (FixedSegment v n)

(Additive v, Num n) => EndValues (FixedSegment v n)

Defined in Diagrams.Segment

Methods

atStart :: FixedSegment v n -> Codomain (FixedSegment v n) (N (FixedSegment v n))

atEnd :: FixedSegment v n -> Codomain (FixedSegment v n) (N (FixedSegment v n))

(Metric v, OrderedField n) => HasArcLength (FixedSegment v n)

Defined in Diagrams.Segment

Methods

arcLengthBounded :: N (FixedSegment v n) -> FixedSegment v n -> Interval (N (FixedSegment v n))

arcLength :: N (FixedSegment v n) -> FixedSegment v n -> N (FixedSegment v n)

stdArcLength :: FixedSegment v n -> N (FixedSegment v n)

arcLengthToParam :: N (FixedSegment v n) -> FixedSegment v n -> N (FixedSegment v n) -> N (FixedSegment v n)

stdArcLengthToParam :: FixedSegment v n -> N (FixedSegment v n) -> N (FixedSegment v n)

(Additive v, Num n) => Parametric (FixedSegment v n)

Defined in Diagrams.Segment

Methods

atParam :: FixedSegment v n -> N (FixedSegment v n) -> Codomain (FixedSegment v n) (N (FixedSegment v n))

(Additive v, Fractional n) => Sectionable (FixedSegment v n)

Defined in Diagrams.Segment

Methods

splitAtParam :: FixedSegment v n -> N (FixedSegment v n) -> (FixedSegment v n, FixedSegment v n)

section :: FixedSegment v n -> N (FixedSegment v n) -> N (FixedSegment v n) -> FixedSegment v n

reverseDomain :: FixedSegment v n -> FixedSegment v n

ToPath (FixedSegment v n)

Defined in Diagrams.Path

Methods

toPath :: FixedSegment v n -> Path (V (FixedSegment v n)) (N (FixedSegment v n))

Eq (v n) => Eq (FixedSegment v n)

Defined in Diagrams.Segment

Methods

(==) :: FixedSegment v n -> FixedSegment v n -> Bool

(/=) :: FixedSegment v n -> FixedSegment v n -> Bool

Ord (v n) => Ord (FixedSegment v n)

Defined in Diagrams.Segment

Methods

compare :: FixedSegment v n -> FixedSegment v n -> Ordering

(<) :: FixedSegment v n -> FixedSegment v n -> Bool

(<=) :: FixedSegment v n -> FixedSegment v n -> Bool

(>) :: FixedSegment v n -> FixedSegment v n -> Bool

(>=) :: FixedSegment v n -> FixedSegment v n -> Bool

max :: FixedSegment v n -> FixedSegment v n -> FixedSegment v n

min :: FixedSegment v n -> FixedSegment v n -> FixedSegment v n

Reversing (FixedSegment v n)

Reverses the control points.

Defined in Diagrams.Segment

Methods

reversing :: FixedSegment v n -> FixedSegment v n

r ~ FixedSegment u n => AffineMappable (FixedSegment v n) r

Defined in Diagrams.LinearMap

Methods

amap :: AffineMap (V (FixedSegment v n)) (V r) (N r) -> FixedSegment v n -> r

r ~ FixedSegment u m => LinearMappable (FixedSegment v n) r

Defined in Diagrams.LinearMap

Methods

vmap :: (Vn (FixedSegment v n) -> Vn r) -> FixedSegment v n -> r

Each (FixedSegment v n) (FixedSegment v' n') (Point v n) (Point v' n')

Defined in Diagrams.Segment

Methods

each :: Traversal (FixedSegment v n) (FixedSegment v' n') (Point v n) (Point v' n')

type N (FixedSegment v n)

Defined in Diagrams.Segment

type N (FixedSegment v n) = n

type V (FixedSegment v n)

Defined in Diagrams.Segment

type V (FixedSegment v n) = v

type Codomain (FixedSegment v n)

Defined in Diagrams.Segment

type Codomain (FixedSegment v n) = Point v

mkFixedSeg :: (Num n, Additive v) => Located (Segment Closed v n) -> FixedSegment v n

Create a FixedSegment from a located Segment.

fromFixedSeg :: (Num n, Additive v) => FixedSegment v n -> Located (Segment Closed v n)

Convert a FixedSegment back into a located Segment.

fixedSegIso :: (Num n, Additive v) => Iso' (FixedSegment v n) (Located (Segment Closed v n))

Use a FixedSegment to make an Iso between an a fixed segment and a located segment.

Segment measures

Trails store a sequence of segments in a fingertree, which can automatically track various monoidal "measures" on segments.

newtype SegCount

A type to track the count of segments in a Trail.

Constructors

SegCount (Sum Int)

Instances

Monoid SegCount

Defined in Diagrams.Segment

Methods

mempty :: SegCount

mappend :: SegCount -> SegCount -> SegCount

mconcat :: [SegCount] -> SegCount

Semigroup SegCount

Defined in Diagrams.Segment

Methods

(<>) :: SegCount -> SegCount -> SegCount

sconcat :: NonEmpty SegCount -> SegCount

stimes :: Integral b => b -> SegCount -> SegCount

Wrapped SegCount

Defined in Diagrams.Segment

Associated Types

type Unwrapped SegCount

Methods

_Wrapped' :: Iso' SegCount (Unwrapped SegCount)

Rewrapped SegCount SegCount

Defined in Diagrams.Segment

(Metric v, OrderedField n) => Measured (SegMeasure v n) (SegMeasure v n)

Defined in Diagrams.Segment

Methods

measure :: SegMeasure v n -> SegMeasure v n

(Ord n, Metric v, Floating n) => Measured (SegMeasure v n) (SegTree v n)

Defined in Diagrams.Trail

Methods

measure :: SegTree v n -> SegMeasure v n

(OrderedField n, Metric v) => Measured (SegMeasure v n) (Segment Closed v n)

Defined in Diagrams.Segment

Methods

measure :: Segment Closed v n -> SegMeasure v n

type Unwrapped SegCount

Defined in Diagrams.Segment

type Unwrapped SegCount = Sum Int

newtype ArcLength n

A type to represent the total arc length of a chain of segments. The first component is a "standard" arc length, computed to within a tolerance of 10e-6. The second component is a generic arc length function taking the tolerance as an argument.

Constructors

ArcLength (Sum (Interval n), n -> Sum (Interval n))

Instances

(Num n, Ord n) => Monoid (ArcLength n)

Defined in Diagrams.Segment

Methods

mempty :: ArcLength n

mappend :: ArcLength n -> ArcLength n -> ArcLength n

mconcat :: [ArcLength n] -> ArcLength n

(Num n, Ord n) => Semigroup (ArcLength n)

Defined in Diagrams.Segment

Methods

(<>) :: ArcLength n -> ArcLength n -> ArcLength n

sconcat :: NonEmpty (ArcLength n) -> ArcLength n

stimes :: Integral b => b -> ArcLength n -> ArcLength n

Wrapped (ArcLength n)

Defined in Diagrams.Segment

Associated Types

type Unwrapped (ArcLength n)

Methods

_Wrapped' :: Iso' (ArcLength n) (Unwrapped (ArcLength n))

Rewrapped (ArcLength n) (ArcLength n')

Defined in Diagrams.Segment

(Metric v, OrderedField n) => Measured (SegMeasure v n) (SegMeasure v n)

Defined in Diagrams.Segment

Methods

measure :: SegMeasure v n -> SegMeasure v n

(Ord n, Metric v, Floating n) => Measured (SegMeasure v n) (SegTree v n)

Defined in Diagrams.Trail

Methods

measure :: SegTree v n -> SegMeasure v n

(OrderedField n, Metric v) => Measured (SegMeasure v n) (Segment Closed v n)

Defined in Diagrams.Segment

Methods

measure :: Segment Closed v n -> SegMeasure v n

type Unwrapped (ArcLength n)

Defined in Diagrams.Segment

type Unwrapped (ArcLength n) = (Sum (Interval n), n -> Sum (Interval n))

getArcLengthCached :: ArcLength n -> Interval n

Project out the cached arc length, stored together with error bounds.

getArcLengthFun :: ArcLength n -> n -> Interval n

Project out the generic arc length function taking the tolerance as an argument.

getArcLengthBounded :: (Num n, Ord n) => n -> ArcLength n -> Interval n

Given a specified tolerance, project out the cached arc length if it is accurate enough; otherwise call the generic arc length function with the given tolerance.

newtype TotalOffset v n

A type to represent the total cumulative offset of a chain of segments.

Constructors

TotalOffset (v n)

Instances

(Num n, Additive v) => Monoid (TotalOffset v n)

Defined in Diagrams.Segment

Methods

mempty :: TotalOffset v n

mappend :: TotalOffset v n -> TotalOffset v n -> TotalOffset v n

mconcat :: [TotalOffset v n] -> TotalOffset v n

(Num n, Additive v) => Semigroup (TotalOffset v n)

Defined in Diagrams.Segment

Methods

(<>) :: TotalOffset v n -> TotalOffset v n -> TotalOffset v n

sconcat :: NonEmpty (TotalOffset v n) -> TotalOffset v n

stimes :: Integral b => b -> TotalOffset v n -> TotalOffset v n

Wrapped (TotalOffset v n)

Defined in Diagrams.Segment

Associated Types

type Unwrapped (TotalOffset v n)

Methods

_Wrapped' :: Iso' (TotalOffset v n) (Unwrapped (TotalOffset v n))

Rewrapped (TotalOffset v n) (TotalOffset v' n')

Defined in Diagrams.Segment

type Unwrapped (TotalOffset v n)

Defined in Diagrams.Segment

type Unwrapped (TotalOffset v n) = v n

data OffsetEnvelope v n

A type to represent the offset and envelope of a chain of segments. They have to be paired into one data structure, since combining the envelopes of two consecutive chains needs to take the offset of the first into account.

Constructors

OffsetEnvelope

Fields

• _oeOffset :: !(TotalOffset v n)
• _oeEnvelope :: Envelope v n

Instances

(Metric v, OrderedField n) => Semigroup (OffsetEnvelope v n)

Defined in Diagrams.Segment

Methods

(<>) :: OffsetEnvelope v n -> OffsetEnvelope v n -> OffsetEnvelope v n

sconcat :: NonEmpty (OffsetEnvelope v n) -> OffsetEnvelope v n

stimes :: Integral b => b -> OffsetEnvelope v n -> OffsetEnvelope v n

(Metric v, OrderedField n) => Measured (SegMeasure v n) (SegMeasure v n)

Defined in Diagrams.Segment

Methods

measure :: SegMeasure v n -> SegMeasure v n

(Ord n, Metric v, Floating n) => Measured (SegMeasure v n) (SegTree v n)

Defined in Diagrams.Trail

Methods

measure :: SegTree v n -> SegMeasure v n

(OrderedField n, Metric v) => Measured (SegMeasure v n) (Segment Closed v n)

Defined in Diagrams.Segment

Methods

measure :: Segment Closed v n -> SegMeasure v n

oeOffset :: forall v n. Lens' (OffsetEnvelope v n) (TotalOffset v n)

oeEnvelope :: forall v n. Lens' (OffsetEnvelope v n) (Envelope v n)

type SegMeasure v n = SegCount ::: (ArcLength n ::: (OffsetEnvelope v n ::: ()))

SegMeasure collects up all the measurements over a chain of segments.