-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A library for generating 2D Charts and Plots
--   
--   A library for generating 2D Charts and Plots, with backends provided
--   by Cairo (<a>http://hackage.haskell.org/package/Chart-cairo</a>) and
--   Diagrams (<a>http://hackage.haskell.org/package/Chart-diagrams</a>).
@package Chart
@version 1.3.3


-- | Non chart specific utility functions.
module Graphics.Rendering.Chart.Utils

-- | Checks if the given value is and actual numeric value and not a
--   concept like NaN or infinity.
isValidNumber :: RealFloat a => a -> Bool

-- | Version of <a>maybe</a> that returns a monadic value.
maybeM :: Monad m => b -> (a -> m b) -> Maybe a -> m b


module Graphics.Rendering.Chart.Geometry

-- | A rectangle is defined by two points.
data Rect
Rect :: Point -> Point -> Rect

-- | A point in two dimensions.
data Point
Point :: Double -> Double -> Point
p_x :: Point -> Double
p_y :: Point -> Double

-- | A vector in two dimensions.
data Vector
Vector :: Double -> Double -> Vector
v_x :: Vector -> Double
v_y :: Vector -> Double
type RectSize = (Double, Double)
type Range = (Double, Double)

-- | Convert a <a>Point</a> to a <a>Vector</a>.
pointToVec :: Point -> Vector

-- | Create a rectangle based upon the coordinates of 4 points.
mkrect :: Point -> Point -> Point -> Point -> Rect

-- | Make a path from a rectangle.
rectPath :: Rect -> Path

-- | Add a point and a vector.
pvadd :: Point -> Vector -> Point

-- | Subtract a vector from a point.
pvsub :: Point -> Vector -> Point

-- | Subtract two points.
psub :: Point -> Point -> Vector

-- | Angle of a vector (counterclockwise from positive x-axis)
vangle :: Vector -> Double

-- | Length/magnitude of a vector
vlen :: Vector -> Double

-- | Scale a vector by a constant.
vscale :: Double -> Vector -> Vector

-- | Test if a point is within a rectangle.
within :: Point -> Rect -> Bool

-- | Intersects the rectangles. If they intersect the intersection
--   rectangle is returned. <a>LMin</a> is the empty rectangle /
--   intersection and <a>LMax</a> is the infinite plane.
intersectRect :: Limit Rect -> Limit Rect -> Limit Rect

-- | Edge of a rectangle.
data RectEdge
E_Top :: RectEdge
E_Bottom :: RectEdge
E_Left :: RectEdge
E_Right :: RectEdge
data Limit a
LMin :: Limit a
LValue :: a -> Limit a
LMax :: Limit a

-- | A function mapping between points.
type PointMapFn x y = (Limit x, Limit y) -> Point

-- | The path type used by Charts.
--   
--   A path can consist of several subpaths. Each is started by a
--   <a>MoveTo</a> operation. All subpaths are open, except the last one,
--   which may be closed using the <a>Close</a> operation. When filling a
--   path all subpaths are closed implicitly.
--   
--   Closing a subpath means that a line is drawn from the end point to the
--   start point of the subpath.
--   
--   If a <a>Arc</a> (or <a>ArcNeg</a>) is drawn a implicit line from the
--   last end point of the subpath is drawn to the beginning of the arc.
--   Another implicit line is drawn from the end of an arc to the beginning
--   of the next path segment.
--   
--   The beginning of a subpath is either (0,0) or set by a <a>MoveTo</a>
--   instruction. If the first subpath is started with an arc the beginning
--   of that subpath is the beginning of the arc.
data Path
MoveTo :: Point -> Path -> Path
LineTo :: Point -> Path -> Path
Arc :: Point -> Double -> Double -> Double -> Path -> Path
ArcNeg :: Point -> Double -> Double -> Double -> Path -> Path
End :: Path
Close :: Path

-- | Move the paths pointer to the given location and draw a straight line
--   while doing so.
lineTo :: Point -> Path

-- | Move the paths pointer to the given location.
moveTo :: Point -> Path

-- | Short-cut for <a>lineTo</a>, if you don't want to create a
--   <a>Point</a>.
lineTo' :: Double -> Double -> Path

-- | Short-cut for <a>moveTo</a>, if you don't want to create a
--   <a>Point</a>.
moveTo' :: Double -> Double -> Path

-- | Draw the arc of a circle. A straight line connects the end of the
--   previous path with the beginning of the arc. The zero angle points in
--   direction of the positive x-axis. Angles increase in clock-wise
--   direction. If the stop angle is smaller then the start angle it is
--   increased by multiples of <tt>2 * pi</tt> until is is greater or
--   equal.
arc :: Point -> Double -> Double -> Double -> Path

-- | Short-cut for <a>arc</a>, if you don't want to create a <a>Point</a>.
arc' :: Double -> Double -> Double -> Double -> Double -> Path

-- | Like <a>arc</a>, but draws from the stop angle to the start angle
--   instead of between them.
arcNeg :: Point -> Double -> Double -> Double -> Path

-- | Short-cut for <a>arcNeg</a>, if you don't want to create a
--   <a>Point</a>.
arcNeg' :: Double -> Double -> Double -> Double -> Double -> Path

-- | A closed empty path. Closes a path when appended.
close :: Path

-- | Fold the given path to a monoid structure.
foldPath :: Monoid m => (Point -> m) -> (Point -> m) -> (Point -> Double -> Double -> Double -> m) -> (Point -> Double -> Double -> Double -> m) -> m -> Path -> m

-- | Enriches the path with explicit instructions to draw lines, that
--   otherwise would be implicit. See <a>Path</a> for details about what
--   lines in paths are implicit.
makeLinesExplicit :: Path -> Path

-- | Transform a point using the given matrix.
transformP :: Matrix -> Point -> Point

-- | Scale a point.
scaleP :: Vector -> Point -> Point

-- | Rotate a point around the origin. The angle is given in radians.
rotateP :: Double -> Point -> Point

-- | Translate a point.
translateP :: Vector -> Point -> Point

-- | Copied from Graphics.Rendering.Cairo.Matrix
data Matrix
Matrix :: !Double -> !Double -> !Double -> !Double -> !Double -> !Double -> Matrix
xx :: Matrix -> !Double
yx :: Matrix -> !Double
xy :: Matrix -> !Double
yy :: Matrix -> !Double
x0 :: Matrix -> !Double
y0 :: Matrix -> !Double

-- | Copied from Graphics.Rendering.Cairo.Matrix
identity :: Matrix

-- | Copied from Graphics.Rendering.Cairo.Matrix Rotations angle is given
--   in radians.
rotate :: Double -> Matrix -> Matrix

-- | Copied and adopted from Graphics.Rendering.Cairo.Matrix
scale :: Vector -> Matrix -> Matrix

-- | Copied and adopted from Graphics.Rendering.Cairo.Matrix
translate :: Vector -> Matrix -> Matrix

-- | Copied from Graphics.Rendering.Cairo.Matrix
scalarMultiply :: Double -> Matrix -> Matrix

-- | Copied from Graphics.Rendering.Cairo.Matrix
adjoint :: Matrix -> Matrix

-- | Copied from Graphics.Rendering.Cairo.Matrix
invert :: Matrix -> Matrix
instance Show Point
instance Show Vector
instance Show a => Show (Limit a)
instance Show Rect
instance Show Matrix
instance Num Matrix
instance Monoid Path


module Graphics.Rendering.Chart.Backend.Types

-- | The different supported line ends.
data LineCap

-- | Just cut the line straight.
LineCapButt :: LineCap

-- | Make a rounded line end.
LineCapRound :: LineCap

-- | Make a square that ends the line.
LineCapSquare :: LineCap

-- | The different supported ways to join line ends.
data LineJoin

-- | Extends the outline until they meet each other.
LineJoinMiter :: LineJoin

-- | Draw a circle fragment to connet line end.
LineJoinRound :: LineJoin

-- | Like miter, but cuts it off if a certain threshold is exceeded.
LineJoinBevel :: LineJoin

-- | Data type for the style of a line.
data LineStyle
LineStyle :: Double -> AlphaColour Double -> [Double] -> LineCap -> LineJoin -> LineStyle

-- | The thickness of a line in device units.
_line_width :: LineStyle -> Double

-- | The color of a line.
_line_color :: LineStyle -> AlphaColour Double

-- | The dash pattern. Every value at a even index gives a dash width and
--   every value at a odd index gives a gap width in device units.
_line_dashes :: LineStyle -> [Double]

-- | How to end a line.
_line_cap :: LineStyle -> LineCap

-- | How to connect two lines.
_line_join :: LineStyle -> LineJoin

-- | The default line style.

-- | The possible slants of a font.
data FontSlant

-- | Normal font style without slant.
FontSlantNormal :: FontSlant

-- | With a slight slant.
FontSlantItalic :: FontSlant

-- | With a greater slant.
FontSlantOblique :: FontSlant

-- | The default font slant.

-- | The possible weights of a font.
data FontWeight

-- | Normal font style without weight.
FontWeightNormal :: FontWeight

-- | Bold font.
FontWeightBold :: FontWeight

-- | The default font weight.

-- | Data type for a font.
data FontStyle
FontStyle :: String -> Double -> FontSlant -> FontWeight -> AlphaColour Double -> FontStyle

-- | The font family or font face to use.
_font_name :: FontStyle -> String

-- | The height of the rendered font in device coordinates.
_font_size :: FontStyle -> Double

-- | The slant to render with.
_font_slant :: FontStyle -> FontSlant

-- | The weight to render with.
_font_weight :: FontStyle -> FontWeight

-- | The color to render text with.
_font_color :: FontStyle -> AlphaColour Double

-- | The default font style.

-- | Possible horizontal anchor points for text.
data HTextAnchor
HTA_Left :: HTextAnchor
HTA_Centre :: HTextAnchor
HTA_Right :: HTextAnchor

-- | Possible vertical anchor points for text.
data VTextAnchor
VTA_Top :: VTextAnchor
VTA_Centre :: VTextAnchor
VTA_Bottom :: VTextAnchor
VTA_BaseLine :: VTextAnchor

-- | Text metrics returned by <tt>textSize</tt>.
data TextSize
TextSize :: Double -> Double -> Double -> Double -> Double -> TextSize

-- | The total width of the text.
textSizeWidth :: TextSize -> Double

-- | The ascent or space above the baseline.
textSizeAscent :: TextSize -> Double

-- | The decent or space below the baseline.
textSizeDescent :: TextSize -> Double

-- | The Y bearing.
textSizeYBearing :: TextSize -> Double

-- | The total height of the text.
textSizeHeight :: TextSize -> Double

-- | Abstract data type for a fill style.
--   
--   The contained action sets the required fill style in the rendering
--   state.
newtype FillStyle
FillStyleSolid :: AlphaColour Double -> FillStyle
_fill_color :: FillStyle -> AlphaColour Double

-- | The default fill style.

-- | A function to align points for a certain rendering device.
type AlignmentFn = Point -> Point

-- | Holds the point and coordinate alignment function.
data AlignmentFns
AlignmentFns :: AlignmentFn -> AlignmentFn -> AlignmentFns

-- | An adjustment applied immediately prior to points being displayed in
--   device coordinates.
--   
--   When device coordinates correspond to pixels, a cleaner image is
--   created if this transform rounds to the nearest pixel. With
--   higher-resolution output, this transform can just be the identity
--   function.
--   
--   This is usually used to align prior to stroking.
afPointAlignFn :: AlignmentFns -> AlignmentFn

-- | The adjustment applied immediately prior to coordinates being
--   transformed.
--   
--   This is usually used to align prior to filling.
afCoordAlignFn :: AlignmentFns -> AlignmentFn

-- | Alignment to render on raster based graphics.
bitmapAlignmentFns :: AlignmentFns

-- | Alignment to render on vector based graphics.
vectorAlignmentFns :: AlignmentFns
line_width :: Lens' LineStyle Double
line_join :: Lens' LineStyle LineJoin
line_dashes :: Lens' LineStyle [Double]
line_color :: Lens' LineStyle (AlphaColour Double)
line_cap :: Lens' LineStyle LineCap
font_weight :: Lens' FontStyle FontWeight
font_slant :: Lens' FontStyle FontSlant
font_size :: Lens' FontStyle Double
font_name :: Lens' FontStyle String
font_color :: Lens' FontStyle (AlphaColour Double)
fill_color :: Iso' FillStyle (AlphaColour Double)
instance Show LineCap
instance Eq LineCap
instance Ord LineCap
instance Show LineJoin
instance Eq LineJoin
instance Ord LineJoin
instance Show LineStyle
instance Eq LineStyle
instance Show FontSlant
instance Eq FontSlant
instance Ord FontSlant
instance Show FontWeight
instance Eq FontWeight
instance Ord FontWeight
instance Show FontStyle
instance Eq FontStyle
instance Show HTextAnchor
instance Eq HTextAnchor
instance Ord HTextAnchor
instance Show VTextAnchor
instance Eq VTextAnchor
instance Ord VTextAnchor
instance Show TextSize
instance Eq TextSize
instance Show FillStyle
instance Eq FillStyle
instance Default FillStyle
instance Default FontStyle
instance Default FontWeight
instance Default FontSlant
instance Default LineStyle


-- | This module provides the implementation details common to all
--   <a>ChartBackend</a>s.
module Graphics.Rendering.Chart.Backend.Impl

-- | The abstract drawing operation generated when using the the chart
--   drawing API.
--   
--   See the documentation of the different function for the correct
--   semantics of each instruction:
--   
--   <ul>
--   <li><a>strokePath</a>, <a>fillPath</a></li>
--   <li><a>drawText</a>, <a>textSize</a></li>
--   <li><a>getPointAlignFn</a>, <a>getCoordAlignFn</a>,
--   <a>AlignmentFns</a></li>
--   <li><a>withTransform</a>, <a>withClipRegion</a></li>
--   <li><a>withLineStyle</a>, <a>withFillStyle</a>,
--   <a>withFontStyle</a></li>
--   </ul>
data ChartBackendInstr a
StrokePath :: Path -> ChartBackendInstr ()
FillPath :: Path -> ChartBackendInstr ()
GetTextSize :: String -> ChartBackendInstr TextSize
DrawText :: Point -> String -> ChartBackendInstr ()
GetAlignments :: ChartBackendInstr AlignmentFns
WithTransform :: Matrix -> Program ChartBackendInstr a -> ChartBackendInstr a
WithFontStyle :: FontStyle -> Program ChartBackendInstr a -> ChartBackendInstr a
WithFillStyle :: FillStyle -> Program ChartBackendInstr a -> ChartBackendInstr a
WithLineStyle :: LineStyle -> Program ChartBackendInstr a -> ChartBackendInstr a
WithClipRegion :: Rect -> Program ChartBackendInstr a -> ChartBackendInstr a

-- | A <a>ChartBackend</a> provides the capability to render a chart
--   somewhere.
--   
--   The coordinate system of the backend has its initial origin (0,0) in
--   the top left corner of the drawing plane. The x-axis points towards
--   the top right corner and the y-axis points towards the bottom left
--   corner. The unit used by coordinates, the font size, and lengths is
--   the always the same, but depends on the backend. All angles are
--   measured in radians.
--   
--   The line, fill and font style are set to their default values
--   initially.
--   
--   Information about the semantics of the instructions can be found in
--   the documentation of <a>ChartBackendInstr</a>.
type ChartBackend a = Program ChartBackendInstr a

-- | Stroke the outline of the given path using the current
--   <a>LineStyle</a>. This function does <i>not</i> perform alignment
--   operations on the path. See <a>Path</a> for the exact semantic of
--   paths.
strokePath :: Path -> ChartBackend ()

-- | Fill the given path using the current <a>FillStyle</a>. The given path
--   will be closed prior to filling. This function does <i>not</i> perform
--   alignment operations on the path. See <a>Path</a> for the exact
--   semantic of paths.
fillPath :: Path -> ChartBackend ()

-- | Calculate a <a>TextSize</a> object with rendering information about
--   the given string without actually rendering it.
textSize :: String -> ChartBackend TextSize

-- | Draw a single-line textual label anchored by the baseline (vertical)
--   left (horizontal) point. Uses the current <a>FontStyle</a> for
--   drawing.
drawText :: Point -> String -> ChartBackend ()

-- | Apply the given transformation in this local environment when drawing.
--   The given transformation is applied after the current transformation.
--   This means both are combined.
withTransform :: Matrix -> ChartBackend a -> ChartBackend a

-- | Use the given font style in this local environment when drawing text.
--   
--   An implementing backend is expected to guarentee to support the
--   following font families: <tt>serif</tt>, <tt>sans-serif</tt> and
--   <tt>monospace</tt>;
--   
--   If the backend is not able to find or load a given font it is required
--   to fall back to a custom fail-safe font and use it instead.
withFontStyle :: FontStyle -> ChartBackend a -> ChartBackend a

-- | Use the given fill style in this local environment when filling paths.
withFillStyle :: FillStyle -> ChartBackend a -> ChartBackend a

-- | Use the given line style in this local environment when stroking
--   paths.
withLineStyle :: LineStyle -> ChartBackend a -> ChartBackend a

-- | Use the given clipping rectangle when drawing in this local
--   environment. The new clipping region is intersected with the given
--   clip region. You cannot escape the clip!
withClipRegion :: Rect -> ChartBackend a -> ChartBackend a

-- | Get the point alignment function
getPointAlignFn :: ChartBackend (Point -> Point)

-- | Get the coordinate alignment function
getCoordAlignFn :: ChartBackend (Point -> Point)


-- | This module provides the API for drawing operations abstracted to
--   arbitrary <a>ChartBackend</a>s.
module Graphics.Rendering.Chart.Backend

-- | A <a>ChartBackend</a> provides the capability to render a chart
--   somewhere.
--   
--   The coordinate system of the backend has its initial origin (0,0) in
--   the top left corner of the drawing plane. The x-axis points towards
--   the top right corner and the y-axis points towards the bottom left
--   corner. The unit used by coordinates, the font size, and lengths is
--   the always the same, but depends on the backend. All angles are
--   measured in radians.
--   
--   The line, fill and font style are set to their default values
--   initially.
--   
--   Information about the semantics of the instructions can be found in
--   the documentation of <a>ChartBackendInstr</a>.
type ChartBackend a = Program ChartBackendInstr a

-- | Fill the given path using the current <a>FillStyle</a>. The given path
--   will be closed prior to filling. This function does <i>not</i> perform
--   alignment operations on the path. See <a>Path</a> for the exact
--   semantic of paths.
fillPath :: Path -> ChartBackend ()

-- | Stroke the outline of the given path using the current
--   <a>LineStyle</a>. This function does <i>not</i> perform alignment
--   operations on the path. See <a>Path</a> for the exact semantic of
--   paths.
strokePath :: Path -> ChartBackend ()

-- | Draw a single-line textual label anchored by the baseline (vertical)
--   left (horizontal) point. Uses the current <a>FontStyle</a> for
--   drawing.
drawText :: Point -> String -> ChartBackend ()

-- | Calculate a <a>TextSize</a> object with rendering information about
--   the given string without actually rendering it.
textSize :: String -> ChartBackend TextSize

-- | Apply the given transformation in this local environment when drawing.
--   The given transformation is applied after the current transformation.
--   This means both are combined.
withTransform :: Matrix -> ChartBackend a -> ChartBackend a

-- | Use the given clipping rectangle when drawing in this local
--   environment. The new clipping region is intersected with the given
--   clip region. You cannot escape the clip!
withClipRegion :: Rect -> ChartBackend a -> ChartBackend a

-- | Use the given font style in this local environment when drawing text.
--   
--   An implementing backend is expected to guarentee to support the
--   following font families: <tt>serif</tt>, <tt>sans-serif</tt> and
--   <tt>monospace</tt>;
--   
--   If the backend is not able to find or load a given font it is required
--   to fall back to a custom fail-safe font and use it instead.
withFontStyle :: FontStyle -> ChartBackend a -> ChartBackend a

-- | Use the given fill style in this local environment when filling paths.
withFillStyle :: FillStyle -> ChartBackend a -> ChartBackend a

-- | Use the given line style in this local environment when stroking
--   paths.
withLineStyle :: LineStyle -> ChartBackend a -> ChartBackend a

-- | Get the point alignment function
getPointAlignFn :: ChartBackend (Point -> Point)

-- | Get the coordinate alignment function
getCoordAlignFn :: ChartBackend (Point -> Point)

-- | Text metrics returned by <tt>textSize</tt>.
data TextSize
TextSize :: Double -> Double -> Double -> Double -> Double -> TextSize

-- | The total width of the text.
textSizeWidth :: TextSize -> Double

-- | The ascent or space above the baseline.
textSizeAscent :: TextSize -> Double

-- | The decent or space below the baseline.
textSizeDescent :: TextSize -> Double

-- | The Y bearing.
textSizeYBearing :: TextSize -> Double

-- | The total height of the text.
textSizeHeight :: TextSize -> Double

-- | The different supported line ends.
data LineCap

-- | Just cut the line straight.
LineCapButt :: LineCap

-- | Make a rounded line end.
LineCapRound :: LineCap

-- | Make a square that ends the line.
LineCapSquare :: LineCap

-- | The different supported ways to join line ends.
data LineJoin

-- | Extends the outline until they meet each other.
LineJoinMiter :: LineJoin

-- | Draw a circle fragment to connet line end.
LineJoinRound :: LineJoin

-- | Like miter, but cuts it off if a certain threshold is exceeded.
LineJoinBevel :: LineJoin

-- | Data type for the style of a line.
data LineStyle
LineStyle :: Double -> AlphaColour Double -> [Double] -> LineCap -> LineJoin -> LineStyle

-- | The thickness of a line in device units.
_line_width :: LineStyle -> Double

-- | The color of a line.
_line_color :: LineStyle -> AlphaColour Double

-- | The dash pattern. Every value at a even index gives a dash width and
--   every value at a odd index gives a gap width in device units.
_line_dashes :: LineStyle -> [Double]

-- | How to end a line.
_line_cap :: LineStyle -> LineCap

-- | How to connect two lines.
_line_join :: LineStyle -> LineJoin
line_width :: Lens' LineStyle Double
line_color :: Lens' LineStyle (AlphaColour Double)
line_dashes :: Lens' LineStyle [Double]
line_cap :: Lens' LineStyle LineCap
line_join :: Lens' LineStyle LineJoin

-- | Abstract data type for a fill style.
--   
--   The contained action sets the required fill style in the rendering
--   state.
newtype FillStyle
FillStyleSolid :: AlphaColour Double -> FillStyle
_fill_color :: FillStyle -> AlphaColour Double

-- | The possible weights of a font.
data FontWeight

-- | Normal font style without weight.
FontWeightNormal :: FontWeight

-- | Bold font.
FontWeightBold :: FontWeight

-- | The possible slants of a font.
data FontSlant

-- | Normal font style without slant.
FontSlantNormal :: FontSlant

-- | With a slight slant.
FontSlantItalic :: FontSlant

-- | With a greater slant.
FontSlantOblique :: FontSlant

-- | Data type for a font.
data FontStyle
FontStyle :: String -> Double -> FontSlant -> FontWeight -> AlphaColour Double -> FontStyle

-- | The font family or font face to use.
_font_name :: FontStyle -> String

-- | The height of the rendered font in device coordinates.
_font_size :: FontStyle -> Double

-- | The slant to render with.
_font_slant :: FontStyle -> FontSlant

-- | The weight to render with.
_font_weight :: FontStyle -> FontWeight

-- | The color to render text with.
_font_color :: FontStyle -> AlphaColour Double

-- | Possible horizontal anchor points for text.
data HTextAnchor
HTA_Left :: HTextAnchor
HTA_Centre :: HTextAnchor
HTA_Right :: HTextAnchor

-- | Possible vertical anchor points for text.
data VTextAnchor
VTA_Top :: VTextAnchor
VTA_Centre :: VTextAnchor
VTA_Bottom :: VTextAnchor
VTA_BaseLine :: VTextAnchor
font_name :: Lens' FontStyle String
font_size :: Lens' FontStyle Double
font_slant :: Lens' FontStyle FontSlant
font_weight :: Lens' FontStyle FontWeight
font_color :: Lens' FontStyle (AlphaColour Double)

-- | A function to align points for a certain rendering device.
type AlignmentFn = Point -> Point

-- | Holds the point and coordinate alignment function.
data AlignmentFns

-- | Alignment to render on vector based graphics.
vectorAlignmentFns :: AlignmentFns

-- | Alignment to render on raster based graphics.
bitmapAlignmentFns :: AlignmentFns


-- | This module contains basic types and functions used for drawing.
--   
--   Note that Template Haskell is used to derive accessor functions (see
--   <a>Lens</a>) for each field of the following data types:
--   
--   <ul>
--   <li><a>PointStyle</a></li>
--   </ul>
--   
--   These accessors are not shown in this API documentation. They have the
--   same name as the field, but with the trailing underscore dropped.
--   Hence for data field <tt>f_::F</tt> in type <tt>D</tt>, they have type
--   
--   <pre>
--   f :: Control.Lens.Lens' D F
--   </pre>
module Graphics.Rendering.Chart.Drawing

-- | The different shapes a point can have.
data PointShape

-- | A circle.
PointShapeCircle :: PointShape

-- | Number of vertices and is right-side-up?
PointShapePolygon :: Int -> Bool -> PointShape

-- | A plus sign.
PointShapePlus :: PointShape

-- | A cross.
PointShapeCross :: PointShape

-- | Combination of a cross and a plus.
PointShapeStar :: PointShape
PointShapeArrowHead :: Double -> PointShape

-- | Abstract data type for the style of a plotted point.
data PointStyle
PointStyle :: AlphaColour Double -> AlphaColour Double -> Double -> Double -> PointShape -> PointStyle

-- | The color to fill the point with.
_point_color :: PointStyle -> AlphaColour Double

-- | The color to stroke the outline with.
_point_border_color :: PointStyle -> AlphaColour Double

-- | The width of the outline.
_point_border_width :: PointStyle -> Double

-- | The radius of the tightest surrounding circle of the point.
_point_radius :: PointStyle -> Double

-- | The shape.
_point_shape :: PointStyle -> PointShape

-- | Draw a single point at the given location.
drawPoint :: PointStyle -> Point -> ChartBackend ()

-- | Align the path by applying the given function on all points.
alignPath :: (Point -> Point) -> Path -> Path

-- | Align the path using the environment's alignment function for
--   coordinates. This is generally useful when filling. See
--   <a>alignPath</a> and <a>getCoordAlignFn</a>.
alignFillPath :: Path -> ChartBackend Path

-- | Align the path using the environment's alignment function for points.
--   This is generally useful when stroking. See <a>alignPath</a> and
--   <a>getPointAlignFn</a>.
alignStrokePath :: Path -> ChartBackend Path

-- | The points will be aligned by the <a>getCoordAlignFn</a>, so that when
--   drawing bitmaps, the edges of the region will fall between pixels.
alignFillPoints :: [Point] -> ChartBackend [Point]

-- | The points will be aligned by the <a>getPointAlignFn</a>, so that when
--   drawing bitmaps, 1 pixel wide lines will be centred on the pixels.
alignStrokePoints :: [Point] -> ChartBackend [Point]

-- | Align the point using the environment's alignment function for
--   coordinates. See <a>getCoordAlignFn</a>.
alignFillPoint :: Point -> ChartBackend Point

-- | Align the point using the environment's alignment function for points.
--   See <a>getPointAlignFn</a>.
alignStrokePoint :: Point -> ChartBackend Point

-- | Draw lines between the specified points.
strokePointPath :: [Point] -> ChartBackend ()

-- | Fill the region with the given corners.
fillPointPath :: [Point] -> ChartBackend ()

-- | Apply a local rotation. The angle is given in radians.
withRotation :: Double -> ChartBackend a -> ChartBackend a

-- | Apply a local translation.
withTranslation :: Point -> ChartBackend a -> ChartBackend a

-- | Apply a local scale.
withScale :: Vector -> ChartBackend a -> ChartBackend a

-- | Apply a local scale on the x-axis.
withScaleX :: Double -> ChartBackend a -> ChartBackend a

-- | Apply a local scale on the y-axis.
withScaleY :: Double -> ChartBackend a -> ChartBackend a

-- | Changes the <a>LineStyle</a> and <a>FillStyle</a> to comply with the
--   given <a>PointStyle</a>.
withPointStyle :: PointStyle -> ChartBackend a -> ChartBackend a
withDefaultStyle :: ChartBackend a -> ChartBackend a

-- | Draw a line of text that is aligned at a different anchor point. See
--   <a>drawText</a>.
drawTextA :: HTextAnchor -> VTextAnchor -> Point -> String -> ChartBackend ()

-- | Draw a textual label anchored by one of its corners or edges, with
--   rotation. Rotation angle is given in degrees, rotation is performed
--   around anchor point. See <a>drawText</a>.
drawTextR :: HTextAnchor -> VTextAnchor -> Double -> Point -> String -> ChartBackend ()

-- | Draw a multi-line textual label anchored by one of its corners or
--   edges, with rotation. Rotation angle is given in degrees, rotation is
--   performed around anchor point. See <a>drawText</a>.
drawTextsR :: HTextAnchor -> VTextAnchor -> Double -> Point -> String -> ChartBackend ()

-- | Return the bounding rectangle for a text string positioned where it
--   would be drawn by <a>drawText</a>. See <a>textSize</a>.
textDrawRect :: HTextAnchor -> VTextAnchor -> Point -> String -> ChartBackend Rect

-- | Get the width and height of the string when rendered. See
--   <a>textSize</a>.
textDimension :: String -> ChartBackend RectSize

-- | The default sequence of colours to use when plotings different data
--   sets in a graph.
defaultColorSeq :: [AlphaColour Double]

-- | Create a solid line style (not dashed).
solidLine :: Double -> AlphaColour Double -> LineStyle

-- | Create a dashed line style.
dashedLine :: Double -> [Double] -> AlphaColour Double -> LineStyle

-- | Style for filled circle points.
filledCircles :: Double -> AlphaColour Double -> PointStyle

-- | Style for stroked circle points.
hollowCircles :: Double -> Double -> AlphaColour Double -> PointStyle

-- | Style for filled polygon points.
filledPolygon :: Double -> Int -> Bool -> AlphaColour Double -> PointStyle

-- | Style for stroked polygon points.
hollowPolygon :: Double -> Double -> Int -> Bool -> AlphaColour Double -> PointStyle

-- | Plus sign point style.
plusses :: Double -> Double -> AlphaColour Double -> PointStyle

-- | Cross point style.
exes :: Double -> Double -> AlphaColour Double -> PointStyle

-- | Combination of plus and cross point style.
stars :: Double -> Double -> AlphaColour Double -> PointStyle
arrows :: Double -> Double -> Double -> AlphaColour Double -> PointStyle

-- | Fill style that fill everything this the given colour.
solidFillStyle :: AlphaColour Double -> FillStyle
point_color :: Lens' PointStyle (AlphaColour Double)
point_border_color :: Lens' PointStyle (AlphaColour Double)
point_border_width :: Lens' PointStyle Double
point_radius :: Lens' PointStyle Double
point_shape :: Lens' PointStyle PointShape
instance Default PointStyle


-- | This module contains the definition of the <a>Renderable</a> type,
--   which is a composable drawing element, along with assorted functions
--   to them.
module Graphics.Rendering.Chart.Renderable

-- | A Renderable is a record of functions required to layout a graphic
--   element.
data Renderable a
Renderable :: ChartBackend RectSize -> (RectSize -> ChartBackend (PickFn a)) -> Renderable a

-- | Calculate the minimum size of the renderable.
minsize :: Renderable a -> ChartBackend RectSize

-- | Draw the renderable with a rectangle, which covers the origin to a
--   given point.
--   
--   The resulting "pick" function maps a point in the image to a value.
render :: Renderable a -> RectSize -> ChartBackend (PickFn a)

-- | A type class abtracting the conversion of a value to a Renderable.
class ToRenderable a
toRenderable :: ToRenderable a => a -> Renderable ()

-- | A function that maps a point in device coordinates to some value.
--   
--   Perhaps it might be generalised from Maybe a to (MonadPlus m ) =&gt; m
--   a in the future.
type PickFn a = Point -> Maybe a
data Rectangle
Rectangle :: RectSize -> Maybe FillStyle -> Maybe LineStyle -> RectCornerStyle -> Rectangle
_rect_minsize :: Rectangle -> RectSize
_rect_fillStyle :: Rectangle -> Maybe FillStyle
_rect_lineStyle :: Rectangle -> Maybe LineStyle
_rect_cornerStyle :: Rectangle -> RectCornerStyle
data RectCornerStyle
RCornerSquare :: RectCornerStyle
RCornerBevel :: Double -> RectCornerStyle
RCornerRounded :: Double -> RectCornerStyle
rectangleToRenderable :: Rectangle -> Renderable a

-- | Overlay a renderable over a solid background fill.
fillBackground :: FillStyle -> Renderable a -> Renderable a

-- | Add some spacing at the edges of a renderable.
addMargins :: (Double, Double, Double, Double) -> Renderable a -> Renderable a
emptyRenderable :: Renderable a

-- | Helper function for using a renderable, when we generate it in the
--   ChartBackend monad.
embedRenderable :: ChartBackend (Renderable a) -> Renderable a

-- | Construct a renderable from a text string, aligned with the axes.
label :: FontStyle -> HTextAnchor -> VTextAnchor -> String -> Renderable String

-- | Construct a renderable from a text string, rotated wrt to axes. The
--   angle of rotation is in degrees, measured clockwise from the
--   horizontal.
rlabel :: FontStyle -> HTextAnchor -> VTextAnchor -> Double -> String -> Renderable String

-- | Create a blank renderable with a specified minimum size.
spacer :: RectSize -> Renderable a

-- | Create a blank renderable with a minimum size the same as some other
--   renderable.
spacer1 :: Renderable a -> Renderable b

-- | Replace the pick function of a renderable with another.
setPickFn :: PickFn b -> Renderable a -> Renderable b

-- | Map a function over the result of a renderable's pickfunction, keeping
--   only <a>Just</a> results.
mapMaybePickFn :: (a -> Maybe b) -> Renderable a -> Renderable b

-- | Map a function over result of a renderable's pickfunction.
mapPickFn :: (a -> b) -> Renderable a -> Renderable b
nullPickFn :: PickFn a
rect_minsize :: Lens' Rectangle RectSize
rect_fillStyle :: Lens' Rectangle (Maybe FillStyle)
rect_lineStyle :: Lens' Rectangle (Maybe LineStyle)
rect_cornerStyle :: Lens' Rectangle RectCornerStyle
instance ToRenderable Rectangle
instance Default Rectangle


-- | Type definitions for Axes
module Graphics.Rendering.Chart.Axis.Types

-- | The basic data associated with an axis showing values of type x.
data AxisData x
AxisData :: AxisVisibility -> (Range -> x -> Double) -> (Range -> Double -> x) -> [(x, Double)] -> [[(x, String)]] -> [x] -> AxisData x

-- | Which parts of the axis shall be displayed.
_axis_visibility :: AxisData x -> AxisVisibility

-- | The _axis_viewport function maps values into device coordinates.
_axis_viewport :: AxisData x -> Range -> x -> Double

-- | The _axis_tropweiv function maps device coordinates back to values.
_axis_tropweiv :: AxisData x -> Range -> Double -> x

-- | The tick marks on the axis as pairs. The first element is the position
--   on the axis (in viewport units) and the second element is the length
--   of the tick in output coordinates. The tick starts on the axis, and
--   positive numbers are drawn towards the plot area.
_axis_ticks :: AxisData x -> [(x, Double)]

-- | The labels on an axis as pairs. The first element of the pair is the
--   position on the axis (in viewport units) and the second is the label
--   text string. Note that multiple sets of labels can be specified, and
--   are shown successively further away from the axis line.
_axis_labels :: AxisData x -> [[(x, String)]]

-- | The positions on the axis (in viewport units) where we want to show
--   grid lines.
_axis_grid :: AxisData x -> [x]

-- | Configures whick visual elements of a axis are shown at the
--   appropriate edge of a plot area.
data AxisVisibility
AxisVisibility :: Bool -> Bool -> Bool -> AxisVisibility

-- | Whether to display a line along the axis.
_axis_show_line :: AxisVisibility -> Bool

-- | Whether to display the tick marks.
_axis_show_ticks :: AxisVisibility -> Bool

-- | Whether to display the labels.
_axis_show_labels :: AxisVisibility -> Bool

-- | Collect the information we need to render an axis. The bool is true if
--   the axis direction is reversed.
data AxisT x
AxisT :: RectEdge -> AxisStyle -> Bool -> (AxisData x) -> AxisT x

-- | Control values for how an axis gets displayed.
data AxisStyle
AxisStyle :: LineStyle -> FontStyle -> LineStyle -> Double -> AxisStyle

-- | <a>LineStyle</a> to use for axis line and ticks.
_axis_line_style :: AxisStyle -> LineStyle

-- | <a>FontStyle</a> to use for axis labels.
_axis_label_style :: AxisStyle -> FontStyle

-- | <a>LineStyle</a> to use for axis grid.
_axis_grid_style :: AxisStyle -> LineStyle

-- | How far the labels are to be drawn from the axis.
_axis_label_gap :: AxisStyle -> Double

-- | A typeclass abstracting the functions we need to be able to plot
--   against an axis of type a
class Ord a => PlotValue a
toValue :: PlotValue a => a -> Double
fromValue :: PlotValue a => Double -> a
autoAxis :: PlotValue a => AxisFn a

-- | A function to generate the axis data, given the data values to be
--   plotted against it.
type AxisFn x = [x] -> AxisData x

-- | The default <a>LineStyle</a> of an axis.
defaultAxisLineStyle :: LineStyle

-- | The default <a>LineStyle</a> of a plot area grid.
defaultGridLineStyle :: LineStyle

-- | Construct an axis given the positions for ticks, grid lines, and
--   labels, and the labelling function
makeAxis :: PlotValue x => (x -> String) -> ([x], [x], [x]) -> AxisData x

-- | Construct an axis given the positions for ticks, grid lines, and
--   labels, and the positioning and labelling functions
makeAxis' :: Ord x => (x -> Double) -> (Double -> x) -> (x -> String) -> ([x], [x], [x]) -> AxisData x

-- | Construct a renderable from an axis, in order that it can be composed
--   with other renderables and drawn. This does not include the drawing of
--   the grid, which must be done separately by the <a>renderAxisGrid</a>
--   function.
axisToRenderable :: AxisT x -> Renderable x
renderAxisGrid :: RectSize -> AxisT z -> ChartBackend ()

-- | Calculate the amount by which the labels extend beyond the ends of the
--   axis.
axisOverhang :: Ord x => AxisT x -> ChartBackend (Double, Double)

-- | A linear mapping of points in one range to another.
vmap :: PlotValue x => (x, x) -> Range -> x -> Double

-- | The inverse mapping from device co-ordinate range back to interesting
--   values.
invmap :: PlotValue x => (x, x) -> Range -> Double -> x

-- | A linear mapping of points in one range to another.
linMap :: (a -> Double) -> (a, a) -> Range -> a -> Double

-- | An inverse linear mapping of points from one range to another.
invLinMap :: (Double -> a) -> (a -> Double) -> (a, a) -> Range -> Double -> a

-- | Modifier to position grid lines to line up with the ticks
axisGridAtTicks :: AxisData x -> AxisData x

-- | Modifier to position grid lines to line up with only the major ticks
axisGridAtBigTicks :: AxisData x -> AxisData x

-- | Modifier to position grid lines to line up with the labels
axisGridAtLabels :: AxisData x -> AxisData x

-- | Modifier to remove grid lines from an axis
axisGridHide :: AxisData x -> AxisData x

-- | Modifier to change labels on an axis
axisLabelsOverride :: [(x, String)] -> AxisData x -> AxisData x
axis_show_line :: Lens' AxisVisibility Bool
axis_show_ticks :: Lens' AxisVisibility Bool
axis_show_labels :: Lens' AxisVisibility Bool
axis_visibility :: Lens' (AxisData x_aptD) AxisVisibility
axis_viewport :: Lens' (AxisData x_aptD) (Range -> x_aptD -> Double)
axis_tropweiv :: Lens' (AxisData x_aptD) (Range -> Double -> x_aptD)
axis_ticks :: Lens' (AxisData x_aptD) [(x_aptD, Double)]
axis_labels :: Lens' (AxisData x_aptD) [[(x_aptD, String)]]
axis_grid :: Lens' (AxisData x_aptD) [x_aptD]
axis_line_style :: Lens' AxisStyle LineStyle
axis_label_style :: Lens' AxisStyle FontStyle
axis_grid_style :: Lens' AxisStyle LineStyle
axis_label_gap :: Lens' AxisStyle Double
instance Default AxisVisibility
instance Default AxisStyle


-- | Calculate and render floating value axes including doubles with
--   linear, log, and percentage scaling.
module Graphics.Rendering.Chart.Axis.Floating

-- | A wrapper class for doubles used to indicate they are to be plotted
--   against a percentage axis.
newtype Percent
Percent :: Double -> Percent
unPercent :: Percent -> Double
data LinearAxisParams a
LinearAxisParams :: (a -> String) -> Int -> Int -> LinearAxisParams a

-- | The function used to show the axes labels.
_la_labelf :: LinearAxisParams a -> a -> String

-- | The target number of labels to be shown.
_la_nLabels :: LinearAxisParams a -> Int

-- | The target number of ticks to be shown.
_la_nTicks :: LinearAxisParams a -> Int

-- | A wrapper class for doubles used to indicate they are to be plotted
--   against a log axis.
newtype LogValue
LogValue :: Double -> LogValue
data LogAxisParams a
LogAxisParams :: (a -> String) -> LogAxisParams a

-- | The function used to show the axes labels.
_loga_labelf :: LogAxisParams a -> a -> String

-- | Generate a linear axis with the specified bounds
scaledAxis :: RealFloat a => LinearAxisParams a -> (a, a) -> AxisFn a

-- | Generate a linear axis automatically, scaled appropriately for the
--   input data.
autoScaledAxis :: RealFloat a => LinearAxisParams a -> AxisFn a

-- | Generate a log axis automatically, scaled appropriate for the input
--   data.
autoScaledLogAxis :: RealFloat a => LogAxisParams a -> AxisFn a

-- | Given a target number of values, and a list of input points, find
--   evenly spaced values from the set {1*X, 2*X, 2.5*X, 5*X} (where X is
--   some power of ten) that evenly cover the input points.
autoSteps :: Int -> [Double] -> [Double]
la_labelf :: Lens (LinearAxisParams a_axlu) (LinearAxisParams a_ayh0) (a_axlu -> String) (a_ayh0 -> String)
la_nLabels :: Lens' (LinearAxisParams a_axlu) Int
la_nTicks :: Lens' (LinearAxisParams a_axlu) Int
loga_labelf :: Iso (LogAxisParams a_axlt) (LogAxisParams a_ayiK) (a_axlt -> String) (a_ayiK -> String)
instance Eq Percent
instance Ord Percent
instance Num Percent
instance Real Percent
instance Fractional Percent
instance RealFrac Percent
instance Floating Percent
instance RealFloat Percent
instance Eq LogValue
instance Ord LogValue
instance Num LogValue
instance Real LogValue
instance Fractional LogValue
instance RealFrac LogValue
instance Floating LogValue
instance RealFloat LogValue
instance (Show a, RealFloat a) => Default (LogAxisParams a)
instance (Show a, RealFloat a) => Default (LinearAxisParams a)
instance PlotValue LogValue
instance Show LogValue
instance PlotValue Percent
instance Show Percent
instance PlotValue Double


-- | Calculate and render integer indexed axes
module Graphics.Rendering.Chart.Axis.Int
defaultIntAxis :: Show a => LinearAxisParams a
scaledIntAxis :: (Integral i, PlotValue i) => LinearAxisParams i -> (i, i) -> AxisFn i
autoScaledIntAxis :: (Integral i, PlotValue i) => LinearAxisParams i -> AxisFn i
instance PlotValue Integer
instance PlotValue Int


-- | Calculate and render time axes
module Graphics.Rendering.Chart.Axis.LocalTime

-- | TimeSeq is a (potentially infinite) set of times. When passed a
--   reference time, the function returns a a pair of lists. The first
--   contains all times in the set less than the reference time in
--   decreasing order. The second contains all times in the set greater
--   than or equal to the reference time, in increasing order.
type TimeSeq = LocalTime -> ([LocalTime], [LocalTime])

-- | How to display a time
type TimeLabelFn = LocalTime -> String
data TimeLabelAlignment
UnderTicks :: TimeLabelAlignment
BetweenTicks :: TimeLabelAlignment

-- | Create an <a>AxisFn</a> to for a time axis.
--   
--   The values to be plotted against this axis can be created with
--   <a>doubleFromLocalTime</a>.
timeAxis :: TimeSeq -> TimeSeq -> TimeLabelFn -> TimeLabelAlignment -> TimeSeq -> TimeLabelFn -> TimeLabelAlignment -> AxisFn LocalTime

-- | Automatically choose a suitable time axis, based upon the time range
--   of data. The values to be plotted against this axis can be created
--   with <a>doubleFromLocalTime</a>.
autoTimeAxis :: AxisFn LocalTime

-- | A <a>TimeSeq</a> for calendar days.
days :: TimeSeq

-- | A <a>TimeSeq</a> for calendar months.
months :: TimeSeq

-- | A <a>TimeSeq</a> for calendar years.
years :: TimeSeq

-- | Map a LocalTime value to a plot coordinate.
doubleFromLocalTime :: LocalTime -> Double
instance Show TimeLabelAlignment
instance PlotValue LocalTime


-- | Calculate and render unit indexed axes
module Graphics.Rendering.Chart.Axis.Unit
unitAxis :: AxisData ()
instance PlotValue ()


-- | Calculate and render indexed axes
module Graphics.Rendering.Chart.Axis.Indexed

-- | Type for capturing values plotted by index number (ie position in a
--   list) rather than a numerical value.
newtype PlotIndex
PlotIndex :: Int -> PlotIndex
plotindex_i :: PlotIndex -> Int

-- | Create an axis for values indexed by position. The list of strings are
--   the labels to be used.
autoIndexAxis :: Integral i => [String] -> [i] -> AxisData i

-- | Augment a list of values with index numbers for plotting.
addIndexes :: [a] -> [(PlotIndex, a)]
instance Eq PlotIndex
instance Ord PlotIndex
instance Enum PlotIndex
instance Num PlotIndex
instance Real PlotIndex
instance Integral PlotIndex
instance Show PlotIndex
instance PlotValue PlotIndex


-- | Code to calculate and render axes.
module Graphics.Rendering.Chart.Axis


-- | A container type for values that can be composed by horizonal and
--   vertical layout.
module Graphics.Rendering.Chart.Grid

-- | Abstract datatype representing a grid.
data Grid a
type Span = (Int, Int)

-- | When more space is available for an item than the total width of
--   items, extra added space is proportional to 'space weight'.
type SpaceWeight = (Double, Double)

-- | A 1x1 grid from a given value, with no extra space.
tval :: a -> Grid a

-- | A WxH (measured in cells) grid from a given value, with space weight
--   (1,1).
tspan :: a -> Span -> Grid a

-- | A 1x1 empty grid.
empty :: Grid a

-- | A 0x0 empty grid.
nullt :: Grid a

-- | A synonym for <a>beside</a>.
(.|.) :: Grid a -> Grid a -> Grid a

-- | A synonym for <a>above</a>.
(./.) :: Grid a -> Grid a -> Grid a
above :: Grid a -> Grid a -> Grid a
aboveN :: [Grid a] -> Grid a
beside :: Grid a -> Grid a -> Grid a
besideN :: [Grid a] -> Grid a

-- | One grid over the other. The first argument is shallow, the second is
--   deep.
overlay :: Grid a -> Grid a -> Grid a
width :: Grid a -> Int
height :: Grid a -> Int
gridToRenderable :: Grid (Renderable a) -> Renderable a

-- | Sets the space weight of *every* cell of the grid to given value.
weights :: SpaceWeight -> Grid a -> Grid a

-- | A value placed below the grid, occupying 1 row with the same
--   horizontal span as the grid.
aboveWide :: Grid a -> a -> Grid a

-- | A value occupying 1 row with the same horizontal span as the grid.
wideAbove :: a -> Grid a -> Grid a

-- | A value placed to the left of the grid, occupying 1 column with the
--   same vertical span as the grid.
tallBeside :: a -> Grid a -> Grid a

-- | A value placed to the right of the grid, occupying 1 column with the
--   same vertical span as the grid.
besideTall :: Grid a -> a -> Grid a

-- | A value placed under a grid, with the same span as the grid.
fullOverlayUnder :: a -> Grid a -> Grid a

-- | A value placed over a grid, with the same span as the grid.
fullOverlayOver :: a -> Grid a -> Grid a
instance Show a => Show (Grid a)
instance ToRenderable a => ToRenderable (Grid a)
instance Functor Grid


-- | Types and functions for handling the legend(s) on a chart. A legend is
--   an area on the chart used to label the plotted values.
module Graphics.Rendering.Chart.Legend
data Legend x y
Legend :: LegendStyle -> [(String, Rect -> ChartBackend ())] -> Legend x y
data LegendStyle
LegendStyle :: FontStyle -> Double -> Double -> LegendOrientation -> LegendStyle
_legend_label_style :: LegendStyle -> FontStyle
_legend_margin :: LegendStyle -> Double
_legend_plot_size :: LegendStyle -> Double
_legend_orientation :: LegendStyle -> LegendOrientation

-- | Legends can be constructed in two orientations: in rows (where we
--   specify the maximum number of columns), and in columns (where we
--   specify the maximum number of rows)
data LegendOrientation
LORows :: Int -> LegendOrientation
LOCols :: Int -> LegendOrientation
legendToRenderable :: Legend x y -> Renderable String
legend_label_style :: Lens' LegendStyle FontStyle
legend_margin :: Lens' LegendStyle Double
legend_plot_size :: Lens' LegendStyle Double
legend_orientation :: Lens' LegendStyle LegendOrientation
instance Default LegendStyle
instance ToRenderable (Legend x y)


-- | Datatypes and functions common to the implementation of the various
--   plot types.
module Graphics.Rendering.Chart.Plot.Types

-- | Interface to control plotting on a 2D area.
data Plot x y
Plot :: (PointMapFn x y -> ChartBackend ()) -> [(String, Rect -> ChartBackend ())] -> ([x], [y]) -> Plot x y

-- | Given the mapping between model space coordinates and device
--   coordinates, render this plot into a chart.
_plot_render :: Plot x y -> PointMapFn x y -> ChartBackend ()

-- | Details for how to show this plot in a legend. For each item the
--   string is the text to show, and the function renders a graphical
--   sample of the plot.
_plot_legend :: Plot x y -> [(String, Rect -> ChartBackend ())]

-- | All of the model space coordinates to be plotted. These are used to
--   autoscale the axes where necessary.
_plot_all_points :: Plot x y -> ([x], [y])

-- | Join any two plots together (they will share a legend).
joinPlot :: Plot x y -> Plot x y -> Plot x y

-- | A type class abstracting the conversion of a value to a Plot.
class ToPlot a
toPlot :: ToPlot a => a x y -> Plot x y
mapXY :: PointMapFn x y -> (x, y) -> Point
plot_render :: Lens' (Plot x_a11a4 y_a11a5) (PointMapFn x_a11a4 y_a11a5 -> ChartBackend ())
plot_legend :: Lens' (Plot x_a11a4 y_a11a5) [(String, Rect -> ChartBackend ())]
plot_all_points :: Lens' (Plot x_a11a4 y_a11a5) ([x_a11a4], [y_a11a5])
instance ToPlot Plot


-- | Plots that don't show, but occupy space so as to effect axis scaling
module Graphics.Rendering.Chart.Plot.Hidden

-- | Value defining some hidden x and y values. The values are not
--   displayed, but they still affect axis scaling.
data PlotHidden x y
PlotHidden :: [x] -> [y] -> PlotHidden x y
_plot_hidden_x_values :: PlotHidden x y -> [x]
_plot_hidden_y_values :: PlotHidden x y -> [y]
plot_hidden_x_values :: Lens (PlotHidden x_a11vG y_a11vH) (PlotHidden x_a11ws y_a11vH) [x_a11vG] [x_a11ws]
plot_hidden_y_values :: Lens (PlotHidden x_a11vG y_a11vH) (PlotHidden x_a11vG y_a11wt) [y_a11vH] [y_a11wt]
instance ToPlot PlotHidden


-- | Line plots
module Graphics.Rendering.Chart.Plot.Lines

-- | Value defining a series of (possibly disjointed) lines, and a style in
--   which to render them.
data PlotLines x y
PlotLines :: String -> LineStyle -> [[(x, y)]] -> [[(Limit x, Limit y)]] -> PlotLines x y
_plot_lines_title :: PlotLines x y -> String
_plot_lines_style :: PlotLines x y -> LineStyle

-- | The lines to be plotted
_plot_lines_values :: PlotLines x y -> [[(x, y)]]

-- | Additional lines to be plotted, specified using the Limit type to
--   allow referencing the edges of the plot area.
_plot_lines_limit_values :: PlotLines x y -> [[(Limit x, Limit y)]]
defaultPlotLineStyle :: LineStyle

-- | Helper function to plot a single horizontal line.
hlinePlot :: String -> LineStyle -> b -> Plot a b

-- | Helper function to plot a single vertical line.
vlinePlot :: String -> LineStyle -> a -> Plot a b
plot_lines_title :: Lens' (PlotLines x_a11FA y_a11FB) String
plot_lines_style :: Lens' (PlotLines x_a11FA y_a11FB) LineStyle
plot_lines_values :: Lens' (PlotLines x_a11FA y_a11FB) [[(x_a11FA, y_a11FB)]]
plot_lines_limit_values :: Lens' (PlotLines x_a11FA y_a11FB) [[(Limit x_a11FA, Limit y_a11FB)]]
instance Default (PlotLines x y)
instance ToPlot PlotLines


-- | Vector plots
module Graphics.Rendering.Chart.Plot.Vectors
data PlotVectors x y
PlotVectors :: String -> VectorStyle -> Double -> [(x, y)] -> ((x, y) -> (x, y)) -> [((x, y), (x, y))] -> PlotVectors x y
_plot_vectors_title :: PlotVectors x y -> String
_plot_vectors_style :: PlotVectors x y -> VectorStyle

-- | Set to 1 (default) to normalize the length of vectors to a space
--   between them (so that the vectors never overlap on the graph). Set to
--   0 to disable any scaling. Values in between 0 and 1 are also permitted
--   to adjust scaling.
_plot_vectors_scale :: PlotVectors x y -> Double

-- | Provide a square-tiled regular grid.
_plot_vectors_grid :: PlotVectors x y -> [(x, y)]

-- | Provide a vector field (R^2 -&gt; R^2) function.
_plot_vectors_mapf :: PlotVectors x y -> (x, y) -> (x, y)

-- | Provide a prepared list of (start,vector) pairs.
_plot_vectors_values :: PlotVectors x y -> [((x, y), (x, y))]
data VectorStyle
VectorStyle :: LineStyle -> PointStyle -> VectorStyle
_vector_line_style :: VectorStyle -> LineStyle
_vector_head_style :: VectorStyle -> PointStyle
plotVectorField :: (PlotValue x, PlotValue y) => PlotVectors x y -> Plot x y
plot_vectors_mapf :: Lens' (PlotVectors x_a12B6 y_a12B7) ((x_a12B6, y_a12B7) -> (x_a12B6, y_a12B7))
plot_vectors_grid :: Lens' (PlotVectors x_a12B6 y_a12B7) [(x_a12B6, y_a12B7)]
plot_vectors_title :: Lens' (PlotVectors x_a12B6 y_a12B7) String
plot_vectors_style :: Lens' (PlotVectors x_a12B6 y_a12B7) VectorStyle
plot_vectors_scale :: Lens' (PlotVectors x_a12B6 y_a12B7) Double
plot_vectors_values :: Lens' (PlotVectors x_a12B6 y_a12B7) [((x_a12B6, y_a12B7), (x_a12B6, y_a12B7))]
vector_line_style :: Lens' VectorStyle LineStyle
vector_head_style :: Lens' VectorStyle PointStyle
instance Default (PlotVectors x y)
instance Default VectorStyle


-- | Functions to plot sets of points, marked in various styles.
module Graphics.Rendering.Chart.Plot.Points

-- | Value defining a series of datapoints, and a style in which to render
--   them.
data PlotPoints x y
PlotPoints :: String -> PointStyle -> [(x, y)] -> PlotPoints x y
_plot_points_title :: PlotPoints x y -> String
_plot_points_style :: PlotPoints x y -> PointStyle
_plot_points_values :: PlotPoints x y -> [(x, y)]
plot_points_title :: Lens' (PlotPoints x_a162I y_a162J) String
plot_points_style :: Lens' (PlotPoints x_a162I y_a162J) PointStyle
plot_points_values :: Lens (PlotPoints x_a162I y_a162J) (PlotPoints x_a165I y_a165J) [(x_a162I, y_a162J)] [(x_a165I, y_a165J)]
instance Default (PlotPoints x y)
instance ToPlot PlotPoints


-- | Plots that fill the area between two lines.
module Graphics.Rendering.Chart.Plot.FillBetween

-- | Value specifying a plot filling the area between two sets of Y
--   coordinates, given common X coordinates.
data PlotFillBetween x y
PlotFillBetween :: String -> FillStyle -> [(x, (y, y))] -> PlotFillBetween x y
_plot_fillbetween_title :: PlotFillBetween x y -> String
_plot_fillbetween_style :: PlotFillBetween x y -> FillStyle
_plot_fillbetween_values :: PlotFillBetween x y -> [(x, (y, y))]
plot_fillbetween_title :: Lens' (PlotFillBetween x_a16zQ y_a16zR) String
plot_fillbetween_style :: Lens' (PlotFillBetween x_a16zQ y_a16zR) FillStyle
plot_fillbetween_values :: Lens (PlotFillBetween x_a16zQ y_a16zR) (PlotFillBetween x_a16DR y_a16DS) [(x_a16zQ, (y_a16zR, y_a16zR))] [(x_a16DR, (y_a16DS, y_a16DS))]
instance Default (PlotFillBetween x y)
instance ToPlot PlotFillBetween


-- | Plot series of points with associated error bars.
module Graphics.Rendering.Chart.Plot.ErrBars

-- | Value defining a series of error intervals, and a style in which to
--   render them.
data PlotErrBars x y
PlotErrBars :: String -> LineStyle -> Double -> Double -> [ErrPoint x y] -> PlotErrBars x y
_plot_errbars_title :: PlotErrBars x y -> String
_plot_errbars_line_style :: PlotErrBars x y -> LineStyle
_plot_errbars_tick_length :: PlotErrBars x y -> Double
_plot_errbars_overhang :: PlotErrBars x y -> Double
_plot_errbars_values :: PlotErrBars x y -> [ErrPoint x y]
data ErrPoint x y
ErrPoint :: ErrValue x -> ErrValue y -> ErrPoint x y
ep_x :: ErrPoint x y -> ErrValue x
ep_y :: ErrPoint x y -> ErrValue y

-- | Value for holding a point with associated error bounds for each axis.
data ErrValue x
ErrValue :: x -> x -> x -> ErrValue x
ev_low :: ErrValue x -> x
ev_best :: ErrValue x -> x
ev_high :: ErrValue x -> x

-- | When the error is symmetric, we can simply pass in dx for the error.
symErrPoint :: (Num a, Num b) => a -> b -> a -> b -> ErrPoint a b
plot_errbars_title :: Lens' (PlotErrBars x_a17gl y_a17gm) String
plot_errbars_line_style :: Lens' (PlotErrBars x_a17gl y_a17gm) LineStyle
plot_errbars_tick_length :: Lens' (PlotErrBars x_a17gl y_a17gm) Double
plot_errbars_overhang :: Lens' (PlotErrBars x_a17gl y_a17gm) Double
plot_errbars_values :: Lens (PlotErrBars x_a17gl y_a17gm) (PlotErrBars x_a17qd y_a17qe) [ErrPoint x_a17gl y_a17gm] [ErrPoint x_a17qd y_a17qe]
instance Show x => Show (ErrValue x)
instance (Show x, Show y) => Show (ErrPoint x y)
instance Default (PlotErrBars x y)
instance ToPlot PlotErrBars


-- | Candlestick charts for financial plotting
module Graphics.Rendering.Chart.Plot.Candle

-- | Value defining a financial interval: opening and closing prices, with
--   maxima and minima; and a style in which to render them. By convention,
--   there are different fill styles depending on whether the price rises
--   (open &lt; close) or falls (close &lt; open). (This plot type can also
--   be re-purposed for statistical intervals, e.g. minimum, first
--   quartile, median, third quartile, maximum.)
data PlotCandle x y
PlotCandle :: String -> LineStyle -> Bool -> FillStyle -> FillStyle -> Double -> Double -> Double -> [Candle x y] -> PlotCandle x y
_plot_candle_title :: PlotCandle x y -> String
_plot_candle_line_style :: PlotCandle x y -> LineStyle
_plot_candle_fill :: PlotCandle x y -> Bool
_plot_candle_rise_fill_style :: PlotCandle x y -> FillStyle
_plot_candle_fall_fill_style :: PlotCandle x y -> FillStyle
_plot_candle_tick_length :: PlotCandle x y -> Double
_plot_candle_width :: PlotCandle x y -> Double
_plot_candle_centre :: PlotCandle x y -> Double
_plot_candle_values :: PlotCandle x y -> [Candle x y]

-- | A Value holding price intervals for a given x-coord. An alternative
--   view is that these are statistical intervals: the 0th, 25th, 50th,
--   75th, and 100th percentiles.
data Candle x y
Candle :: x -> y -> y -> y -> y -> y -> Candle x y
candle_x :: Candle x y -> x
candle_low :: Candle x y -> y
candle_open :: Candle x y -> y
candle_mid :: Candle x y -> y
candle_close :: Candle x y -> y
candle_high :: Candle x y -> y
plot_candle_title :: Lens' (PlotCandle x_a19f2 y_a19f3) String
plot_candle_line_style :: Lens' (PlotCandle x_a19f2 y_a19f3) LineStyle
plot_candle_tick_length :: Lens' (PlotCandle x_a19f2 y_a19f3) Double
plot_candle_width :: Lens' (PlotCandle x_a19f2 y_a19f3) Double
plot_candle_centre :: Lens' (PlotCandle x_a19f2 y_a19f3) Double
plot_candle_fill :: Lens' (PlotCandle x_a19f2 y_a19f3) Bool
plot_candle_rise_fill_style :: Lens' (PlotCandle x_a19f2 y_a19f3) FillStyle
plot_candle_fall_fill_style :: Lens' (PlotCandle x_a19f2 y_a19f3) FillStyle
plot_candle_values :: Lens (PlotCandle x_a19f2 y_a19f3) (PlotCandle x_a19pN y_a19pO) [Candle x_a19f2 y_a19f3] [Candle x_a19pN y_a19pO]
instance (Show x, Show y) => Show (Candle x y)
instance Default (PlotCandle x y)
instance ToPlot PlotCandle


-- | Bar Charts
module Graphics.Rendering.Chart.Plot.Bars

-- | Value describing how to plot a set of bars. Note that the input data
--   is typed [(x,[y])], ie for each x value we plot several y values.
--   Typically the size of each [y] list would be the same.
data PlotBars x y
PlotBars :: PlotBarsStyle -> [(FillStyle, Maybe LineStyle)] -> [String] -> PlotBarsSpacing -> PlotBarsAlignment -> y -> Double -> [(x, [y])] -> PlotBars x y

-- | This value specifies whether each value from [y] should be shown
--   beside or above the previous value.
_plot_bars_style :: PlotBars x y -> PlotBarsStyle

-- | The style in which to draw each element of [y]. A fill style is
--   required, and if a linestyle is given, each bar will be outlined.
_plot_bars_item_styles :: PlotBars x y -> [(FillStyle, Maybe LineStyle)]

-- | The title of each element of [y]. These will be shown in the legend.
_plot_bars_titles :: PlotBars x y -> [String]

-- | This value controls how the widths of the bars are calculated. Either
--   the widths of the bars, or the gaps between them can be fixed.
_plot_bars_spacing :: PlotBars x y -> PlotBarsSpacing

-- | This value controls how bars for a fixed x are aligned with respect to
--   the device coordinate corresponding to x.
_plot_bars_alignment :: PlotBars x y -> PlotBarsAlignment

-- | The starting level for the chart (normally 0).
_plot_bars_reference :: PlotBars x y -> y
_plot_bars_singleton_width :: PlotBars x y -> Double

-- | The actual points to be plotted.
_plot_bars_values :: PlotBars x y -> [(x, [y])]
data PlotBarsStyle

-- | Bars for a fixed x are stacked vertically on top of each other.
BarsStacked :: PlotBarsStyle

-- | Bars for a fixed x are put horizontally beside each other.
BarsClustered :: PlotBarsStyle
data PlotBarsSpacing

-- | All bars have the same width in pixels.
BarsFixWidth :: Double -> PlotBarsSpacing

-- | (BarsFixGap g mw) means make the gaps between the bars equal to g, but
--   with a minimum bar width of mw
BarsFixGap :: Double -> Double -> PlotBarsSpacing

-- | How bars for a given (x,[y]) are aligned with respect to screen
--   coordinate corresponding to x (deviceX).
data PlotBarsAlignment

-- | The left edge of bars is at deviceX
BarsLeft :: PlotBarsAlignment

-- | Bars are centered around deviceX
BarsCentered :: PlotBarsAlignment

-- | The right edge of bars is at deviceX
BarsRight :: PlotBarsAlignment
class PlotValue a => BarsPlotValue a
barsReference :: BarsPlotValue a => a
barsAdd :: BarsPlotValue a => a -> a -> a
plotBars :: BarsPlotValue y => PlotBars x y -> Plot x y
plot_bars_style :: Lens' (PlotBars x_a1cj0 y_a1cj1) PlotBarsStyle
plot_bars_item_styles :: Lens' (PlotBars x_a1cj0 y_a1cj1) [(FillStyle, Maybe LineStyle)]
plot_bars_titles :: Lens' (PlotBars x_a1cj0 y_a1cj1) [String]
plot_bars_spacing :: Lens' (PlotBars x_a1cj0 y_a1cj1) PlotBarsSpacing
plot_bars_alignment :: Lens' (PlotBars x_a1cj0 y_a1cj1) PlotBarsAlignment
plot_bars_reference :: Lens' (PlotBars x_a1cj0 y_a1cj1) y_a1cj1
plot_bars_singleton_width :: Lens' (PlotBars x_a1cj0 y_a1cj1) Double
plot_bars_values :: Lens (PlotBars x_a1cj0 y_a1cj1) (PlotBars x_a1cwh y_a1cj1) [(x_a1cj0, [y_a1cj1])] [(x_a1cwh, [y_a1cj1])]
instance Show PlotBarsStyle
instance Show PlotBarsSpacing
instance Show PlotBarsAlignment
instance BarsPlotValue y => Default (PlotBars x y)
instance BarsPlotValue Int
instance BarsPlotValue Double


-- | Show textual annotations on a chart.
module Graphics.Rendering.Chart.Plot.Annotation

-- | Value for describing a series of text annotations to be placed at
--   arbitrary points on the graph. Annotations can be rotated and styled.
data PlotAnnotation x y
PlotAnnotation :: HTextAnchor -> VTextAnchor -> Double -> FontStyle -> [(x, y, String)] -> PlotAnnotation x y
_plot_annotation_hanchor :: PlotAnnotation x y -> HTextAnchor
_plot_annotation_vanchor :: PlotAnnotation x y -> VTextAnchor

-- | Angle, in degrees, to rotate the annotation about the anchor point.
_plot_annotation_angle :: PlotAnnotation x y -> Double
_plot_annotation_style :: PlotAnnotation x y -> FontStyle
_plot_annotation_values :: PlotAnnotation x y -> [(x, y, String)]
plot_annotation_hanchor :: Lens' (PlotAnnotation x_a1fEB y_a1fEC) HTextAnchor
plot_annotation_vanchor :: Lens' (PlotAnnotation x_a1fEB y_a1fEC) VTextAnchor
plot_annotation_angle :: Lens' (PlotAnnotation x_a1fEB y_a1fEC) Double
plot_annotation_style :: Lens' (PlotAnnotation x_a1fEB y_a1fEC) FontStyle
plot_annotation_values :: Lens (PlotAnnotation x_a1fEB y_a1fEC) (PlotAnnotation x_a1fHF y_a1fHG) [(x_a1fEB, y_a1fEC, String)] [(x_a1fHF, y_a1fHG, String)]
instance Default (PlotAnnotation x y)
instance ToPlot PlotAnnotation


-- | Area spots are a collection of unconnected filled circles, with x,y
--   position, and an independent z value to be represented by the relative
--   area of the spots.
module Graphics.Rendering.Chart.Plot.AreaSpots

-- | A collection of unconnected spots, with x,y position, and an
--   independent z value to be represented by the area of the spot.
data AreaSpots z x y
AreaSpots :: String -> Double -> AlphaColour Double -> Colour Double -> Double -> Double -> [(x, y, z)] -> AreaSpots z x y
_area_spots_title :: AreaSpots z x y -> String
_area_spots_linethick :: AreaSpots z x y -> Double
_area_spots_linecolour :: AreaSpots z x y -> AlphaColour Double
_area_spots_fillcolour :: AreaSpots z x y -> Colour Double
_area_spots_opacity :: AreaSpots z x y -> Double

-- | the largest size of spot
_area_spots_max_radius :: AreaSpots z x y -> Double
_area_spots_values :: AreaSpots z x y -> [(x, y, z)]
area_spots_title :: Lens' (AreaSpots z_a1gnk x_a1gnl y_a1gnm) String
area_spots_linethick :: Lens' (AreaSpots z_a1gnk x_a1gnl y_a1gnm) Double
area_spots_linecolour :: Lens' (AreaSpots z_a1gnk x_a1gnl y_a1gnm) (AlphaColour Double)
area_spots_fillcolour :: Lens' (AreaSpots z_a1gnk x_a1gnl y_a1gnm) (Colour Double)
area_spots_opacity :: Lens' (AreaSpots z_a1gnk x_a1gnl y_a1gnm) Double
area_spots_max_radius :: Lens' (AreaSpots z_a1gnk x_a1gnl y_a1gnm) Double
area_spots_values :: Lens (AreaSpots z_a1gnk x_a1gnl y_a1gnm) (AreaSpots z_a1gS5 x_a1gS6 y_a1gS7) [(x_a1gnl, y_a1gnm, z_a1gnk)] [(x_a1gS6, y_a1gS7, z_a1gS5)]

-- | A collection of unconnected spots, with x,y position, an independent z
--   value to be represented by the area of the spot, and in addition, a
--   fourth variable t to be represented by a colour from a given palette.
--   (A linear transfer function from t to palette is assumed.)
data AreaSpots4D z t x y
AreaSpots4D :: String -> Double -> [Colour Double] -> Double -> Double -> [(x, y, z, t)] -> AreaSpots4D z t x y
_area_spots_4d_title :: AreaSpots4D z t x y -> String
_area_spots_4d_linethick :: AreaSpots4D z t x y -> Double
_area_spots_4d_palette :: AreaSpots4D z t x y -> [Colour Double]
_area_spots_4d_opacity :: AreaSpots4D z t x y -> Double

-- | the largest size of spot
_area_spots_4d_max_radius :: AreaSpots4D z t x y -> Double
_area_spots_4d_values :: AreaSpots4D z t x y -> [(x, y, z, t)]
area_spots_4d_title :: Lens' (AreaSpots4D z_a1gng t_a1gnh x_a1gni y_a1gnj) String
area_spots_4d_linethick :: Lens' (AreaSpots4D z_a1gng t_a1gnh x_a1gni y_a1gnj) Double
area_spots_4d_palette :: Lens' (AreaSpots4D z_a1gng t_a1gnh x_a1gni y_a1gnj) [Colour Double]
area_spots_4d_opacity :: Lens' (AreaSpots4D z_a1gng t_a1gnh x_a1gni y_a1gnj) Double
area_spots_4d_max_radius :: Lens' (AreaSpots4D z_a1gng t_a1gnh x_a1gni y_a1gnj) Double
area_spots_4d_values :: Lens (AreaSpots4D z_a1gng t_a1gnh x_a1gni y_a1gnj) (AreaSpots4D z_a1gXF t_a1gXG x_a1gXH y_a1gXI) [(x_a1gni, y_a1gnj, z_a1gng, t_a1gnh)] [(x_a1gXH, y_a1gXI, z_a1gXF, t_a1gXG)]
instance (PlotValue z, PlotValue t, Show t) => ToPlot (AreaSpots4D z t)
instance Default (AreaSpots4D z t x y)
instance PlotValue z => ToPlot (AreaSpots z)
instance Default (AreaSpots z x y)


-- | A basic pie chart.
--   
--   Pie charts are handled different to other plots, in that they have
--   their own layout, and can't be composed with other plots. A pie chart
--   is rendered with code in the following form:
--   
--   <pre>
--   values :: [PieItem]
--   values = [...]
--   layout :: PieLayout
--   layout = pie_plot ^: pie_data ^= values
--          $ def
--   renderable = toRenderable layout
--   </pre>
module Graphics.Rendering.Chart.Plot.Pie
data PieLayout
PieLayout :: String -> FontStyle -> PieChart -> FillStyle -> Double -> PieLayout
_pie_title :: PieLayout -> String
_pie_title_style :: PieLayout -> FontStyle
_pie_plot :: PieLayout -> PieChart
_pie_background :: PieLayout -> FillStyle
_pie_margin :: PieLayout -> Double
data PieChart
PieChart :: [PieItem] -> [AlphaColour Double] -> FontStyle -> LineStyle -> Double -> PieChart
_pie_data :: PieChart -> [PieItem]
_pie_colors :: PieChart -> [AlphaColour Double]
_pie_label_style :: PieChart -> FontStyle
_pie_label_line_style :: PieChart -> LineStyle
_pie_start_angle :: PieChart -> Double
data PieItem
PieItem :: String -> Double -> Double -> PieItem
_pitem_label :: PieItem -> String
_pitem_offset :: PieItem -> Double
_pitem_value :: PieItem -> Double
pieToRenderable :: PieLayout -> Renderable (PickFn a)
pieChartToRenderable :: PieChart -> Renderable (PickFn a)
pie_title :: Lens' PieLayout String
pie_title_style :: Lens' PieLayout FontStyle
pie_plot :: Lens' PieLayout PieChart
pie_background :: Lens' PieLayout FillStyle
pie_margin :: Lens' PieLayout Double
pie_data :: Lens' PieChart [PieItem]
pie_colors :: Lens' PieChart [AlphaColour Double]
pie_label_style :: Lens' PieChart FontStyle
pie_label_line_style :: Lens' PieChart LineStyle
pie_start_angle :: Lens' PieChart Double
pitem_label :: Lens' PieItem String
pitem_offset :: Lens' PieItem Double
pitem_value :: Lens' PieItem Double
instance ToRenderable PieChart
instance ToRenderable PieLayout
instance Default PieLayout
instance Default PieItem
instance Default PieChart


-- | Code to calculate and render various types of plots.
module Graphics.Rendering.Chart.Plot


-- | This module glues together axes and plots to actually create a
--   renderable for a chart.
--   
--   Note that Template haskell is used to derive accessor functions (see
--   <a>Lens</a>) for each field of the following data types:
--   
--   <ul>
--   <li><a>Layout</a></li>
--   <li><a>LayoutLR</a></li>
--   <li><a>StackedLayouts</a></li>
--   <li><a>LayoutAxis</a></li>
--   </ul>
module Graphics.Rendering.Chart.Layout

-- | A Layout value is a single plot area, with single x and y axis. The
--   title is at the top and the legend at the bottom. It's parametrized by
--   the types of values to be plotted on the x and y axes.
data Layout x y
Layout :: FillStyle -> Maybe FillStyle -> String -> FontStyle -> LayoutAxis x -> AxisVisibility -> AxisVisibility -> LayoutAxis y -> AxisVisibility -> AxisVisibility -> [Plot x y] -> Maybe LegendStyle -> Double -> Bool -> Layout x y

-- | How to fill the background of everything.
_layout_background :: Layout x y -> FillStyle

-- | How to fill the background of the plot, if different from the overall
--   background.
_layout_plot_background :: Layout x y -> Maybe FillStyle

-- | Title to display above the chart.
_layout_title :: Layout x y -> String

-- | Font style to use for the title.
_layout_title_style :: Layout x y -> FontStyle

-- | Rules to generate the x axis.
_layout_x_axis :: Layout x y -> LayoutAxis x

-- | Visibility options for the top axis.
_layout_top_axis_visibility :: Layout x y -> AxisVisibility

-- | Visibility options for the bottom axis.
_layout_bottom_axis_visibility :: Layout x y -> AxisVisibility

-- | Rules to generate the y axis.
_layout_y_axis :: Layout x y -> LayoutAxis y

-- | Visibility options for the left axis.
_layout_left_axis_visibility :: Layout x y -> AxisVisibility

-- | Visibility options for the right axis.
_layout_right_axis_visibility :: Layout x y -> AxisVisibility

-- | The data sets to plot in the chart. The are ploted over each other.
_layout_plots :: Layout x y -> [Plot x y]

-- | How to style the legend.
_layout_legend :: Layout x y -> Maybe LegendStyle

-- | The margin distance to use.
_layout_margin :: Layout x y -> Double

-- | If the grid shall be rendered beneath (<tt>False</tt>) or over
--   (<tt>True</tt>) all plots.
_layout_grid_last :: Layout x y -> Bool

-- | A LayoutLR value is a single plot area, with an x axis and independent
--   left and right y axes, with a title at the top; legend at the bottom.
--   It's parametrized by the types of values to be plotted on the x and
--   two y axes.
data LayoutLR x y1 y2
LayoutLR :: FillStyle -> Maybe FillStyle -> String -> FontStyle -> LayoutAxis x -> AxisVisibility -> AxisVisibility -> LayoutAxis y1 -> AxisVisibility -> LayoutAxis y2 -> AxisVisibility -> [Either (Plot x y1) (Plot x y2)] -> Maybe LegendStyle -> Double -> Bool -> LayoutLR x y1 y2

-- | How to fill the background of everything.
_layoutlr_background :: LayoutLR x y1 y2 -> FillStyle

-- | How to fill the background of the plot, if different from the overall
--   background.
_layoutlr_plot_background :: LayoutLR x y1 y2 -> Maybe FillStyle

-- | Title to display above the chart.
_layoutlr_title :: LayoutLR x y1 y2 -> String

-- | Font style to use for the title.
_layoutlr_title_style :: LayoutLR x y1 y2 -> FontStyle

-- | Rules to generate the x axis.
_layoutlr_x_axis :: LayoutLR x y1 y2 -> LayoutAxis x

-- | Visibility options for the top axis.
_layoutlr_top_axis_visibility :: LayoutLR x y1 y2 -> AxisVisibility

-- | Visibility options for the bottom axis.
_layoutlr_bottom_axis_visibility :: LayoutLR x y1 y2 -> AxisVisibility

-- | Rules to generate the left y axis.
_layoutlr_left_axis :: LayoutLR x y1 y2 -> LayoutAxis y1

-- | Visibility options for the left axis.
_layoutlr_left_axis_visibility :: LayoutLR x y1 y2 -> AxisVisibility

-- | Rules to generate the right y axis.
_layoutlr_right_axis :: LayoutLR x y1 y2 -> LayoutAxis y2

-- | Visibility options for the right axis.
_layoutlr_right_axis_visibility :: LayoutLR x y1 y2 -> AxisVisibility

-- | The data sets to plot in the chart. The are ploted over each other.
--   The either type associates the plot with the left or right y axis.
_layoutlr_plots :: LayoutLR x y1 y2 -> [Either (Plot x y1) (Plot x y2)]

-- | How to style the legend.
_layoutlr_legend :: LayoutLR x y1 y2 -> Maybe LegendStyle

-- | The margin distance to use.
_layoutlr_margin :: LayoutLR x y1 y2 -> Double

-- | If the grid shall be rendered beneath (<tt>False</tt>) or over
--   (<tt>True</tt>) all plots.
_layoutlr_grid_last :: LayoutLR x y1 y2 -> Bool

-- | Type of axis that is used in <a>Layout</a> and <a>LayoutLR</a>.
--   
--   To generate the actual axis type (<a>AxisData</a> and <a>AxisT</a>)
--   the <a>_laxis_generate</a> function is called and custom settings are
--   applied with <a>_laxis_override</a>. Note that the
--   <a>AxisVisibility</a> values in <a>Layout</a> and <a>LayoutLR</a>
--   override visibility related settings of the axis.
data LayoutAxis x
LayoutAxis :: FontStyle -> String -> AxisStyle -> AxisFn x -> (AxisData x -> AxisData x) -> Bool -> LayoutAxis x

-- | Font style to use for the axis title.
_laxis_title_style :: LayoutAxis x -> FontStyle

-- | Title displayed for the axis.
_laxis_title :: LayoutAxis x -> String

-- | Axis style applied.
_laxis_style :: LayoutAxis x -> AxisStyle

-- | Function that generates the axis data, based upon the points plotted.
--   The default value is <a>autoAxis</a>.
_laxis_generate :: LayoutAxis x -> AxisFn x

-- | Function that can be used to override the generated axis data. The
--   default value is <a>id</a>.
_laxis_override :: LayoutAxis x -> AxisData x -> AxisData x

-- | True if left to right (bottom to top) is to show descending values.
_laxis_reverse :: LayoutAxis x -> Bool

-- | Information on what is at a specifc location of a <a>Layout</a> or
--   <a>LayoutLR</a>. This is delivered by the <a>PickFn</a> of a
--   <a>Renderable</a>.
data LayoutPick x y1 y2

-- | A legend entry.
LayoutPick_Legend :: String -> LayoutPick x y1 y2

-- | The title.
LayoutPick_Title :: String -> LayoutPick x y1 y2

-- | The title of the top x axis.
LayoutPick_XTopAxisTitle :: String -> LayoutPick x y1 y2

-- | The title of the bottom x axis.
LayoutPick_XBottomAxisTitle :: String -> LayoutPick x y1 y2

-- | The title of the left y axis.
LayoutPick_YLeftAxisTitle :: String -> LayoutPick x y1 y2

-- | The title of the right y axis.
LayoutPick_YRightAxisTitle :: String -> LayoutPick x y1 y2

-- | The plot area at the given plot coordinates.
LayoutPick_PlotArea :: x -> y1 -> y2 -> LayoutPick x y1 y2

-- | The top x axis at the given plot coordinate.
LayoutPick_XTopAxis :: x -> LayoutPick x y1 y2

-- | The bottom x axis at the given plot coordinate.
LayoutPick_XBottomAxis :: x -> LayoutPick x y1 y2

-- | The left y axis at the given plot coordinate.
LayoutPick_YLeftAxis :: y1 -> LayoutPick x y1 y2

-- | The right y axis at the given plot coordinate.
LayoutPick_YRightAxis :: y2 -> LayoutPick x y1 y2

-- | A container for a set of vertically <a>StackedLayout</a>s. The x axis
--   of the different layouts will be aligned.
data StackedLayouts x
StackedLayouts :: [StackedLayout x] -> Bool -> StackedLayouts x

-- | The stacked layouts from top (first element) to bottom (last element).
_slayouts_layouts :: StackedLayouts x -> [StackedLayout x]

-- | If the different legends shall be combined in one legend at the
--   bottom.
_slayouts_compress_legend :: StackedLayouts x -> Bool

-- | A layout with its y type hidden, so that it can be stacked with other
--   layouts with differing y axis, but the same x axis. See
--   <a>StackedLayouts</a>.
data StackedLayout x

-- | A <a>Layout</a> to stack.
StackedLayout :: (Layout x y) -> StackedLayout x

-- | A <a>LayoutLR</a> to stack.
StackedLayoutLR :: (LayoutLR x yl yr) -> StackedLayout x

-- | A <tt>MAxisFn</tt> is a function that generates an (optional) axis
--   given the points plotted against that axis.
type MAxisFn t = [t] -> Maybe (AxisData t)

-- | Render the given <a>Layout</a>.
layoutToRenderable :: (Ord x, Ord y) => Layout x y -> Renderable (LayoutPick x y y)

-- | Render the given <a>LayoutLR</a>.
layoutLRToRenderable :: (Ord x, Ord yl, Ord yr) => LayoutLR x yl yr -> Renderable (LayoutPick x yl yr)

-- | Render several layouts with the same x-axis type and range, vertically
--   stacked so that their origins and x-values are aligned.
--   
--   The legends from all the charts may be optionally combined, and shown
--   once on the bottom chart. See <a>StackedLayouts</a> for further
--   information.
renderStackedLayouts :: Ord x => StackedLayouts x -> Renderable ()
laxis_title_style :: Lens' (LayoutAxis x_a1nNg) FontStyle
laxis_title :: Lens' (LayoutAxis x_a1nNg) String
laxis_style :: Lens' (LayoutAxis x_a1nNg) AxisStyle
laxis_generate :: Lens' (LayoutAxis x_a1nNg) (AxisFn x_a1nNg)
laxis_override :: Lens' (LayoutAxis x_a1nNg) (AxisData x_a1nNg -> AxisData x_a1nNg)
laxis_reverse :: Lens' (LayoutAxis x_a1nNg) Bool
layout_background :: Lens' (Layout x_a1nNb y_a1nNc) FillStyle
layout_plot_background :: Lens' (Layout x_a1nNb y_a1nNc) (Maybe FillStyle)
layout_title :: Lens' (Layout x_a1nNb y_a1nNc) String
layout_title_style :: Lens' (Layout x_a1nNb y_a1nNc) FontStyle
layout_x_axis :: Lens' (Layout x_a1nNb y_a1nNc) (LayoutAxis x_a1nNb)
layout_top_axis_visibility :: Lens' (Layout x_a1nNb y_a1nNc) AxisVisibility
layout_bottom_axis_visibility :: Lens' (Layout x_a1nNb y_a1nNc) AxisVisibility
layout_y_axis :: Lens' (Layout x_a1nNb y_a1nNc) (LayoutAxis y_a1nNc)
layout_left_axis_visibility :: Lens' (Layout x_a1nNb y_a1nNc) AxisVisibility
layout_right_axis_visibility :: Lens' (Layout x_a1nNb y_a1nNc) AxisVisibility
layout_margin :: Lens' (Layout x_a1nNb y_a1nNc) Double
layout_plots :: Lens' (Layout x_a1nNb y_a1nNc) [Plot x_a1nNb y_a1nNc]
layout_legend :: Lens' (Layout x_a1nNb y_a1nNc) (Maybe LegendStyle)
layout_grid_last :: Lens' (Layout x_a1nNb y_a1nNc) Bool

-- | Setter to update all axis styles on a <a>Layout</a>
layout_axes_styles :: Setter' (Layout x y) AxisStyle

-- | Setter to update all the axes title styles on a <a>Layout</a>
layout_axes_title_styles :: Setter' (Layout x y) FontStyle

-- | Setter to update all the font styles on a <a>Layout</a>
layout_all_font_styles :: Setter' (Layout x y) FontStyle

-- | Setter to update the foreground color of core chart elements on a
--   <a>Layout</a>
layout_foreground :: Setter' (Layout x y) (AlphaColour Double)
layoutlr_background :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) FillStyle
layoutlr_plot_background :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) (Maybe FillStyle)
layoutlr_title :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) String
layoutlr_title_style :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) FontStyle
layoutlr_x_axis :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) (LayoutAxis x_a1nLk)
layoutlr_top_axis_visibility :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) AxisVisibility
layoutlr_bottom_axis_visibility :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) AxisVisibility
layoutlr_left_axis :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) (LayoutAxis y1_a1nLl)
layoutlr_right_axis :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) (LayoutAxis y2_a1nLm)
layoutlr_left_axis_visibility :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) AxisVisibility
layoutlr_right_axis_visibility :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) AxisVisibility
layoutlr_plots :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) [Either (Plot x_a1nLk y1_a1nLl) (Plot x_a1nLk y2_a1nLm)]
layoutlr_legend :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) (Maybe LegendStyle)
layoutlr_margin :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) Double
layoutlr_grid_last :: Lens' (LayoutLR x_a1nLk y1_a1nLl y2_a1nLm) Bool

