ECharts.Types.Phantom

data I :: Effect

Phantom effect for DSL

data R :: Row Effect -> Effect

Takes row of effects and returns an effect. Useful for emulating structural polymorphism.

type CoordinateSystemMixin i = (coordinateSystem :: I | i)

Open rows synonims are for mixins closed rows are for complete dsls

type PositionMixin i = (bottom :: I, left :: I, right :: I, top :: I | i)

type ZMixin i = (z :: I, zlevel :: I | i)

type SizeMixin i = (height :: I, width :: I | i)

type BorderAndBackgroundMixin i = (backgroundColor :: I, borderColor :: I, borderWidth :: I | i)

type ShadowMixin i = (shadowBlur :: I, shadowColor :: I, shadowOffsetX :: I, shadowOffsetY :: I | i)

type BaseAnimationMixin i = (animationDelay :: I, animationDuration :: I, animationEasing :: I | i)

type LargeMixin i = (large :: I, largeThreshold :: I | i)

type AnimationMixin i = BaseAnimationMixin (animation :: I, animationDelayUpdate :: I, animationDurationUpdate :: I, animationEasingUpdate :: I, animationThreshold :: I | i)

type MarkerMixin i = (markArea :: I, markLine :: I, markPoint :: I | i)

type SymbolMixin i = (symbol :: I, symbolOffset :: I, symbolRotate :: I, symbolSize :: I | i)

type MinMaxMixin i = (max :: I, min :: I | i)

type NameStyleMixin i = (nameGap :: I, nameLocation :: I, nameRotate :: I, nameTextStyle :: I | i)

type LegendHoverMixin i = (hoverAnimation :: I, legendHoverLink :: I | i)

type NormalAndEmphasis i = (emphasis :: R i, normal :: R i)

type LegendI = PositionMixin (ZMixin (SizeMixin (ShadowMixin (BorderAndBackgroundMixin (align :: I, formatter :: I, inactiveColor :: I, itemGap :: I, itemHeight :: I, itemWidth :: I, items :: I, orient :: I, padding :: I, selected :: I, selectedMode :: I, show :: I, textStyle :: I, tooltip :: I)))))

type TooltipI = ZMixin (BorderAndBackgroundMixin (alwaysShowContent :: I, animation :: I, axisPointer :: I, enterable :: I, extraCssText :: I, formatter :: I, hideDelay :: I, padding :: I, position :: I, show :: I, showContent :: I, showDelay :: I, textStyle :: I, transitionDuration :: I, trigger :: I, triggerOn :: I))

type CrossStyleI = (color :: I, lineType :: I, textStyle :: I, width :: I)

type TitlesI = (title :: I)

type TitleI = PositionMixin (ZMixin (ShadowMixin (BorderAndBackgroundMixin (itemGap :: I, link :: I, offsetCenter :: I, padding :: I, show :: I, sublink :: I, subtarget :: I, subtext :: I, subtextStyle :: I, target :: I, text :: I, textAlign :: I, textBaseline :: I, textStyle :: I))))

type OptionI = AnimationMixin (angleAxis :: I, backgroundColor :: I, blendMode :: I, brush :: I, calendar :: I, color :: I, dataZoom :: I, geo :: I, grid :: I, hoverLayerThreshold :: I, legend :: I, parallel :: I, parallelAxis :: I, polar :: I, progressive :: I, progressiveThreshold :: I, radar :: I, radiusAxis :: I, series :: I, singleAxis :: I, textStyle :: I, timeline :: I, title :: I, toolbox :: I, tooltip :: I, visualMap :: I, xAxis :: I, yAxis :: I)

type TimelineI = PositionMixin (ZMixin (SymbolMixin (autoPlay :: I, axisType :: I, checkpointStyle :: I, controlPosition :: I, controlStyle :: I, currentIndex :: I, inverse :: I, itemStyle :: I, items :: I, label :: I, lineStyle :: R LineStyleI, loop :: I, orient :: I, playInterval :: I, realtime :: I, rewind :: I, show :: I, timelineType :: I)))

type ParallelsI = (parallel :: I)

type ParallelI = PositionMixin (ZMixin (SizeMixin (axisExpandCenter :: I, axisExpandCount :: I, axisExpandWidth :: I, axisExpandable :: I, layout :: I, parallelAxisDefault :: I)))

type GeoI = PositionMixin (ZMixin (center :: I, itemStyle :: I, label :: I, layoutCenter :: I, layoutSize :: I, map :: I, nameMap :: I, regions :: I, roam :: I, scaleLimit :: I, selectedMode :: I, show :: I, silent :: I, zoom :: I))

