# diagrams-lib

Embedded domain-specific language for declarative graphics http://projects.haskell.org/diagrams

LTS Haskell 8.15: | 1.4.0.1 |

Stackage Nightly 2017-05-24: | 1.4.0.1 |

Latest on Hackage: | 1.4.0.1 |

**Brent Yorgey**

**diagrams-discuss@googlegroups.com**

#### Module documentation for 1.4.0.1

- Diagrams
- Diagrams.Align
- Diagrams.Angle
- Diagrams.Animation
- Diagrams.Attributes
- Diagrams.Backend
- Diagrams.BoundingBox
- Diagrams.Combinators
- Diagrams.Coordinates
- Diagrams.CubicSpline
- Diagrams.Deform
- Diagrams.Direction
- Diagrams.Envelope
- Diagrams.LinearMap
- Diagrams.Located
- Diagrams.Names
- Diagrams.Parametric
- Diagrams.Path
- Diagrams.Points
- Diagrams.Prelude
- Diagrams.Query
- Diagrams.Segment
- Diagrams.Size
- Diagrams.Tangent
- Diagrams.ThreeD
- Diagrams.Trace
- Diagrams.Trail
- Diagrams.TrailLike
- Diagrams.Transform
- Diagrams.TwoD
- Diagrams.TwoD.Adjust
- Diagrams.TwoD.Align
- Diagrams.TwoD.Arc
- Diagrams.TwoD.Arrow
- Diagrams.TwoD.Arrowheads
- Diagrams.TwoD.Attributes
- Diagrams.TwoD.Combinators
- Diagrams.TwoD.Curvature
- Diagrams.TwoD.Deform
- Diagrams.TwoD.Ellipse
- Diagrams.TwoD.Image
- Diagrams.TwoD.Model
- Diagrams.TwoD.Offset
- Diagrams.TwoD.Path
- Diagrams.TwoD.Points
- Diagrams.TwoD.Polygons
- Diagrams.TwoD.Segment
- Diagrams.TwoD.Shapes
- Diagrams.TwoD.Size
- Diagrams.TwoD.Text
- Diagrams.TwoD.Transform
- Diagrams.TwoD.Types
- Diagrams.TwoD.Vector

- Diagrams.Util

The standard library for diagrams, a Haskell embedded domain-specific language for compositional, declarative drawing.

## Changes

## v1.4.0.1 (2016-11-07)