-- | Setter to update all axis styles on a <a>LayoutLR</a>
layoutlr_axes_styles :: Setter' (LayoutLR x y1 y2) AxisStyle

-- | Setter to update all the axes title styles on a <a>LayoutLR</a>
layoutlr_axes_title_styles :: Setter' (LayoutLR x y1 y2) FontStyle

-- | Setter to update all the font styles on a <a>LayoutLR</a>
layoutlr_all_font_styles :: Setter' (LayoutLR x y1 y2) FontStyle

-- | Setter to update the foreground color of core chart elements on a
--   <a>LayoutLR</a>
layoutlr_foreground :: Setter' (LayoutLR x y1 y2) (AlphaColour Double)
slayouts_layouts :: Lens (StackedLayouts x_a1nLf) (StackedLayouts x_a1pfz) [StackedLayout x_a1nLf] [StackedLayout x_a1pfz]
slayouts_compress_legend :: Lens' (StackedLayouts x_a1nLf) Bool
instance (Show x, Show y1, Show y2) => Show (LayoutPick x y1 y2)
instance PlotValue t => Default (LayoutAxis t)
instance (PlotValue x, PlotValue y1, PlotValue y2) => Default (LayoutLR x y1 y2)
instance Ord x => ToRenderable (StackedLayouts x)
instance Default (StackedLayouts x)
instance (Ord x, Ord yl, Ord yr) => ToRenderable (LayoutLR x yl yr)
instance (PlotValue x, PlotValue y) => Default (Layout x y)
instance (Ord x, Ord y) => ToRenderable (Layout x y)


