A variant of the Graph widget that automatically updates itself with a callback at a fixed interval.
- data GraphHandle
- data GraphConfig = GraphConfig {
- graphPadding :: Int
- graphBackgroundColor :: (Double, Double, Double)
- graphBorderColor :: (Double, Double, Double)
- graphDataColors :: [(Double, Double, Double, Double)]
- graphHistorySize :: Int
- graphLabel :: Maybe String
- graphWidth :: Int
- pollingGraphNew :: GraphConfig -> Double -> IO [Double] -> IO Widget
- defaultGraphConfig :: GraphConfig
Types
data GraphHandle
data GraphConfig
The configuration options for the graph. The padding is the number of pixels reserved as blank space around the widget in each direction.
GraphConfig | |
|
Constructors and accessors
pollingGraphNew :: GraphConfig -> Double -> IO [Double] -> IO Widget