type PolarI = ZMixin (center :: I, radius :: I)

type RadarsI = (radar :: I)

type RadarI = ZMixin (axisLabel :: I, axisLine :: I, axisTick :: I, center :: I, indicators :: I, nameGap :: I, radarName :: I, radius :: I, scale :: I, shape :: I, silent :: I, splitArea :: I, splitLine :: I, splitNumber :: I, startAngle :: I, triggerEvent :: I)

type IndicatorsI = (indicator :: I)

type IndicatorI = MinMaxMixin (name :: I)

type RadarNameI = (formatter :: I, show :: I, textStyle :: I)

type DataZoomI = (insideDataZoom :: I, sliderDataZoom :: I)

type DataZoomMixinI i = (end :: I, endValue :: I, filterMode :: I, orient :: I, start :: I, startValue :: I, throttle :: I, xAxisIndex :: I, yAxisIndex :: I, zoomLock :: I | i)

type InsideDataZoomI = DataZoomMixinI ()

type SliderDataZoom = PositionMixin (ZMixin (backgroundColor :: I, borderColor :: I, dataBackground :: I, fillerColor :: I, handleIcon :: I, handleSize :: I, handleStyle :: I, labelFormatter :: I, labelPrecision :: I, realtime :: I, show :: I, showDataShadow :: I, showDetail :: I, textStyle :: I))

type DataBackgroundI = (areaStyle :: R AreaStyleI, lineStyle :: R LineStyleI)

type HandleStyleI = ShadowMixin (borderColor :: I, borderType :: I, borderWidth :: I, color :: I, opacity :: I)

type VisualMapI = (continuousVisualMap :: I, piecewiseVisualMap :: I)

type CalendarI = (calendarSpec :: I)

type CalendarSpecI = PositionMixin (ZMixin (SizeMixin (cellSize :: I, orient :: I, range :: I)))

type ContinuousVisualMapI = PositionMixin (ZMixin (BorderAndBackgroundMixin (MinMaxMixin (align :: I, calculable :: I, color :: I, controller :: I, dimension :: I, formatter :: I, hoverLink :: I, inRange :: I, inverse :: I, itemHeight :: I, itemWidth :: I, orient :: I, outOfRange :: I, padding :: I, precision :: I, range :: I, realtime :: I, seriesIndex :: I, show :: I, textGap :: I, textPair :: I, textStyle :: I))))

type PiecewiseVisualMapI = PositionMixin (ZMixin (BorderAndBackgroundMixin (MinMaxMixin (align :: I, categories :: I, color :: I, controller :: I, dimension :: I, formatter :: I, hoverLink :: I, inRange :: I, inverse :: I, itemGap :: I, itemHeight :: I, itemSymbol :: I, itemWidth :: I, orient :: I, outOfRange :: I, padding :: I, pieces :: I, precision :: I, selectedMode :: I, seriesIndex :: I, show :: I, splitNumber :: I, text :: I, textGap :: I, textStyle :: I))))

type InOutRangeI = (color :: I, colorAlpha :: I, colorHue :: I, colorLightness :: I, colorSaturation :: I, opacity :: I, symbol :: I, symbolSize :: I)

type ControllerI = (inRange :: I, outOfRange :: I)

type ToolboxI = PositionMixin (ZMixin (SizeMixin (feature :: I, iconStyle :: I, itemGap :: I, itemSize :: I, orient :: I, show :: I)))

type IconStyleI = NormalAndEmphasis IconStyleInnerI

type IconStyleInnerI = ShadowMixin (borderColor :: I, borderType :: I, borderWidth :: I, color :: I, opacity :: I)

type FeatureI = (brush :: I, dataView :: I, dataZoom :: I, magicType :: I, restore :: I, saveAsImage :: I)

type DataZoomFeatureI = (dzfIcon :: I, dzfTitle :: I, iconStyle :: I, show :: I, xAxisIndex :: I, yAxisIndex :: I)

type DZFI = (back :: I, zoom :: I)

type SaveAsImageI = (backgroundColor :: I, excludeComponents :: I, icon :: I, iconStyle :: I, imageType :: I, name :: I, pixelRatio :: I, show :: I, title :: I)

type RestoreI = (backgroundColor :: I, buttonColor :: I, buttonTextColor :: I, contentToOption :: I, icon :: I, iconStyle :: I, lang :: I, optionToContent :: I, readOnly :: I, show :: I, textColor :: I, textareaBorderColor :: I, textareaColor :: I, title :: I)

type DataViewI = (icon :: I, iconStyle :: I, readOnly :: I, show :: I, title :: I)