-- | Sparklines are mini graphs inspired by Edward Tufte; see
--   <a>http://www.edwardtufte.com/bboard/q-and-a-fetch-msg?msg_id=0001OR</a>
--   and <a>http://en.wikipedia.org/wiki/Sparkline</a> for more
--   information.
--   
--   The original implementation (by Hitesh Jasani) used the gd package as
--   a backend renderer, and is still available at
--   <a>http://hackage.haskell.org/package/hsparklines</a>.
--   
--   The present version integrates with the Chart package, in the sense
--   that Sparklines are just another kind of (<tt>ToRenderable a =&gt;
--   a</tt>), so they can be composed into grids and used with the rest of
--   Chart.
--   
--   <pre>
--   dp :: [Double]
--   dp = [24,21,32.3,24,15,34,43,55,57,72,74,75,73,72,55,44]
--   
--   sl = SparkLine barSpark dp
--   fopts = FileOptions (sparkSize sl) PNG
--   renderableToFile fopts (sparkLineToRenderable sl) "bar_spark.png" 
--   </pre>
module Graphics.Rendering.Chart.SparkLine

-- | A sparkline is a single sequence of data values, treated as y-values.
--   The x-values are anonymous and implicit in the sequence.
data SparkLine
SparkLine :: SparkOptions -> [Double] -> SparkLine
sl_options :: SparkLine -> SparkOptions
sl_data :: SparkLine -> [Double]