Fix test suite compilation problem (#286)

## v1.4 (2016-10-26)

**New features**New

`mkText'`

function, which allows making a text primitive without recommending a fill colour or font size so users can recommend their own (*e.g.*using the`recommendFontSize`

function).New functions

`reflectXY`

and`reflectionXY`

New

`composeAligned`

combinator for doing composition under an alignment while leaving the local origin unaffected.Add

`_LocLoop`

and`_LocLine`

prismsNew

`bspline`

function for creating uniform cubic B-splines- New 3D features:
- New
`Skinned`

class - Improved handling of 3D primitives
- CSG

- New
New standard attributes for separate fill and stroke opacity (see #248).

New

`HasQuery`

class for things which can be spatially queried for values from some monoid.New function

`inquire`

for testing whether a given point is inside a diagram.New font weights:

`bolder`

,`lighter`

,`thinWeight`

,`ultraLight`

,`light`

,`mediumWeight`

,`heavy`

,`semiBold`

,`ultraBold`

. Note that currently only the SVG backend deals with the new weights.Export

`GetSegmentCodomain`

and update documentationImproved performance of 2D rotations

**New instances**`Alignable`

instance for`Located`

`ToPath`

instances for lines and loops`Serialize`

instances for`Trail`

,`Path`

,`Located`

,`SegTree`

,`Segment`

`Generic`

instances for`Path`

,`Located`

`Action`

instance for`Angle`

: angles act by rotation.

**API changes**`snugBL`

,`snugBR`

,`snugTR`

and`snugBR`

are deprecated. These functions were unintuitive, ad-hoc, and not particularly useful, especially since e.g.`snugL`

and`snugB`

do not commute. You can use something like`snugB . snugL`

directly, or use`snug`

with a direction vector. See #250 for more details.

**Dependency/version changes**- upgrade
`fsnotify`

and drop dependency on deprecated`system-filepath`

- Allow
`lens-4.15`

- Many other bumped upper bounds, see release notes for minor releases below

- upgrade
**Bug fixes**

## v1.3.1.4 (2016-08-16) (16 August 2016)

allow

`optparse-applicative-0.13`

## v1.3.1.3 (2016-06-05)

- allow
`base-4.9`

- allow
`data-default-class-0.1`

- test with GHC 8.0.1

## v1.3.1.2 (2016-05-01)

allow

`lens-4.14`

## v1.3.1.2 (2016-02-19)

allow

`unordered-containers-0.2.*`

## v1.3.1.0 (2016-02-14)

improve path offset calculations

## v1.3.0.9 (2016-01-14)

allow

`unordered-containers-0.2.6`

## v1.3.0.8 (2015-11-10)

allow

`semigroups-0.18`

## v1.3.0.7 (2015-10-08)

Add

`LambdaCase`

extension to`.cabal`

file, so`cabal`

correctly reports that`diagrams-lib`

does not build on`GHC-7.4`

.

## v1.3.0.6 (2015-09-29)

Allow

`optparse-applicative-0.12`

## v1.3.0.5 (2015-09-18)

Fix compilation problem with

`lens-4.13`

## v1.3.0.4 (2015-09-17)

**Dependency/version changes**

- Allow
`lens-1.13`

- Allow
`semigroups-0.17`

- Require
`linear-1.20`

## v1.3.0.3 (2015-08-10)

**Dependency/version changes**

- Drop dependency on deprecated
`system-filepath`

package - Require
`fsnotify-0.2.1`

## v1.3.0.2 (2015-07-19)

## v1.3.0.1 (2015-05-26)

## v1.3 (2015-04-19)

**New features**

Native image type that backends can specify.

Affine maps between spaces for path-like objects. A new

`Diagrams.ThreeD.Projections`

has some helper functions for orthographic and perspective projections.Intersections for path-like objects using Bézier clipping.

Helper functions in

`Diagrams.Matrix`

for converting between transforms and matrices.New

`Diagrams`

module that only exports functions defined in diagrams.New

`Direction`

type.`Direction`

is a vector that's forgot it's magnitude. Some functions have changed their type from`R2`

to`Direction V2 n`

to make it clear that magnitude has no effect.Use the

`fsnotify`

package for command line looping. Command line looping now works on Windows.`groupOpacity`

function added for lowering the opacity of a diagram as a whole.New

`ToPath`

class for converting path-like things to a`Path`

.

**New instances**

`Each`

instances for`BoundingBox`

,`Offset`

,`Segment`

,`FixedSegment`

and`Path`

.`Reversing`

instances for`Offset`

,`Segment`

,`FixedSegment`

,`Trail`

and`Path`

.`AsEmpty`

instances for`BoundingBox`

,`Trail`

and`Path`

.`Cons`

and`Snoc`

instances for`Path`

and`Line`

.New

`Show`

instances for`Angle`

,`Segment`

,`SomeColor`

,`Trail'`

and`at`

.`Tangent`

instance for`(FixedSegment v n)`

.`Ord`

instances for`LineMiterLimit`

,`LineJoin`

and`LineCap`

.

**New helper functions**

`_Line`

and`_Loop`

prisms.Style lenses:

`_fontSize`

,`_lineWidth`

,`_fillTexture`

,`_lineTexture`

,`_opacity`

,`_font`

,`_lineCap`

,`_lineJoin`

`_dashing`

.`_SomeColor`

iso and`_AC`

prism onto an`AlphaColour`

.`atPoints`

function to zip points with diagrams.

**API changes**

`Diagram`

type synonym now only takes a backend token:`Diagram B`

Types that previously had a

`v`

variable now have`v`

and`n`

.`Control.Lens`

and`Data.Default.Class`

are now exported from from`Diagrams.Prelude`

`Measure`

has a new internal representation.`Local`

,`Global`

,`Normalized`

, and`Output`

have been renamed to`local`

,`global`

,`normalized`

and`output`

respectivly.`SizeSpec2D`

has moved to`SizeSpec v n`

in`Diagrams.SizeSpec`

.`Dims, Height, Width and`

Absolute`have moved to`

dims2D`,`

mkHeight`,`

mkWidth`and`

absolute` respectively.`Color`

instances for`Colour`

and`AlphaColour`

are limited to`Double`

for better type inference.`under`

has been renamed to`underT`

. New`transformed`

,`translated`

,`movedTo`

,`movedFrom`

and`rotated`

isomorphisms to use with lens's`under`

function.`stroke`

is now polymorphic. Use`strokePath`

or`strokeP`

to get old`stroke`

behaviour.`angleBetween`

now works for any vector space, which means the angle is always positive. The old behaviour can be retrieved from`signedAngleBetween`

`arc`

now takes a starting`Direction`

and a sweep`Angle`

.`arcCW`

and`arcCCW`

take a start and finish`Direction`

.

**Dependency/version changes**

use

`linear`

instead of`vector-space`

**Closed issues:**

Perspective deformation of square vertices yields extra point #244

Local fontsize renders inconsistentl on diffrent backends #243

Factor out Diagrams.Solve into a package? #235

**Merged pull requests:**

## 1.2.0.9 (2 April 2015)

allow

`lens-4.9`

allow

`vector-space-0.10`

## v1.2.0.8 (2015-01-13)

**Merged pull requests:**

## v1.2.0.7 (2014-12-07)

## v1.2.0.6 (2014-12-04)

**Merged pull requests:**

## v1.2.0.5 (2014-11-17)

**Implemented enhancements:**

**Fixed bugs:**

`Sectionable`

instance for`SegTree`

is not a linear reparameterization. #217

**Closed issues:**

bezierFromSweep very slow? #227

All lines render at same width #222

numerically stable cubic rootfinder #204

**Merged pull requests:**

Diagram b v n to QDiagram b v n Any #219 (jeffreyrosenbluth)

## v1.2.0.4 (2014-10-08)

**Merged pull requests:**

## v1.2.0.3 (2014-09-07)

**Closed issues:**

arrowFromLocatedTrail function #205

**Merged pull requests:**

## v1.2.0.2 (2014-08-22)

**Implemented enhancements:**

Generalize Angle class? #38

**Fixed bugs:**

--selection and --src both use -s abbreviation #172

**Closed issues:**

Spike arrowhead and tail render with oversized joint #203

**Merged pull requests:**

add atPoints, deprecate decorateFoo #198 (jeffreyrosenbluth)

Add bg' #197 (jeffreyrosenbluth)

add convenience synonyms [hv]sep for [hv]cat' (with & sep .~ x) #196 (byorgey)

Vertices #192 (jeffreyrosenbluth)

## v1.2.0.1 (2014-06-04)

**Closed issues:**

Local headLength / headGaps act like Output #193

**Merged pull requests:**

## v1.2 (2014-06-02)

**New features**

Several attributes (such as line width, dashing size, arrowhead size, and font size) that formerly had a value of type

`Double`

now have the more general type`Measure R2`

. This allows the attributes to be specified relative to one of four measurement frames:`Local`

,`Global`

,`Normalized`

, and`Output`

.New DSL for specifying measurements.

New synonyms for specifying measurements,

*e.g.*`thin`

,`thick`

, and`medium`

,`large`

.Support for radial and linear gradients for fills and strokes.

New

`DImage`

type that supports both embedded and external images in Backends that support them.New

`lengths`

Traversal for setting`headLength`

and`tailLength`

simultaneously.`Frustrum`

and`Box`

shapes added to`Diagrams.ThreeD.Shapes`

.New function

`quartForm`

to find roots of quartic polynomials.New Lenses for polar coordinates.

New trig functions,

`sinA`

,`atanA`

, etc. which take`Angle`

as input or output.

**New instances**

`Transformable`

instances for`LineWidth`

,`Dashing`

,`LineTexture`

, and`FillTexture`

.

**API changes**

`FillColor`

and`LineColor`

attributes have been replaced with the more general`FillTexture`

and`LineTexture`

. Use the`solid`

function to convert a color to a texture.The size of arrow heads and tails is now specified in terms of length instead of the radius of their circumcircle.

Gaps at the ends of arrows are now specified using

`Measure R2`

.The

`gap`

traversal has been replaced by`gaps`

for consistency in naming, though`gap`

is still provided for backwards compatibility.`fontSize`

now takes a value of type`Measure R2`

.Get rid of (bitrotted)

`Show`

backend.Functions in

`TwoD.Adjust`

now return the adjustment transformation itself in addition to the resized`Diagram`

and`Options`

record; this can be used,*e.g.*to convert screen coordinates back into diagram coordinates.Export

`pathLocSegments`

.The

`avgScale`

function has been moved to`Diagrams.Core`

.The

`Angle`

definition and related functions (*e.g.*`angleBetween`

) have moved to a separate module,`Diagrams.Angle`

.A separate

`Diagrams.TwoD.Attributes`

module now contains most of the attributes that require 2D transformation instances.The

`splitColorFills`

function has been replaced by`splitTextureFills`

.

**Dependency/version changes**

Allow

`semigroups-0.15`

Allow `opt-parse-applicative-0.9.0

Allow

`lens-4.2`

**Implemented enhancements:**

**Closed issues:**

fails to build against HP #190

text does not scale #179

Please add support for latest version of intervals library #170

presence of arrowHead can tilt connection sideways #162

**Merged pull requests:**

Quartic formula, no obvious bugs #187 (Mathnerd314)

Arrow length #185 (jeffreyrosenbluth)

Texture #181 (jeffreyrosenbluth)

arrow envelopes #180 (jeffreyrosenbluth)

make headSize and tailSize back into ArrowOpts fields #177 (byorgey)

updated the upper bounds of the .cabal constraints for 'semigroups' package #176 (zgredzik)

Image2 #174 (jeffreyrosenbluth)

Image #173 (jeffreyrosenbluth)

Preliminary implementation of Measure #159 (jeffreyrosenbluth)

Gradient #136 (jeffreyrosenbluth)

## v1.1.0.7 (2014-05-15)

Allow

`semigroups-0.14`

## v1.1.0.6 (2014-04-10)

Allow

`semigroups-0.13`

## v1.1.0.4 (2014-04-04)

**Merged pull requests:**

Make Diagrams.Transform.under more polymorphic #168 (FlorentBecker)

## v1.1.0.3 (2014-03-19)

Allow

`lens-4.1`

## v1.1.0.2 (2014-03-19)

**Merged pull requests:**

move avgScale to core #167 (jeffreyrosenbluth)

3d color & lighting, more solids, Angle utilities #166 (bergey)

Added bothSize function, lineHead and lineTail #165 (jeffreyrosenbluth)

## v1.1.0.1 (2014-03-09)

Depend on

`hashable`

package, and add`Hashable`

instance for`SizeSpec2D`

.Technically, the PVP specifies that adding a new instance requires a major version bump. However, I highly doubt anyone was making their own orphan

`Hashable`

instances before. Feel free to yell at Brent if this breaks your build.

## v1.1 (2014-03-09)

**New features**

Support for

`Deformation`

s, arbitrary (non-affine) transformations on objects such as points, paths, and located trails (though not on diagrams).New functions

`clipTo`

, which clips a diagram's envelope and trace along with its visual representation, and`clipped`

, which clips the diagram's visual representation but replaces its envelope and trace with those of the clipping path.New

`arrowV`

function, for creating an arrow with the direction and magnitude of a given vector.`gap`

traversal, for setting the head and tail gaps of an arrow simultaneously.Generalized types for

`centerXY`

and`snugXY`

, based on new`basis`

function from `diagrams-coreNew 3D

`Transform`

s, alignment, and 3D-specific`Prelude`

.New

`frame`

function similar to`pad`

, but increases the envelope of a diagram by an amount specified in local units in every direction irrespective of the local origin.New

`splitFills`

function for pushing fill attributes down to subtrees containing only loops (mostly of relevance only to backend implementors).

**New instances**

`Typeable`

instances for all data types that are used as diagram primitives.`Sectionable`

instance for`FixedSegment`

.

**API changes**

`Angle`

is now a type, rather than a class. It uses a single internal representation for angles, and lenses`turn`

,`rad,`

and`deg`

are supplied for constructing (using`@@`

) and viewing (using`^.`

)`Angle`

s in various units. In addition, the`Num`

instance for`Angle`

has been removed, eliminating a class of errors where a bare number is interpreted in units other than what you expect.Removed

`Num`

instance for angles.

**Dependency/version changes**

Require

`lens >= 4.0`

.Allow

`array-0.5`

.Allow

`hashable-1.1`

.Remove

`NumInstances`

dependency.

**Bug fixes**

Exclude joins in offsets on close segments (#160).

Exclude extra segment when joining loops in offset (#155).

**Performance improvements**

`colorToSRGBA`

function now avoids expensive matrix operations, offering dramatic speedups in rendering diagrams with many color attributes.

**Implemented enhancements:**

Better color model in 3D #121

Projective/perspective transforms for points and paths #108

clipTo function #35

**Fixed bugs:**

Offset Bug #155

**Closed issues:**

Expand of an expand #160

**Merged pull requests:**

fix doc for === and ||| #164 (denys-duchier)

Exclude extra segment when joining loops in offset. Fixes #155. #158 (fryguybob)

added basis, generalized

`centerXY`

and`snugXY`

#157 (jeffreyrosenbluth)derive Typeable for all data types used in Prims #156 (byorgey)

removed NumInstances dependency #153 (jeffreyrosenbluth)

Change internal color representation to SRGBA #149 (jeffreyrosenbluth)

## v1.0.1 (2014-01-26)

**Implemented enhancements:**

Module for generating nice colors/color schemes #77

**Closed issues:**

"Maybe.fromJust: Nothing" error when connecting translated small diagram #147

**Merged pull requests:**

return list of traces #145 (jeffreyrosenbluth)

added clipTo #144 (jeffreyrosenbluth)

## v1.0.0.1 (2013-11-28)

## v1.0 (2013-11-25)

**New features**

New modules

`Diagrams.TwoD.Arrow`

and`Diagrams.TwoD.Arrowheads`

for creating arrows.New module

`Diagrams.Backend.CmdLine`

, providing a flexible framework for creating command-line-driven diagram rendering executables.New functions in

`Diagrams.Offset`

:`offsetTrail`

and`offsetPath`

for one-sided offsets of trails and paths;`expandTrail`

and`expandPath`

for "stroking" trails and paths, computing a path whose fill corresponds to the stroke of the given trail or path.New module

`Diagrams.Tangent`

for computing tangent and normal vectors of segments, trails, and paths.New functions in

`Diagrams.Align`

to allow diagrams to be aligned by`Trace`

called`snug`

,`snugBy`

and`snugCenter`

and the ability to define other boundary functions for alignment. Functions`snugL`

,`snugR`

, etc. are included in`TwoD.Align`

.Lenses from

`Control.Lens`

are now used consistently for record fields throughout the library.New function

`angleRatio`

for calculating the ratio between two angles.Restricted identity functions

`asTurn`

,`asRad`

, and`asDeg`

for resolving type ambiguityNew miter limit attribute.

New function

`annularWedge`

in`TwoD.Arc`

New

`avgScale`

utility in`TwoD.Transform`

, for backends which cannot fully implement freezing of line widthNew function

`heptagon`

, a vast improvement over the linguistic frankenstein`septagon`

.New function

`lookupName`

(re-exported from`diagrams-core`

) for simple lookups of named subdiagramsNew function

`angleBetween`

to calculate the angle between two vectors.New function

`arcBetween`

to draw an arc between two given points.A bunch of new modules containing types, primitives and utilities for constructing 3D diagrams:

`Diagrams.ThreeD.Align`

,`.Camera`

,`.Light`

,`.Shapes`

,`.Transform`

,`.Types`

, and`.Vector`

. This is still a "feature preview" (in particular, appropriate 3D backends are still under construction).

**New instances**

`AdditiveGroup`

and`VectorSpace`

instances for`Turn`

,`Rad`

,`Deg`

`Alignable`

instance for`(->) e`

`Default`

instances for`FillRule`

,`FillRuleA`

,`LineJoin`

,`LineCap`

,`FillColor`

`Show`

instances for`FillRule`

,`FillRuleA`

**API changes**

`e`

no longer exported from`Diagrams.Prelude`

.`Diagrams.BoundingBox`

is no longer exported from`Diagrams.Prelude`

.Re-export

`Diagrams.Core.pointDiagram`

from`Diagrams.Prelude`

.Added

`fromAlphaColour`

method to`Color`

class.`&`

renamed to`^&`

Stop re-exporting

`tan`

,`over`

, and`both`

from`Data.Colour`

.New coordinate lenses

`_x`

,`_y`

, and`_z`

for`R2`

,`P2`

,`R3`

,`P3`

Export

`fullTurn`

from`Diagrams.Prelude`

.`Codomain (Located a)`

is now`Point (Codomain a)`

instead of`Located (Codomain a)`

.Export

`domainBounds`

from`Diagrams.Parametric`

.Adjusting functionality moved from

`Diagrams.Parametric`

to its own module,`Diagrams.Parametric.Adjust`

.Rename

`strokeT`

(and primed variant) to`strokeTrail`

; rename`strokeLocT`

to`strokeLocTrail`

.`ScaleInv`

is now in its own module,`Diagrams.TwoD.Transform.ScaleInv`

.Re-export

`Image`

type (but not constructor) from`Diagrams.TwoD`

Removed

`Floating`

and`RealFloat`

instances for`Turn`

and`Deg`

`offsetSegment`

now returns a`Located`

instead of a tuple.Removed

`Num`

and`Fractional`

instances for`R2`

.

**Dependency/version changes**

Remove

`newtype`

dependencyNew dependencies on

`lens`

,`tagged`

,`optparse-applicative`

,`filepath`

,`safe`

,`vector-space-points`

,`MemoTrie`

Depend on

`intervals >= 0.3 && < 0.5`

.

**Bug fixes**

Depend on

`intervals 0.3`

, which allows diagrams to build on Windows, by evading a GHCi linker bug which affects the FFI use in previous versions of intervals (diagrams-contrib#14)Use point envelope at the origin for text objects instead of an empty envelope (#115, #116).

Adjusting the end of a trail now works correctly (#95).

Only look for miter join on corners in

`Diagrams.TwoD.Offset`

(#118).`wedge`

from`Diagrams.TwoD.Arc`

is now a Loop (#99)Arrows do not behave correctly under scaling #112

**Performance improvements**

`R2`

is now strict and`UNPACK`

edAdd strictness to

`Offset`

,`Segment`

,`OffsetEnvelope`

, and`SizeSpec2D`

.Make

`getEnvelope`

calculation for`Segment`

more efficient by floating divisions out of the inner calculation.Use a specialized

`HasTrie`

instance for`R2`

.

**Closed issues:**

**Merged pull requests:**

Lenses for setting arrow head, tail, and shaft colors #138 (byorgey)

Add helpers for common optparse-applicative backend command line. #135 (fryguybob)

add located lens for access into Located things #134 (byorgey)

Lens #131 (jeffreyrosenbluth)

correctly (?) compute shaftScale by solving a quadratic #127 (byorgey)

calculate arrow shaftScale using projection of ends onto shaft offset #125 (bergey)

## v0.7.1.1 (2013-09-27)

**Implemented enhancements:**

Use a point envelope for built-in text objects #116

implement rotations in 3D #86

Control over boundary conditions on cubic splines. #32

**Fixed bugs:**

diagrams with empty envelopes are not properly separated by struts #115

**Closed issues:**

**Merged pull requests:**

## v0.7.1 (2013-09-11)

**New features**

New standard miter limit attribute

New functions

`lineColorA`

,`lineWidthA`

,`lineMiterLimitA`

,`fontSizeA`

for directly applying attribute values`setDefault2DAttributes`

now sets default line cap (butt), line join (miter), and miter limit (10) attributes

**New instances**

`Data.Default`

instances for`LineCap`

`LineJoin`

`LineMiterLimit`

`LineWidth`

`LineColor`

`FontSize`

**Implemented enhancements:**

**Fixed bugs:**

**Merged pull requests:**

change Codomain of Located to Point (Codomain a) #102 (byorgey)

Default and Show instances for FillRule and FillRuleA #100 (jbracker)

Changes required due to the introduction of Roles in GHC #98 (co-dan)

removed default implementation of reverseDomain #97 (jeffreyrosenbluth)

fixed issue #95 #96 (jeffreyrosenbluth)

## v0.7 (2013-08-09)

**New features**

New module

`Diagrams.TwoD.Curvature`

, for computing the curvature of 2D segments at any given point.New module

`Diagrams.Offset`

, containing an`offsetSegment`

function that builds a trail a fixed distance from the original segment. This is a precursor to planned functions`offsetTrail`

and`offsetPath`

.New function

`Diagrams.TwoD.Transform.onBasis`

, for extracting a matrix representation of a 2D transformationNew functions

`extrudeEnvelope`

and`intrudeEnvelope`

, for extending or shrinking an envelope only in a certain direction.Generalize the

`Color`

class to absolute colors. This addresses concerns raised in issue #66 by letting the backend choose which color space to render`Color`

instances to. Functions are provided for backwards compatibility with the old semantics.New function

`scaleInvPrim`

for creating a diagram from a single scale-invariant primitive.New module

`Diagrams.Parametric`

, containing a collection of classes abstracting over "parametric" things:`Parametric`

,`DomainBounds`

,`EndValues`

,`Sectionable`

, and`HasArcLength`

, with instances for segments, trails, and related things.A big refactoring of segments and trails:

Segments can now be either "closed" or "open".

There are now two types of trails: "lines" (which travel from point A to point B) or "loops" (closed curves which end where they started).

`Trail`

is now a wrapper type which can contain both loops and lines.There is a new

`Located`

wrapper type for adding locations to translation-invariant things.`Path`

s now consist of a collection of`Located Trail`

s.The

`PathLike`

class is now renamed to`TrailLike`

; the`trailLike`

function takes a`Located Trail`

as input.

New convenience functions

`boundaryFrom`

and`boundaryFromMay`

, for computing boundaries of subdiagrams.Re-export from

`diagrams-lib`

a lot of things defined in`diagrams-core`

, to make them easier for users to find. Several new modules have been created as a result:`Diagrams.Query`

,`Diagrams.Envelope`

,`Diagrams.Trace`

, and`Diagrams.Names`

.Export the

`centroid`

function from`Diagrams.Prelude`

.`triangle`

is now a synonym for`eqTriangle`

.

**New instances**

`IsPrim`

instances for`Path`

,`Ellipsoid`

,`Image`

,`Text`

, and`ScaleInv`

`Eq`

,`Ord`

, and`Show`

instances for`SizeSpec2D`

**API changes**

`CircleFrac`

has been renamed`Turn`

(though`CircleFrac`

is retained as a deprecated synonym).`Diagrams.Coordinates`

is no longer exported from`Diagrams.Prelude`

. This is for compatibility with`lens`

, as`(&)`

is a rather important lens operator and clashes with`Diagrams.Coordinates`

. Users who want the`Coordinates`

stuff can import`Diagrams.Coordinates`

explicitly.

**Dependency/version changes**

allow

`base-4.7`

upgrade to

`monoid-extras-0.3`

depend on

`data-default-class`

instead of`data-default`

Tested with GHC 7.7.

**Bug fixes**

Added a special case that was a not handled properly by the quadratic solver, resulting in bogus envelopes in certain cases (#88).

Import only

`Data.NumInstances.Tuple`

instead of`Data.NumInstances`

. Previously,`Diagrams.Prelude`

exported`Eq`

,`Show`

, and`Num`

instances for functions and tuples; now it only exports tuple instances. Users wishing to use`Diagrams.CubicSpline`

with a vector space built over functions (!?) can import`Data.NumInstances.Function`

themselves. (#48)Do scaling on a

`Path`

*before*constructing a`TrailLike`

in`rect`

(#43)

**Implemented enhancements:**

Split PathLike, Trail, and Path into separate modules #25

Add support for path-oriented diagrams. #13

**Fixed bugs:**

Wrong envelope for cubic segment #88

Fix documentation of beside, (===), and (|||) re: monoidal semantics #83

reverseTrail should not generate extra segments for closed trails #24

**Closed issues:**

Test issue #91

**Merged pull requests:**

Add parametric generalizations for segments, trails, Located, etc. #92 (byorgey)

Adding type signature so it compiles with GHC7.7 #90 (co-dan)

bug fix: add special case for b==0 to quadform solver #89 (byorgey)

Stop exporting Diagrams.Coordinates from Diagrams.Prelude #82 (byorgey)

## v0.6.0.3 (2013-05-04)

**Closed issues:**

Offset #80

**Merged pull requests:**

## v0.6.0.2 (2013-03-29)

**Implemented enhancements:**

Don't export Eq and Show instances for functions from Diagrams.Prelude #48

**Closed issues:**

radius is wrong #75

**Merged pull requests:**

## types-generalized (2013-02-13)

## v0.6.0.1 (2013-01-07)

**Fixed bugs:**

text on zero width rect leads to nans #51

wrong result when using

`beside`

with circle and vector (1 & (-1)) #46Handle

`rect`

with zero arguments. #43

**Closed issues:**

Generalization of color space used in rendering #66

**Merged pull requests:**

## v0.6 (2012-12-12)

**New features**

`boundingRect`

function for constructing a bounding rectangle`bg`

function for "setting the background color" (*i.e.*placing atop a colored bounding rectangle)New functions

`setDefault2DAttributes`

and`adjustDiaSize2D`

.`adjustDia2D`

does both --- so the behavior of`adjustDia2D`

has not changed, but it is now possible to apply just one of the two adjustments using the new functions.`Diagrams.TwoD.Transform`

now exports a`ScaleInv`

type for creating scale-invariant objects, which are only affected by rotational and translational components of transformations.The new

`Diagrams.Coordinates`

module provides nicer syntax for constructing and pattern-matching point and vector literals.New

`fromFixedSeg`

function in`Diagrams.Segment`

, which decomposes a`FixedSegment`

into a starting point and a`Segment`

.New

`withTrace`

function for setting the`Trace`

of a diagram.Three new size-related functions:

New

`sized`

function for scaling an object to a particular size. One particularly nice use of this is to obviate the need to keep fiddling with the line width to get diagrams to "look right"; just set the line width relative to some arbitrary scale (*e.g.*assuming the final diagram will fit into a 1x1 box) and then apply`sized`

to the final diagram to make it that given arbitrary size. It can also be used for easily making something (a diagram, path, trail, ...) the same size as something else, with the help of the new`sizeSpec2D`

function.New

`sizedAs`

function, for setting the size of some object to be "the same as" some other object.New

`sizeSpec2D`

function for conveniently calculating the size of an object as a`SizeSpec2D`

value (for use with the new`sized`

funtion).

New

`extrudeEnvelope`

and`intrudeEnvelope`

functions for modifying envelopes in a single direction only, as well as new functions`extrude{Left,Right,Bottom,Top}`

specializing`extrudeEnvelope`

to 2D.`arcCW`

draws clockwise arcs;`arc'`

draws arcs counterclockwise or clockwise as the radius is positive or negative, respectively.fill color attribute is generalized to support "recommended" and "committed" colors; text objects use a recommended fill color of black.

**New instances**

The

`Show`

instance for`R2`

now produces something like`2 & 6`

instead of`R2 { unR2 = (2,6) }`

. The`Read`

instance has also been changed to match, so`read . show = id`

.`Enveloped`

instance for`FixedSegment`

`Traced`

instances for`Segment`

,`FixedSegment`

,`Trail`

, and`Path`

New derived

`Eq`

instances for`LineCapA`

,`LineJoinA`

,`Dashing`

,`DashingA`

,`FillRule`

,`Font`

,`FontSize`

,`FontSlant`

,`FontSlantA`

,`FontWeight`

, and`FontWeightA`

`Renderable Ellipsoid NullBackend`

instance

**API changes**

`Data.Colour`

(minus`atop`

and`AffineSpace`

) is now re-exported from Diagrams.Prelude for convenience.The

`beneath`

function is now infixl 6.The

`BoundingBox`

module has had a complete overhaul. There is now a special empty bounding box, and bounding boxes are an instance of`Monoid`

.The type of

`withEnvelope`

has been slightly generalized.`Diagrams.TwoD.Adjust.adjustSize`

is now deprecated; it has been renamed and moved to`Diagrams.TwoD.Size.requiredScaleT`

.`expandPath`

has been renamed to`scalePath`

.

**Dependency/version changes**

Allow

`data-default`

0.4 and 0.5Allow

`base`

-4.6Allow

`containers`

-0.5

**Bug fixes**

`arc`

and`arcT`

functions now always produce counterclockwise arcs, as claimed.

**Implemented enhancements:**

Enhancements for

`arc`

s. #54align and friends should be in terms of a new 'Alignable' class instead of 'Boundable' #31

Tools for more accurate boundary calculations in common cases #30

Reimplement Diagrams.TwoD.Ellipse in terms of Diagrams.TwoD.Arc #27

Function to convert angles into 2D unit vectors #23

2D specialization of 'beside' which takes an angle instead of a vector #22

Generalize showOrigin function #21

Add generic 'extent' and 'breadth' ? functions #20

Add shearing transformations to standard library #19

Add support for text #15

Allow the user to choose the fill rule used for paths when stroking #14

Image primitives #10

Merge polygon code from Dmitry Olshansky #4

**Fixed bugs:**

Enhancements for

`arc`

s. #54boundingBox computes incorrect bounding box for transformed diagrams #39

hcat is really *terrible* performance-wise #28

stroke sets the fill rule attribute to a default value, so it can't be changed later #26

Text alignment should be with respect to descent and ascent lines rather than text bounding box #17

incorrect bounds for Bezier segments #11

More combinators in D.Combinators #5

**Merged pull requests:**

Renamed

`expandPath`

to`scalePath`

to make room #61 (fryguybob)Added

`Eq`

instances for some data structures. #59 (fryguybob)More involved diameter benchmark + better implementation #58 (mgsloan)

Update to track with diagrams-core renaming, and a better Show instance for R2 #47 (byorgey)

Minor tweaks due to monoid-extra and dual-tree changes #45 (byorgey)

split out default attribute setting and size adjustment into separate functions #42 (byorgey)

New module enabling nice syntax for constructing and pattern-matching literal points and vectors #1 (byorgey)

## v0.5.0.1 (2012-07-24)

## v0.5 (2012-03-09)

**New features**
- `mkSizeSpec`

function for constructing a `SizeSpec2D`

from two `Maybe Double`

s

`beneath`

as convenient synonym for`flip atop`

Improvements and extensions to rounded rectangles by Peter Hall:

`roundedRect'`

allows rounded rectangles with a different radius specified for each cornerboth

`roundedRect'`

and`roundedRect`

now allow negative radii, resulting in "inverted" circular corners

#64: New

`Alignable`

class for things that can be aligned.`explodeTrail`

and`explodePath`

have been generalized to return any`PathLike`

type.New path functions

`pathCentroid`

(compute the centroid of a path's vertices) and`expandPath`

(scale a path about its centroid).Generalized

`centroid`

function now exported from new module`Diagrams.Points`

.Initial (experimental) support for animation:

`Animation`

and`QAnimation`

defined as synonyms for`Active`

diagrams (see`active`

package)Instances for

`Active`

:`V`

,`HasOrigin`

,`Transformable`

,`HasStyle`

,`PathLike`

,`Juxtaposable`

,`Alignable`

`animEnvelope`

and`animRect`

functions for automatic bounding of animations

`addClosingSegment`

function for making the implicit closing segment of a closed trail explicitImprovements to

`BoundingBox`

module from Michael Sloan: querying of`BoundingBox`

bounds, corners, extents, and transformation of objects to fit within a given box.Text alignment options from Michael Sloan

`view`

function for restricting a diagram's envelope to a rectangular region.`iterateN`

function for iterating a finite number of times`atAngle`

for placing two diagrams next to each other along a specified angle.`padX`

and`padY`

functions for padding in the X- and Y-directions independently.generalized

`showOrigin`

function from Ian Ross#40: add shears to

`Diagrams.TwoD.Transform`

**Performance improvements**

Use a balanced folding scheme for

`cat'`

, reducing time in some cases from \(O(n^2)\) to \(O(n \log n)\)More efficient implementation of

`beside`

**New instances**

`Alignable`

instances for`QDiagram`

,`Path`

,`Envelope`

,`Active`

,`Set`

,`Map`

,`[]`

`Renderable`

instances for`NullBackend`

(`Trail`

,`Path`

,`Segment`

,`Image`

,`Text`

)Instances for

`Active`

:`V`

,`HasOrigin`

,`Transformable`

,`HasStyle`

,`PathLike`

,`Juxtaposable`

,`Alignable`

**API changes**

`R2`

used to be a synonym for`(Double, Double)`

but is now abstract. To convert between pairs of`Doubles`

and`R2`

, use the new functions`r2`

and`unr2`

. There are two reasons for this change: 1. to allow for future changes to the implementation of`R2`

; 2.`(Double, Double)`

was an awkward special case getting in the way of useful tuple instances for classes like`HasOrigin`

,`Enveloped`

, and so on.`circlePath`

has been removed; its functionality has been subsumed by`circle`

.`adjustSegment`

now takes an extra tolerance option.Ellipses are now represented using Bezier approximations rather than a separate special type.

`BoundingBox`

no longer has a`Transformable`

instance; the old instance was misleading at best.Change semantics of

`beside`

(hence also`(|||)`

and`(===)`

) so the result's origin is the same as that of the first argument.`adjustDia2D`

now takes a`SizeSpec2D`

.`beside`

and related functions are now implemented in terms of`juxtapose`

.Instead of taking an

`R2`

,`roundedRect`

now takes a pair of`Double`

s, to be more consistent with`rect`

.

**Dependency/version changes**

Support for GHC 7.4.1:

depend on

`colour`

>= 2.3.2update

`base`

and`array`

upper bounds

bump

`vector-space`

upper bound

**Bug fixes**

- Avoid scale by zero error in
`showOrigin`

. - Base
`adjustDia2D`

translation on output size rather than diagram size.

## [v0.4.0.1] () (30 October 2011)

bump

`data-default`

dependency to allow version 0.3

## v0.4 (23 October 2011)

**documentation fixes**

**New functions and primitives**

`wedge`

shape primitive`fromDirection`

function for converting angles to 2D unit vectors;inverse function

`direction`

generalized to return any Angle typeNew functions for computing and adjusting segment lengths

`scaleUToX`

and`scaleUToY`

for doing uniform scales resulting in a desired width or height.`circlePath`

,`reversePath`

,`decoratePath`

**New features**

Completely new and improved polygon generation API

Cubic splines

User-controllable path fill rules

**Bug fixes**

fix incorrect corner case in arc generation

fix incorrect

`reverseTrail`

function

## v0.3 (18 June 2011)

**New features**

new customizable

`stroke'`

function which lets you assign names to path vertices`circle`

and`square`

functions now take a size argumentfunction for adjusting 2D diagrams to requested size abstracted from cairo backend

generalize

`PathLike`

class to include an instance for diagrams, and collapse things like`polygon`

/`polygonPath`

into a single polymorphic functionbasic text support

basic support for external images

very sketchy initial proof-of-concept library of 3D primitives. See also diagrams-povray package.

**Bug fixes**

Issue 32 (

`mempty`

not behaving correctly within concatenations)

## v0.2 (3 June 2011)

**New functions and primitives**

`scaleToX`

and`scaleToY`

for scaling to an absolute width/height`reverseTrail`

new

`Angle`

class and ability to use radians, degrees, or circle fractions for specifying angles`rotateAbout`

and`reflectAbout`

transformations based on new conjugation functions`rect`

and`roundedRect`

primitives`explodeTrail`

/`Path`

for breaking trails and paths into individual segments

**New features**

opacity attribute

support for path clipping

**New modules**`Diagrams.BoundingBox`

**Fixes and updates**

`withBounds`

now properly uses the new bounds instead of just combining them with the old

## v0.1.1 (18 May 2011)

minor documentation fixes

link to new website

## v0.1 [17 May 2011]

initial preview release

* *This Change Log was automatically generated by (and then edited by hand) github changeloggenerator*