type MagicTypeI = (magics :: I, mtIcon :: I, mtOption :: I, mtSeriesIndex :: I, mtTitle :: I, show :: I)

type MTFieldI = (bar :: I, line :: I, stack :: I, tiled :: I)

type BrushFeatureI = (bfIcon :: I, bfTitle :: I, brushType :: I)

type BFFieldI = (clear :: I, keep :: I, lineX :: I, lineY :: I, polygon :: I, rect :: I)

type MagicsI = (magic :: I)

type BrushI = (brushLink :: I, brushMode :: I, brushStyle :: I, brushToolbox :: I, brushType :: I, geoIndex :: I, inBrush :: I, outOfBrush :: I, removeOnClick :: I, seriesIndex :: I, throttleDelay :: I, throttleType :: I, transformable :: I, xAxisIndex :: I, yAxisIndex :: I)

type BrushToolboxI = (tool :: I)

type GridsI = (grid :: I)

type GridI = PositionMixin (ZMixin (SizeMixin (ShadowMixin (BorderAndBackgroundMixin (containLabel :: I, show :: I, textStyle :: I)))))

type SeriesI = (bar :: I, boxPlot :: I, candlestick :: I, effectScatter :: I, funnel :: I, gauge :: I, graph :: I, heatMap :: I, line :: I, lines :: I, map :: I, missing :: I, parallelSeries :: I, pie :: I, radarSeries :: I, sankey :: I, scatter :: I, treeMap :: I)

There is no common serie thing, but special cases for every kind of series.

type AxisI i = ZMixin (MinMaxMixin (axisLabel :: I, axisLine :: I, axisTick :: I, axisType :: I, boundaryGap :: I, interval :: I, inverse :: I, items :: I, minInterval :: I, name :: I, scale :: I, silent :: I, splitArea :: I, splitLine :: I, splitNumber :: I, triggerEvent :: I | i))

xAxis and yAxis has different position type

type SplitAreaI = (areaStyle :: R AreaStyleI, interval :: I, show :: I)

type AxisLineI = (lineStyle :: R LineStyleI, onZero :: I, show :: I)

type ParallelAxesI = (addParallelAxis :: I)

type YAxesI = (addYAxis :: I)

type XAxesI = (addXAxis :: I)

type ParallelAxisI = AxisI (NameStyleMixin (dim :: I, parallelIndex :: I, realtime :: I))

type XAxisI = AxisI (NameStyleMixin (gridIndex :: I, horizontalPosition :: I, offset :: I))

type YAxisI = AxisI (NameStyleMixin (gridIndex :: I, offset :: I, verticalPosition :: I))

type RadiusAxisI = AxisI (NameStyleMixin (polarIndex :: I))

type AngleAxisI = AxisI (clockwise :: I, polarIndex :: I, startAngle :: I)

type SingleAxisI = AxisI (NameStyleMixin ())

type LineSeriesI = ZMixin (CoordinateSystemMixin (AnimationMixin (MarkerMixin (SymbolMixin (LegendHoverMixin (areaStyle :: R (NormalAndEmphasis AreaStyleI), clipOverflow :: I, connectNulls :: I, itemStyle :: I, items :: I, label :: I, lineStyle :: R (NormalAndEmphasis LineStyleI), name :: I, polarIndex :: I, sampling :: I, showAllSymbol :: I, showSymbol :: I, silent :: I, smooth :: I, smoothMonotone :: I, stack :: I, step :: I, xAxisIndex :: I, yAxisIndex :: I))))))

type BarSeriesI = ZMixin (CoordinateSystemMixin (AnimationMixin (MarkerMixin (barCategoryGap :: I, barGap :: I, barMaxWidth :: I, barMinHeight :: I, barWidth :: I, itemStyle :: I, items :: I, label :: I, legendHoverLink :: I, name :: I, stack :: I, xAxisIndex :: I, yAxisIndex :: I))))

type PieSeriesI = ZMixin (AnimationMixin (LegendHoverMixin (avoidLabelOverlap :: I, center :: I, clockwise :: I, itemStyle :: I, items :: I, label :: I, labelLine :: I, minAngle :: I, name :: I, radius :: I, roseType :: I, selectedMode :: I, selectedOffset :: I, silent :: I, startAngle :: I)))

type BasicScatterSeriesI i = MarkerMixin (CoordinateSystemMixin (ZMixin (AnimationMixin (SymbolMixin (LargeMixin (LegendHoverMixin (geoIndex :: I, itemStyle :: I, items :: I, label :: I, name :: I, polarIndex :: I, silent :: I, tooltip :: I, xAxisIndex :: I, yAxisIndex :: I | i)))))))