-- | Options to render the sparklines in different ways.
data SparkOptions
SparkOptions :: Bool -> Int -> Int -> (Double, Double) -> Colour Double -> Colour Double -> Colour Double -> Colour Double -> Bool -> Bool -> Bool -> SparkOptions

-- | smooth or bars
so_smooth :: SparkOptions -> Bool

-- | step size
so_step :: SparkOptions -> Int

-- | graph height (pixels)
so_height :: SparkOptions -> Int

-- | data point limits
so_limits :: SparkOptions -> (Double, Double)

-- | background color
so_bgColor :: SparkOptions -> Colour Double

-- | color of minimum datapoint
so_minColor :: SparkOptions -> Colour Double

-- | color of maximum datapoint
so_maxColor :: SparkOptions -> Colour Double

-- | color of last datapoint
so_lastColor :: SparkOptions -> Colour Double

-- | display minimum marker
so_minMarker :: SparkOptions -> Bool

-- | display maximum marker
so_maxMarker :: SparkOptions -> Bool

-- | display last marker
so_lastMarker :: SparkOptions -> Bool

-- | Default options for a smooth sparkline.
smoothSpark :: SparkOptions

-- | Default options for a barchart sparkline.
barSpark :: SparkOptions

-- | Return the width and height of the SparkLine.
sparkSize :: SparkLine -> (Int, Int)

