Diagrams.Attributes

Diagrams may have attributes which affect the way they are rendered. This module defines some common attributes; particular backends may also define more backend-specific attributes.

Every attribute type must have a semigroup structure, that is, an associative binary operation for combining two attributes into one. Unless otherwise noted, all the attributes defined here use the Last structure, that is, combining two attributes simply keeps the second one and throws away the first. This means that child attributes always override parent attributes.

Standard measures

ultraThin :: OrderedField n => Measure n

veryThin :: OrderedField n => Measure n

thin :: OrderedField n => Measure n

medium :: OrderedField n => Measure n

thick :: OrderedField n => Measure n

veryThick :: OrderedField n => Measure n

ultraThick :: OrderedField n => Measure n

none :: OrderedField n => Measure n

tiny :: OrderedField n => Measure n

verySmall :: OrderedField n => Measure n

small :: OrderedField n => Measure n

normal :: OrderedField n => Measure n

large :: OrderedField n => Measure n

veryLarge :: OrderedField n => Measure n

huge :: OrderedField n => Measure n

Line width

data LineWidth n

Line widths specified on child nodes always override line widths specified at parent nodes.

Instances

Semigroup (LineWidth n)

Methods

(<>) :: LineWidth n -> LineWidth n -> LineWidth n

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

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

Typeable * n => AttributeClass (LineWidth n)

getLineWidth :: LineWidth n -> n

_LineWidth :: Iso' (LineWidth n) n

_LineWidthM :: Iso' (LineWidthM n) (Measure n)

lineWidth :: (N a ~ n, HasStyle a, Typeable n) => Measure n -> a -> a

Set the line (stroke) width.

lineWidthM :: (N a ~ n, HasStyle a, Typeable n) => LineWidthM n -> a -> a

Apply a LineWidth attribute.

_lineWidth :: (Typeable n, OrderedField n) => Lens' (Style v n) (Measure n)

Lens onto a measured line width in a style.

_lw :: (Typeable n, OrderedField n) => Lens' (Style v n) (Measure n)

Lens onto a measured line width in a style.

_lineWidthU :: Typeable n => Lens' (Style v n) (Maybe n)

Lens onto the unmeasured linewith attribute. This is useful for backends to use on styles once they have been unmeasured. Using on a diagram style could lead to unexpected results.

lw :: (N a ~ n, HasStyle a, Typeable n) => Measure n -> a -> a

Default for lineWidth.

lwN :: (N a ~ n, HasStyle a, Typeable n, Num n) => n -> a -> a

A convenient synonym for 'lineWidth (normalized w)'.

lwO :: (N a ~ n, HasStyle a, Typeable n) => n -> a -> a

A convenient synonym for 'lineWidth (output w)'.

lwL :: (N a ~ n, HasStyle a, Typeable n, Num n) => n -> a -> a

A convenient sysnonym for 'lineWidth (local w)'.

lwG :: (N a ~ n, HasStyle a, Typeable n, Num n) => n -> a -> a

A convenient synonym for 'lineWidth (global w)'.

Dashing

data Dashing n

Create lines that are dashing... er, dashed.

Constructors

Dashing [n] n

Instances

Functor Dashing

Methods

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

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

Eq n => Eq (Dashing n)

Methods

(==) :: Dashing n -> Dashing n -> Bool

(/=) :: Dashing n -> Dashing n -> Bool

Semigroup (Dashing n)

Methods

(<>) :: Dashing n -> Dashing n -> Dashing n

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

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

Typeable * n => AttributeClass (Dashing n)

getDashing :: Dashing n -> Dashing n

dashing

Arguments

:: (N a ~ n, HasStyle a, Typeable n)

=> [Measure n]

A list specifying alternate lengths of on and off portions of the stroke. The empty list indicates no dashing.

-> Measure n

An offset into the dash pattern at which the stroke should start.

-> a

-> a

Set the line dashing style.