type ScatterI = BasicScatterSeriesI ()

type EffectScatterI = BasicScatterSeriesI (effectType :: I, rippleEffect :: I, showEffectOn :: I)

type RadarSeriesI = ZMixin (AnimationMixin (SymbolMixin (areaStyle :: R (NormalAndEmphasis AreaStyleI), axisLine :: I, itemStyle :: I, items :: I, label :: I, lineStyle :: R (NormalAndEmphasis LineStyleI), name :: I, radarIndex :: I, silent :: I)))

type TreeMapI = PositionMixin (ZMixin (SizeMixin (BaseAnimationMixin (breadcrumb :: I, childrenVisibleMin :: I, colorAlpha :: I, colorMappingBy :: I, colorSaturation :: I, itemStyle :: I, items :: I, label :: I, leafDepth :: I, levels :: I, nodeClick :: I, roam :: I, silentTreeMap :: I, squareRatio :: I, visibleMin :: I, visualDimension :: I, zoomNodeToRatio :: I))))

type BoxPlotI = ZMixin (CoordinateSystemMixin (BaseAnimationMixin (MarkerMixin (LegendHoverMixin (boxWidth :: I, itemStyle :: I, items :: I, layout :: I, name :: I, silent :: I, tooltip :: I, xAxisIndex :: I, yAxisIndex :: I)))))

type CandlestickI = ZMixin (CoordinateSystemMixin (BaseAnimationMixin (MarkerMixin (LegendHoverMixin (itemStyle :: I, items :: I, layout :: I, name :: I, xAxisIndex :: I, yAxisIndex :: I)))))

type HeatMapI = ZMixin (CoordinateSystemMixin (MarkerMixin (blurSize :: I, calendarIndex :: I, geoIndex :: I, itemStyle :: I, items :: I, label :: I, maxOpacity :: I, minOpacity :: I, name :: I, silent :: I, xAxisIndex :: I, yAxisIndex :: I)))

type MapI = PositionMixin (MarkerMixin (ZMixin (center :: I, itemStyle :: I, label :: I, layoutCenter :: I, layoutSize :: I, map :: I, mapValueCalculation :: I, name :: I, nameMap :: I, roam :: I, scaleLimit :: I, selectedMode :: I, showLegendSymbol :: I, silent :: I, zoom :: I)))

type ScaleLimitI = MinMaxMixin ()

type RegionsI = (region :: I)

type RegionI = (itemStyle :: I, label :: I, name :: I, selected :: I)

type ParallelSeriesI = AnimationMixin (CoordinateSystemMixin (ZMixin (activeOpacity :: I, inactiveOpacity :: I, items :: I, lineStyle :: R LineStyleI, name :: I, parallelAxisDefault :: I, parallelIndex :: I, realtime :: I, silent :: I)))

type LinesI = ZMixin (CoordinateSystemMixin (AnimationMixin (MarkerMixin (LargeMixin (effect :: I, geoIndex :: I, items :: I, label :: I, lineStyle :: R LineStyleI, name :: I, polyline :: I, silent :: I, xAxisIndex :: I, yAxisIndex :: I)))))

type GraphI = AnimationMixin (CoordinateSystemMixin (ZMixin (PositionMixin (SizeMixin (SymbolMixin (MarkerMixin (LegendHoverMixin (categories :: I, circular :: I, draggable :: I, edgeLabel :: I, edgeSymbolSize :: I, edgeSymbols :: I, edges :: I, focusNodeAdjancency :: I, force :: I, geoIndex :: I, itemStyle :: I, items :: I, label :: I, layout :: I, lineStyle :: R (NormalAndEmphasis LineStyleI), links :: I, name :: I, nodeScaleRatio :: I, nodes :: I, polarIndex :: I, roam :: I, silent :: I, xAxisIndex :: I, yAxisIndex :: I))))))))

type EdgeLabelI = NormalAndEmphasis EdgeLabelInnerI

type EdgeLabelInnerI = (edgeLabelPosition :: I, formatter :: I, show :: I, textStyle :: I)

type LinksI = (link :: I)

type LinkI = (label :: I, lineStyle :: R (NormalAndEmphasis LineStyleI), source :: I, symbol :: I, symbolSize :: I, target :: I, value :: I)

type EdgeSymbolsI = (edgeSymbol :: I)

type SankeyI = AnimationMixin (ZMixin (SizeMixin (PositionMixin (edges :: I, itemStyle :: I, items :: I, label :: I, layoutIterations :: I, lineStyle :: R (NormalAndEmphasis LineStyleI), links :: I, nodeGap :: I, nodeWidth :: I, nodes :: I, silent :: I))))