-- | Render a SparkLine to a drawing surface.
renderSparkLine :: SparkLine -> ChartBackend (PickFn ())

-- | Create a renderable from a SparkLine.
sparkLineToRenderable :: SparkLine -> Renderable ()

-- | Compute the width of a SparkLine, for rendering purposes.
sparkWidth :: SparkLine -> Int
instance Show SparkOptions
instance ToRenderable SparkLine

module Graphics.Rendering.Chart.State

-- | Add a plot to the <a>Layout</a> being constructed.
plot :: ToPlot p => EC (Layout x y) (p x y) -> EC (Layout x y) ()

-- | Add a plot against the left axis to the <a>LayoutLR</a> being
--   constructed.
plotLeft :: ToPlot p => EC (LayoutLR x y1 y2) (p x y1) -> EC (LayoutLR x y1 y2) ()

-- | Add a plot against the right axis tof the <a>LayoutLR</a> being
--   constructed.
plotRight :: ToPlot p => EC (LayoutLR x y1 y2) (p x y2) -> EC (LayoutLR x y1 y2) ()

-- | Pop and return the next color from the state
takeColor :: EC l (AlphaColour Double)

-- | Pop and return the next shape from the state
takeShape :: EC l PointShape

-- | The state held when monadically constructing a graphical element
data CState
colors :: Lens' CState [AlphaColour Double]
shapes :: Lens' CState [PointShape]