dashingN :: (N a ~ n, HasStyle a, Typeable n, Num n) => [n] -> n -> a -> a

A convenient synonym for 'dashing (normalized w)'.

dashingO :: (N a ~ n, HasStyle a, Typeable n) => [n] -> n -> a -> a

A convenient synonym for 'dashing (output w)'.

dashingL :: (N a ~ n, HasStyle a, Typeable n, Num n) => [n] -> n -> a -> a

A convenient sysnonym for 'dashing (local w)'.

dashingG :: (N a ~ n, HasStyle a, Typeable n, Num n) => [n] -> n -> a -> a

A convenient synonym for 'dashing (global w)'.

_dashing :: Typeable n => Lens' (Style v n) (Maybe (Measured n (Dashing n)))

Lens onto a measured dashing attribute in a style.

_dashingU :: Typeable n => Lens' (Style v n) (Maybe (Dashing n))

Lens onto the unmeasured Dashing attribute. This is useful for backends to use on styles once they have been unmeasured. Using on a diagram style could lead to unexpected results.

Color

Diagrams outsources all things color-related to Russell O'Connor's very nice colour package (http://hackage.haskell.org/package/colour). For starters, it provides a large collection of standard color names. However, it also provides a rich set of combinators for combining and manipulating colors; see its documentation for more information.

class Color c where

The Color type class encompasses color representations which can be used by the Diagrams library. Instances are provided for both the Colour and AlphaColour types from the Data.Colour library.

Minimal complete definition

toAlphaColour, fromAlphaColour

Methods

toAlphaColour :: c -> AlphaColour Double

Convert a color to its standard representation, AlphaColour.

fromAlphaColour :: AlphaColour Double -> c

Convert from an AlphaColour Double. Note that this direction may lose some information. For example, the instance for Colour drops the alpha channel.

Instances

Color SomeColor

Methods

toAlphaColour :: SomeColor -> AlphaColour Double

fromAlphaColour :: AlphaColour Double -> SomeColor

(~) * a Double => Color (Colour a)

Methods

toAlphaColour :: Colour a -> AlphaColour Double

fromAlphaColour :: AlphaColour Double -> Colour a

(~) * a Double => Color (AlphaColour a)

Methods

toAlphaColour :: AlphaColour a -> AlphaColour Double

fromAlphaColour :: AlphaColour Double -> AlphaColour a

data SomeColor

An existential wrapper for instances of the Color class.

Constructors

Color c => SomeColor c

Instances

Show SomeColor

Methods

showsPrec :: Int -> SomeColor -> ShowS

show :: SomeColor -> String

showList :: [SomeColor] -> ShowS

Color SomeColor

Methods

toAlphaColour :: SomeColor -> AlphaColour Double

fromAlphaColour :: AlphaColour Double -> SomeColor

_SomeColor :: Iso' SomeColor (AlphaColour Double)

Isomorphism between SomeColor and AlphaColour Double.

someToAlpha :: SomeColor -> AlphaColour Double

Opacity

data Opacity

Although the individual colors in a diagram can have transparency, the opacity/transparency of a diagram as a whole can be specified with the Opacity attribute. The opacity is a value between 1 (completely opaque, the default) and 0 (completely transparent). Opacity is multiplicative, that is, opacity o1 . opacity o2 === opacity (o1 * o2). In other words, for example, opacity 0.8 means "decrease this diagram's opacity to 80% of its previous opacity".

Instances

Semigroup Opacity

Methods

(<>) :: Opacity -> Opacity -> Opacity

sconcat :: NonEmpty Opacity -> Opacity

stimes :: Integral b => b -> Opacity -> Opacity

AttributeClass Opacity

_Opacity :: Iso' Opacity Double

getOpacity :: Opacity -> Double

opacity :: HasStyle a => Double -> a -> a

Multiply the opacity (see Opacity) by the given value. For example, opacity 0.8 means "decrease this diagram's opacity to 80% of its previous opacity".

_opacity :: Lens' (Style v n) Double

Lens onto the opacity in a style.

data FillOpacity

Like Opacity, but set the opacity only for fills (as opposed to strokes). As with Opacity, the fill opacity is a value between 1 (completely opaque, the default) and 0 (completely transparent), and is multiplicative.

Instances

Semigroup FillOpacity

Methods

(<>) :: FillOpacity -> FillOpacity -> FillOpacity

sconcat :: NonEmpty FillOpacity -> FillOpacity

stimes :: Integral b => b -> FillOpacity -> FillOpacity

AttributeClass FillOpacity

_FillOpacity :: Iso' FillOpacity Double

getFillOpacity :: FillOpacity -> Double

fillOpacity :: HasStyle a => Double -> a -> a

Multiply the fill opacity (see FillOpacity) by the given value. For example, fillOpacity 0.8 means "decrease this diagram's fill opacity to 80% of its previous value".

_fillOpacity :: Lens' (Style v n) Double

Lens onto the fill opacity in a style.

data StrokeOpacity

Like Opacity, but set the opacity only for strokes (as opposed to fills). As with Opacity, the fill opacity is a value between 1 (completely opaque, the default) and 0 (completely transparent), and is multiplicative.

Instances

Semigroup StrokeOpacity

Methods

(<>) :: StrokeOpacity -> StrokeOpacity -> StrokeOpacity

sconcat :: NonEmpty StrokeOpacity -> StrokeOpacity

stimes :: Integral b => b -> StrokeOpacity -> StrokeOpacity

AttributeClass StrokeOpacity

_StrokeOpacity :: Iso' StrokeOpacity Double

getStrokeOpacity :: StrokeOpacity -> Double

strokeOpacity :: HasStyle a => Double -> a -> a

Multiply the stroke opacity (see StrokeOpacity) by the given value. For example, strokeOpacity 0.8 means "decrease this diagram's stroke opacity to 80% of its previous value".

_strokeOpacity :: Lens' (Style v n) Double

Lens onto the stroke opacity in a style.

Converting colors

colorToSRGBA :: Color c => c -> (Double, Double, Double, Double)

Convert to sRGBA.

colorToRGBA :: Color c => c -> (Double, Double, Double, Double)

Deprecated: Renamed to colorToSRGBA.

Convert to sRGBA.

Line stuff

Cap style

data LineCap

What sort of shape should be placed at the endpoints of lines?

Constructors

LineCapButt

Lines end precisely at their endpoints.

LineCapRound

Lines are capped with semicircles centered on endpoints.

LineCapSquare

Lines are capped with a squares centered on endpoints.

Instances

Eq LineCap

Methods

(==) :: LineCap -> LineCap -> Bool

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

Ord LineCap

Methods

compare :: LineCap -> LineCap -> Ordering

(<) :: LineCap -> LineCap -> Bool

(<=) :: LineCap -> LineCap -> Bool

(>) :: LineCap -> LineCap -> Bool

(>=) :: LineCap -> LineCap -> Bool

max :: LineCap -> LineCap -> LineCap

min :: LineCap -> LineCap -> LineCap

Show LineCap

Methods

showsPrec :: Int -> LineCap -> ShowS

show :: LineCap -> String

showList :: [LineCap] -> ShowS

Semigroup LineCap

Last semigroup structure.

Methods

(<>) :: LineCap -> LineCap -> LineCap

sconcat :: NonEmpty LineCap -> LineCap

stimes :: Integral b => b -> LineCap -> LineCap

Default LineCap

Methods

def :: LineCap

AttributeClass LineCap

getLineCap :: LineCap -> LineCap

lineCap :: HasStyle a => LineCap -> a -> a

Set the line end cap attribute.

_lineCap :: Lens' (Style v n) LineCap

Lens onto the line cap in a style.

Join style

data LineJoin

How should the join points between line segments be drawn?

Constructors

LineJoinMiter

Use a "miter" shape (whatever that is).

LineJoinRound

Use rounded join points.

LineJoinBevel

Use a "bevel" shape (whatever that is). Are these... carpentry terms?

Instances

Eq LineJoin

Methods

(==) :: LineJoin -> LineJoin -> Bool

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

Ord LineJoin

Methods

compare :: LineJoin -> LineJoin -> Ordering

(<) :: LineJoin -> LineJoin -> Bool

(<=) :: LineJoin -> LineJoin -> Bool

(>) :: LineJoin -> LineJoin -> Bool

(>=) :: LineJoin -> LineJoin -> Bool

max :: LineJoin -> LineJoin -> LineJoin

min :: LineJoin -> LineJoin -> LineJoin

Show LineJoin

Methods

showsPrec :: Int -> LineJoin -> ShowS

show :: LineJoin -> String

showList :: [LineJoin] -> ShowS

Semigroup LineJoin

Last semigroup structure.

Methods

(<>) :: LineJoin -> LineJoin -> LineJoin

sconcat :: NonEmpty LineJoin -> LineJoin

stimes :: Integral b => b -> LineJoin -> LineJoin

Default LineJoin

Methods

def :: LineJoin

AttributeClass LineJoin

getLineJoin :: LineJoin -> LineJoin

lineJoin :: HasStyle a => LineJoin -> a -> a

Set the segment join style.

_lineJoin :: Lens' (Style v n) LineJoin

Lens onto the line join type in a style.

Miter limit

newtype LineMiterLimit

Miter limit attribute affecting the LineJoinMiter joins. For some backends this value may have additional effects.

Constructors

LineMiterLimit (Last Double)

Instances

Eq LineMiterLimit

Methods

(==) :: LineMiterLimit -> LineMiterLimit -> Bool

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

Ord LineMiterLimit

Methods

compare :: LineMiterLimit -> LineMiterLimit -> Ordering

(<) :: LineMiterLimit -> LineMiterLimit -> Bool

(<=) :: LineMiterLimit -> LineMiterLimit -> Bool

(>) :: LineMiterLimit -> LineMiterLimit -> Bool

(>=) :: LineMiterLimit -> LineMiterLimit -> Bool

max :: LineMiterLimit -> LineMiterLimit -> LineMiterLimit

min :: LineMiterLimit -> LineMiterLimit -> LineMiterLimit

Semigroup LineMiterLimit

Methods

(<>) :: LineMiterLimit -> LineMiterLimit -> LineMiterLimit

sconcat :: NonEmpty LineMiterLimit -> LineMiterLimit

stimes :: Integral b => b -> LineMiterLimit -> LineMiterLimit

Default LineMiterLimit

Methods

def :: LineMiterLimit

AttributeClass LineMiterLimit

_LineMiterLimit :: Iso' LineMiterLimit Double

getLineMiterLimit :: LineMiterLimit -> Double

lineMiterLimit :: HasStyle a => Double -> a -> a

Set the miter limit for joins with LineJoinMiter.

lineMiterLimitA :: HasStyle a => LineMiterLimit -> a -> a

Apply a LineMiterLimit attribute.

_lineMiterLimit :: Lens' (Style v n) Double

Lens onto the line miter limit in a style.

Recommend optics

_Recommend :: Prism' (Recommend a) a

Prism onto a Recommend.

_Commit :: Prism' (Recommend a) a

Prism onto a Commit.

_recommend :: Lens (Recommend a) (Recommend b) a b

Lens onto the value inside either a Recommend or Commit. Unlike committed, this is a valid lens.

isCommitted :: Lens' (Recommend a) Bool

Lens onto whether something is committed or not.

committed :: Iso (Recommend a) (Recommend b) a b

Commit a value for any Recommend. This is *not* a valid Iso because the resulting Recommend b is always a Commit. This is useful because it means any Recommend styles set with a lens will not be accidentally overridden. If you want a valid lens onto a recommend value use _recommend.

Other lenses that use this are labeled with a warning.