type FunnelI = AnimationMixin (MarkerMixin (PositionMixin (SizeMixin (MinMaxMixin (funnelAlign :: I, gap :: I, itemStyle :: I, items :: I, label :: I, labelLine :: I, legendHoverLink :: I, maxSize :: I, minSize :: I, name :: I, silent :: I, sort :: I)))))

type GaugeI = AnimationMixin (ZMixin (MarkerMixin (MinMaxMixin (axisLabel :: I, axisLine :: I, axisTick :: I, center :: I, clockwise :: I, detail :: I, endAngle :: I, gaugePointer :: I, gaugeRadius :: I, itemStyle :: I, items :: I, name :: I, radius :: I, silent :: I, splitLine :: I, splitNumber :: I, startAngle :: I, title :: I))))

type GaugePointerI = (length :: I, show :: I, width :: I)

type ItemI = SymbolMixin (areaStyle :: R AreaStyleI, category :: I, childrenVisibleMin :: I, color :: I, colorAlpha :: I, colorMappingBy :: I, colorSaturation :: I, coord :: I, coords :: I, icon :: I, itemStyle :: I, label :: I, labelLine :: I, lineStyle :: R LineStyleI, markType :: I, name :: I, selected :: I, treeMapNodeId :: I, value :: I, valueDim :: I, valueIndex :: I, visibleMin :: I, visualDimension :: I, x :: I, y :: I)

type Coords = (coord :: I)

type AxisPointerI = AnimationMixin (axis :: I, axisPointerType :: I, crossStyle :: I, lineStyle :: R LineStyleI, pointerType :: I, shadowStyle :: I, show :: I)

type ShadowStyleI = ShadowMixin (color :: I, opacity :: I)

type LineStylePairI = NormalAndEmphasis LineStyleI

type LineStyleI = ShadowMixin (color :: I, curveness :: I, lineType :: I, opacity :: I, width :: I)

type SplitLineI = (interval :: I, length :: I, lineStyle :: R LineStyleI, show :: I)

type LabelI = NormalAndEmphasis LabelInnerI

type LabelInnerI = (color :: I, formatter :: I, position :: I, show :: I, textStyle :: I)

type ItemsI = (item :: I)

type ItemStyleI = NormalAndEmphasis IStyleI

type IStyleI = ShadowMixin (barBorderWidth :: I, borderColor :: I, borderWidth :: I, color :: I, opacity :: I)

type TextStyleI = (color :: I, fontFamily :: I, fontSize :: I, fontStyle :: I, fontWeight :: I)

type AreaStylePairI = NormalAndEmphasis AreaStyleI

type AreaStyleI = ShadowMixin (color :: I, opacity :: I)

type AxisTickI = (alignWithLabel :: I, inside :: I, interval :: I, length :: I, lineStyle :: R LineStyleI, show :: I, splitNumber :: I)

type AxisLabelI = (formatter :: I, inside :: I, interval :: I, margin :: I, rotate :: I, show :: I, textStyle :: I)

type DetailI = (formatter :: I, offsetCenter :: I, show :: I, textStyle :: I)

type LabelLineI = NormalAndEmphasis LabelLineInnerI

type LabelLineInnerI = (show :: I)

type ValuesI = (addValue :: I)

type NamesI = (addName :: I)

type MarkPointI = AnimationMixin (SymbolMixin (itemStyle :: I, items :: I, label :: I, silent :: I))

type MarkLineI = AnimationMixin (SymbolMixin (items :: I, label :: I, lineStyle :: R (NormalAndEmphasis LineStyleI), precision :: I, silent :: I))

type MarkAreaI = AnimationMixin (itemStyle :: I, items :: I, label :: I)

type RippleEffectI = (brushType :: I, period :: I, scale :: I)

type LevelsI = (level :: I)

type LevelI = (childrenVisibleMin :: I, color :: I, colorAlpha :: I, colorMappingBy :: I, colorSaturation :: I, itemStyle :: I, label :: I, visibleMin :: I, visualDimension :: I)

type EffectI = (color :: I, constantSpeed :: I, loop :: I, period :: I, show :: I, symbol :: I, symbolSize :: I, trailLength :: I)

type ForceI = (edgeLength :: I, gravity :: I, initLayout :: I, layoutAnimation :: I, repulsion :: I)

type CategoriesI = (category :: I)

type CategoryI = SymbolMixin (itemStyle :: I, label :: I, name :: I)

type CircularI = (rotateLabel :: I)

type PointI = (x :: I, y :: I)

type DimensionI = (percents :: I, pixels :: I)

type RadiusI = (end :: I, start :: I)