-- | We use nested State monads to give nice syntax. The outer state is the
--   graphical element being constructed (typically a layout). The inner
--   state contains any additional state reqired. This approach means that
--   lenses and the state monad lens operators can be used directly on the
--   value being constructed.
type EC l a = StateT l (State CState) a

-- | Run the monadic <a>EC</a> computation, and return the graphical
--   element (ie the outer monad' state)
execEC :: Default l => EC l a -> l

-- | Nest the construction of a graphical element within the construction
--   of another.
liftEC :: Default l1 => EC l1 a -> EC l2 l1

-- | Lift a a computation over <a>CState</a>
liftCState :: State CState a -> EC l a
instance (Default a, ToRenderable a) => ToRenderable (EC a b)
instance Default CState


-- | A framework for creating 2D charts in Haskell.
--   
--   The basic model is that you define a value representing a chart to be
--   displayed, and then convert it to a <a>Renderable</a> by applying
--   <a>toRenderable</a>. This <a>Renderable</a> is then actually output by
--   calling a function in an appropriate graphics backend, eg
--   <tt>renderableToFile</tt>.
--   
--   Currently, there are three types of charts:
--   
--   <ul>
--   <li><a>Layout</a> is a standard XY chart</li>
--   <li><a>LayoutLR</a> is an XY chart with independent left and right
--   axes<ul><li><a>PieLayout</a> is a pie chart</li></ul></li>
--   </ul>
--   
--   <a>Layout</a> and <a>LayoutLR</a> charts can be stacked vertically
--   using the <a>StackedLayouts</a> type.
--   
--   <a>Renderable</a>s can be composed in arbitrary ways using the
--   <a>Graphics.Rendering.Chart.Grid</a> module.
--   
--   Many of the record structure involved in the API have a large number
--   of fields. <tt>Lens</tt>es are provided to access each field. Also,
--   for each record type, there is generally a default value, which can be
--   accessed through the <tt>def</tt> value of the <tt>Default</tt>
--   typeclass.
module Graphics.Rendering.Chart


-- | Importing the Easy module brings into scope all core functions and
--   types required for working with the chart library. This includes key
--   external dependencies such as Control.Len and Data.Colour. The module
--   also provides several helper functions for quickly generating common
--   plots.
--   
--   Note that chart backends must still be explicitly imported, as some
--   backends cannot be built on all platforms.
module Graphics.Rendering.Chart.Easy

-- | Constuct a line plot with the given title and data, using the next
--   available color.
line :: String -> [[(x, y)]] -> EC l (PlotLines x y)

-- | Construct a scatter plot with the given title and data, using the next
--   available color and point shape.
points :: String -> [(x, y)] -> EC l (PlotPoints x y)

-- | Construct a bar chart with the given titles and data, using the next
--   available colors
bars :: (PlotValue x, BarsPlotValue y) => [String] -> [(x, [y])] -> EC l (PlotBars x y)

-- | Set the contents of the colour source, for subsequent plots
setColors :: [AlphaColour Double] -> EC l ()

-- | Set the contents of the shape source, for subsequent plots
setShapes :: [PointShape] -> EC l ()
