| Copyright | (C) 2015 Christopher Chalmers |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Christopher Chalmers |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Plots.Types
Contents
Description
This module defines the various types for holding plots:
PlotOptionsb v n- Generic options all plots have.
PlotModsb v n- Includes
PlotOptionsalong with modifications to thePlotStyle. Plotp b- A
rawPlotpgrouped with aPlotMods. DynamicPlotb v n- A wrapped up
Plotso it can be stored in anAxis. StyledPlotb v n- A
DynamicPlotwith a concretePlotStyle, ready to be rendered.
As well as other things like the Plotable class, LegendEntries,
HasOrientation and HasVisibility.
- data PlotOptions b v n
- class HasPlotOptions f a b | a -> b where
- key :: (HasPlotOptions Identity a b, MonadState a m, Num (N a)) => String -> m ()
- addLegendEntry :: (HasPlotOptions Identity a b, MonadState a m) => LegendEntry b (V a) (N a) -> m ()
- data PlotMods b v n
- plotMods :: Lens' (Plot p b) (PlotMods b (V p) (N p))
- class (Typeable p, Enveloped p) => Plotable p b where
- data Plot p b
- mkPlot :: (Additive (V p), Num (N p)) => p -> Plot p b
- rawPlot :: SameSpace p p' => Lens (Plot p b) (Plot p' b) p p'
- data DynamicPlot b v n where
- DynamicPlot :: (InSpace v n p, Plotable p b) => Plot p b -> DynamicPlot b v n
- _DynamicPlot :: (Plotable p b, Typeable b) => Prism' (DynamicPlot b (V p) (N p)) (Plot p b)
- dynamicPlot :: forall p b. (Typeable p, Typeable b) => Traversal' (DynamicPlot b (V p) (N p)) (Plot p b)
- dynamicPlotMods :: Lens' (DynamicPlot b v n) (PlotMods b v n)
- data StyledPlot b v n
- styledPlot :: forall p b. Typeable p => Traversal' (StyledPlot b (V p) (N p)) p
- styleDynamic :: PlotStyle b v n -> DynamicPlot b v n -> StyledPlot b v n
- renderStyledPlot :: TypeableFloat n => AxisSpec V2 n -> StyledPlot b V2 n -> QDiagram b V2 n Any
- singleStyledPlotLegend :: StyledPlot b v n -> [(n, QDiagram b v n Any, String)]
- styledPlotLegends :: Ord n => [StyledPlot b v n] -> [(QDiagram b v n Any, String)]
- class HasVisibility a where
- hide :: (MonadState s m, HasVisibility a) => ASetter' s a -> m ()
- display :: (MonadState s m, HasVisibility a) => ASetter' s a -> m ()
- data Orientation
- class HasOrientation a where
- orient :: HasOrientation o => o -> a -> a -> a
- horizontal :: HasOrientation a => Lens' a Bool
- vertical :: HasOrientation a => Lens' a Bool
- data LegendEntry b v n
- data LegendPic b v n
- = DefaultLegendPic
- | CustomLegendPic (PlotStyle b v n -> QDiagram b v n Any)
- mkLegendEntry :: Num n => String -> LegendEntry b v n
- legendPicture :: Lens' (LegendEntry b v n) (LegendPic b v n)
- legendText :: Lens' (LegendEntry b v n) String
- legendPrecedence :: Lens' (LegendEntry b v n) n
- data AxisSpec v n = AxisSpec {
- _specBounds :: v (n, n)
- _specTrans :: Transformation v n
- _specScale :: v LogScale
- _specColourMap :: ColourMap
- specTrans :: forall v n. Lens' (AxisSpec v n) (Transformation v n)
- specBounds :: forall v n. Lens' (AxisSpec v n) (v (n, n))
- specScale :: forall v n. Lens' (AxisSpec v n) (v LogScale)
- scaleNum :: Floating n => (n, n) -> LogScale -> n -> n
- specPoint :: (Applicative v, Additive v, Floating n) => AxisSpec v n -> Point v n -> Point v n
- specColourMap :: forall v n. Lens' (AxisSpec v n) ColourMap
- data Placement = Placement {}
- class HasPlacement a where
- class HasGap a where
- placeAgainst :: (InSpace V2 n a, SameSpace a b, Enveloped a, HasOrigin b, Alignable b) => a -> Placement -> n -> b -> b
- topLeft :: Placement
- top :: Placement
- topRight :: Placement
- left :: Placement
- right :: Placement
- bottomLeft :: Placement
- bottom :: Placement
- bottomRight :: Placement
- leftAbove :: Placement
- leftTop :: Placement
- leftMid :: Placement
- leftBottom :: Placement
- leftBelow :: Placement
- midAbove :: Placement
- midBelow :: Placement
- rightAbove :: Placement
- rightTop :: Placement
- rightMid :: Placement
- rightBottom :: Placement
- rightBelow :: Placement
Plot options
data PlotOptions b v n Source #
Data type for holding information all plots must contain.
Instances
| HasPlotOptions f (PlotOptions b v n) b Source # | |
| (Additive v, Num n) => Default (PlotOptions b v n) Source # | |
| Qualifiable (PlotOptions b v n) Source # | |
| (HasLinearMap v, Num n) => Transformable (PlotOptions b v n) Source # | |
| (Additive v, Num n) => HasOrigin (PlotOptions b v n) Source # | Move origin by applying to |
| HasVisibility (PlotOptions b v n) Source # | |
| type V (PlotOptions b v n) Source # | |
| type N (PlotOptions b v n) Source # | |
class HasPlotOptions f a b | a -> b where Source #
Class of things that have PlotOptions.
Minimal complete definition
Methods
plotOptions :: LensLike' f a (PlotOptions b (V a) (N a)) Source #
Lens onto the PlotOptions.
plotName :: Functor f => LensLike' f a Name Source #
The Name applied to the plot. This gives a way to reference a
specific plot in a rendered axis.
clipPlot :: Functor f => LensLike' f a Bool Source #
legendEntries :: Functor f => LensLike' f a [LegendEntry b (V a) (N a)] Source #
plotTransform :: Functor f => LensLike' f a (Transformation (V a) (N a)) Source #
plotVisible :: Functor f => LensLike' f a Bool Source #
Whether or not the plot should be shown. The BoundingBox of the
plot will still affect the inferred axis bounds.
Instances
| Functor f => HasPlotOptions f (Plot p b) b Source # | |
| HasPlotOptions f (PlotOptions b v n) b Source # | |
| Functor f => HasPlotOptions f (StyledPlot b v n) b Source # | |
| Functor f => HasPlotOptions f (DynamicPlot b v n) b Source # | |
| Functor f => HasPlotOptions f (PlotMods b v n) b Source # | |
| Settable f => HasPlotOptions f (Axis b c n) b Source # | |
key :: (HasPlotOptions Identity a b, MonadState a m, Num (N a)) => String -> m () Source #
Add a LegendEntry to something with PlotOptions using the
String as the legendText and a DefaultLegendPic. Here are
some typical examples:
key::String->State(Plot(ScatterPlotv n) b) ()key::String->State(DynamicPlotb v n) ()key::String->State(PlotModsb v n) ()
If you only care about the name of the legend, use key.
addLegendEntry :: (HasPlotOptions Identity a b, MonadState a m) => LegendEntry b (V a) (N a) -> m () Source #
Add a LegendEntry to something with PlotOptions. Here are some
typical examples:
addLegendEntry::LegendEntryb v n ->State(Plot(ScatterPlotv n) b) ()addLegendEntry::LegendEntryb v n ->State(DynamicPlotb v n) ()
If you only care about the name of the legend, use key.
Plot modifications
A PlotOptions with modifications to a PlotStyle.
plotMods :: Lens' (Plot p b) (PlotMods b (V p) (N p)) Source #
The modifications to the PlotOptions and PlotStyle in a Plot.
Plotable class
class (Typeable p, Enveloped p) => Plotable p b where Source #
Class defining how plots should be rendered.
Minimal complete definition
Methods
renderPlotable :: InSpace v n p => AxisSpec v n -> PlotStyle b v n -> p -> QDiagram b v n Any Source #
defLegendPic :: InSpace v n p => PlotStyle b v n -> p -> QDiagram b v n Any Source #
The default legend picture when the LegendPic is
DefaultLegendPic.
Instances
| (TypeableFloat n, Renderable (Path V2 n) b) => Plotable (BarPlot n) b Source # | |
| (TypeableFloat n, Renderable (Path V2 n) b) => Plotable (HistogramPlot n) b Source # | |
| (TypeableFloat n, Renderable (Path V2 n) b) => Plotable (Wedge n) b Source # | |
| (TypeableFloat n, Renderable (Path V2 n) b) => Plotable (Path V2 n) b Source # | |
| (Typeable * b, TypeableFloat n, Renderable (Path V2 n) b) => Plotable (HeatMap b n) b Source # | |
| (TypeableFloat n, Renderable (Path V2 n) b) => Plotable (ScatterPlot V2 n) b Source # | |
| (Typeable * b, Typeable (* -> *) v, Metric v, Typeable * n, OrderedField n) => Plotable (QDiagram b v n Any) b Source # | |
Plot types
Parameterised plot
A parameterised plot, together with a PlotMods. This type has an
instance of many classes for modifying specific plots.
Instances
| (Functor f, HasWedge f a) => HasWedge f (Plot a b) Source # | |
| HasConnectingLine f p => HasConnectingLine f (Plot p b) Source # | |
| Settable f => HasPlotStyle f (Plot p b) b Source # | |
| Functor f => HasPlotOptions f (Plot p b) b Source # | |
| (Functor f, HasHeatMap f a b) => HasHeatMap f (Plot a b) b Source # | |
| (Functor f, HasScatterOptions f p a) => HasScatterOptions f (Plot p b) a Source # | |
| HasOrientation p => HasOrientation (Plot p b) Source # | |
| HasVisibility (Plot p b) Source # | |
| HasBarLayout a => HasBarLayout (Plot a b) Source # | |
| HasHistogramOptions a => HasHistogramOptions (Plot a b) Source # | |
| type V (Plot p b) Source # | |
| type N (Plot p b) Source # | |
mkPlot :: (Additive (V p), Num (N p)) => p -> Plot p b Source #
Make a Plot with Default PlotOptions.
Dynamic plot
data DynamicPlot b v n where Source #
A wrapped up Plot, used to store plots in an Axis.
Constructors
| DynamicPlot :: (InSpace v n p, Plotable p b) => Plot p b -> DynamicPlot b v n |
Instances
| (Applicative f, Typeable * b, (~) (* -> *) v V2, Typeable * n) => HasWedge f (DynamicPlot b v n) Source # | |
| (Applicative f, Typeable * b, Typeable (* -> *) v, Typeable * n) => HasConnectingLine f (DynamicPlot b v n) Source # | |
| Settable f => HasPlotStyle f (DynamicPlot b v n) b Source # | |
| Functor f => HasPlotOptions f (DynamicPlot b v n) b Source # | |
| (Applicative f, Typeable * b, Typeable (* -> *) v, Typeable * n, Typeable * a) => HasScatterOptions f (DynamicPlot b v n) a Source # | |
| HasVisibility (DynamicPlot b v n) Source # | |
| type V (DynamicPlot b v n) Source # | |
| type N (DynamicPlot b v n) Source # | |
_DynamicPlot :: (Plotable p b, Typeable b) => Prism' (DynamicPlot b (V p) (N p)) (Plot p b) Source #
Prism for a DynamicPlot.
dynamicPlot :: forall p b. (Typeable p, Typeable b) => Traversal' (DynamicPlot b (V p) (N p)) (Plot p b) Source #
Traversal over the dynamic plot without the Plotable constraint
_DynamicPlot has.
dynamicPlotMods :: Lens' (DynamicPlot b v n) (PlotMods b v n) Source #
The modifications to the PlotOptions and PlotStyle in a DynamicPlot.
Styled plot
data StyledPlot b v n Source #
A DynamicPlot with a concrete style. This is suitable for being
rendered with renderStyledPlot and get extract the legend entries
with styledPlotLegend.
You can make a StyledPlot with styleDynamic
Instances
| ((~) (* -> *) v V2, Applicative f, Typeable * n) => HasWedge f (StyledPlot b v n) Source # | |
| (Applicative f, Typeable (* -> *) v, Typeable * n) => HasConnectingLine f (StyledPlot b v n) Source # | |
| Functor f => HasPlotStyle f (StyledPlot b v n) b Source # | |
| Functor f => HasPlotOptions f (StyledPlot b v n) b Source # | |
| (Metric v, OrderedField n) => Enveloped (StyledPlot b v n) Source # | |
| HasVisibility (StyledPlot b v n) Source # | |
| type V (StyledPlot b v n) Source # | |
| type N (StyledPlot b v n) Source # | |
styledPlot :: forall p b. Typeable p => Traversal' (StyledPlot b (V p) (N p)) p Source #
Traversal over a raw plot of a styled plot. The type of the plot must match for the traversal to be successful.
styleDynamic :: PlotStyle b v n -> DynamicPlot b v n -> StyledPlot b v n Source #
Give a DynamicPlot a concrete PlotStyle.
renderStyledPlot :: TypeableFloat n => AxisSpec V2 n -> StyledPlot b V2 n -> QDiagram b V2 n Any Source #
Render a StyledPlot given an and AxisSpec.
singleStyledPlotLegend Source #
Arguments
| :: StyledPlot b v n | |
| -> [(n, QDiagram b v n Any, String)] | (z-order, legend pic, legend text) |
Get the legend rendered entries from a single styled plot. The
resulting entries are in no particular order. See also
styledPlotLegends.
Arguments
| :: Ord n | |
| => [StyledPlot b v n] | |
| -> [(QDiagram b v n Any, String)] | [(legend pic, legend text)] |
Render a list of legend entries, in order.
Miscellaneous
Visibility
class HasVisibility a where Source #
Class of objects that can be hidden.
Minimal complete definition
Methods
visible :: Lens' a Bool Source #
Lens onto whether an object should be visible when rendered.
The opposite of visible.
Instances
| HasVisibility (Plot p b) Source # | |
| HasVisibility (Legend b n) Source # | |
| HasVisibility (MinorTicks v n) Source # | |
| HasVisibility (MajorTicks v n) Source # | |
| HasVisibility (AxisLine v n) Source # | |
| HasVisibility (MinorGridLines v n) Source # | Hidden by default. |
| HasVisibility (MajorGridLines v n) Source # | |
| HasVisibility (ColourBar b n) Source # | |
| HasVisibility (PlotOptions b v n) Source # | |
| HasVisibility (StyledPlot b v n) Source # | |
| HasVisibility (DynamicPlot b v n) Source # | |
| HasVisibility (PlotMods b v n) Source # | |
| HasVisibility (Title b v n) Source # | |
| HasVisibility (TickLabels b v n) Source # | |
| HasVisibility (AxisLabel b v n) Source # | |
| HasVisibility (SingleAxis b v n) Source # | |
hide :: (MonadState s m, HasVisibility a) => ASetter' s a -> m () Source #
display :: (MonadState s m, HasVisibility a) => ASetter' s a -> m () Source #
Orientation
class HasOrientation a where Source #
Class of things that have an orientation.
Minimal complete definition
Instances
| HasOrientation Orientation Source # | |
| HasOrientation (BarPlot n) Source # | |
| HasOrientation (BarLayout n) Source # | |
| HasOrientation (HistogramOptions n) Source # | |
| HasOrientation (HistogramPlot n) Source # | |
| HasOrientation p => HasOrientation (Plot p b) Source # | |
| HasOrientation (Legend b n) Source # | |
| HasOrientation (ColourBar b n) Source # | |
| HasOrientation (MultiBarState b n a) Source # | |
orient :: HasOrientation o => o -> a -> a -> a Source #
Pick the first a if the object has Horizontal orientation and
the second a if the object has a Vertical orientation.
horizontal :: HasOrientation a => Lens' a Bool Source #
Lens onto whether an object's orientation is horizontal.
vertical :: HasOrientation a => Lens' a Bool Source #
Lens onto whether an object's orientation is vertical.
Legend entries
data LegendEntry b v n Source #
Data type for holding a legend entry.
Instances
| type V (LegendEntry b v n) Source # | |
| type N (LegendEntry b v n) Source # | |
Type allowing use of the default legend picture (depending on the
plot) or a custom legend picture with access to the PlotStyle.
Constructors
| DefaultLegendPic | |
| CustomLegendPic (PlotStyle b v n -> QDiagram b v n Any) |
mkLegendEntry :: Num n => String -> LegendEntry b v n Source #
Make a legend entry with a default legendPicture and
legendPrecedence 0 using the string as the legendText.
legendPicture :: Lens' (LegendEntry b v n) (LegendPic b v n) Source #
The picture used in the legend entry.
legendText :: Lens' (LegendEntry b v n) String Source #
The text used in the legend entry.
legendPrecedence :: Lens' (LegendEntry b v n) n Source #
The order in which the legend entries are rendered. If precedences are equal, the entries are put in the order they are added to the axis.
Default is 0.
Axis spec
Constructors
| AxisSpec | |
Fields
| |
specBounds :: forall v n. Lens' (AxisSpec v n) (v (n, n)) Source #
scaleNum :: Floating n => (n, n) -> LogScale -> n -> n Source #
Scale a number by log10-ing it and linearly scaling it so it's within the same range.
specPoint :: (Applicative v, Additive v, Floating n) => AxisSpec v n -> Point v n -> Point v n Source #
Apply log scaling and the transform to a point.
Positioning
A Position is a point on an axis together with an anchor and a
direction for the gap.
Constructors
| Placement | |
class HasPlacement a where Source #
Minimal complete definition
Methods
placement :: Lens' a Placement Source #
placementAt :: Lens' a (V2 Rational) Source #
The position relative to the axis. V2 0 0 corresponds to the
bottom left corner, V2 1 1 is the top right corner.
placementAnchor :: Lens' a (V2 Rational) Source #
The anchor used for the object being positioned. V2 0 0
corresponds to the bottom left corner, V2 1 1 is the top right
corner.
gapDirection :: Lens' a (Direction V2 Rational) Source #
The direction to extend the gap when positioning.
Instances
| HasPlacement Placement Source # | |
| HasPlacement (Legend b n) Source # | |
| HasPlacement (ColourBar b n) Source # | |
| HasPlacement (Title b v n) Source # | |
Minimal complete definition
placeAgainst :: (InSpace V2 n a, SameSpace a b, Enveloped a, HasOrigin b, Alignable b) => a -> Placement -> n -> b -> b Source #
A tool for aligned one object to another. Positions b around the
bounding box of a by translating b.