Documentation

ProofWidgets.Component.Recharts

def ProofWidgets.Recharts.Recharts :

Lean.Widget.Module

Equations

One or more equations did not get rendered due to their size.

inductive ProofWidgets.Recharts.LineChartLayout :

horizontal: ProofWidgets.Recharts.LineChartLayout
vertical: ProofWidgets.Recharts.LineChartLayout

Instances For

instance ProofWidgets.Recharts.instFromJsonLineChartLayout :

Lean.FromJson ProofWidgets.Recharts.LineChartLayout

Equations

ProofWidgets.Recharts.instFromJsonLineChartLayout = { fromJson? := ProofWidgets.Recharts.fromJsonLineChartLayout✝ }

instance ProofWidgets.Recharts.instToJsonLineChartLayout :

Lean.ToJson ProofWidgets.Recharts.LineChartLayout

Equations

ProofWidgets.Recharts.instToJsonLineChartLayout = { toJson := ProofWidgets.Recharts.toJsonLineChartLayout✝ }

inductive ProofWidgets.Recharts.LineChartSyncMethod :

index: ProofWidgets.Recharts.LineChartSyncMethod
value: ProofWidgets.Recharts.LineChartSyncMethod

Instances For

instance ProofWidgets.Recharts.instFromJsonLineChartSyncMethod :

Lean.FromJson ProofWidgets.Recharts.LineChartSyncMethod

Equations

ProofWidgets.Recharts.instFromJsonLineChartSyncMethod = { fromJson? := ProofWidgets.Recharts.fromJsonLineChartSyncMethod✝ }

instance ProofWidgets.Recharts.instToJsonLineChartSyncMethod :

Lean.ToJson ProofWidgets.Recharts.LineChartSyncMethod

Equations

ProofWidgets.Recharts.instToJsonLineChartSyncMethod = { toJson := ProofWidgets.Recharts.toJsonLineChartSyncMethod✝ }

structure ProofWidgets.Recharts.LineChartMargin :

top : Nat
right : Nat
bottom : Nat
left : Nat

Instances For

instance ProofWidgets.Recharts.instFromJsonLineChartMargin :

Lean.FromJson ProofWidgets.Recharts.LineChartMargin

Equations

ProofWidgets.Recharts.instFromJsonLineChartMargin = { fromJson? := ProofWidgets.Recharts.fromJsonLineChartMargin✝ }

instance ProofWidgets.Recharts.instToJsonLineChartMargin :

Lean.ToJson ProofWidgets.Recharts.LineChartMargin

Equations

ProofWidgets.Recharts.instToJsonLineChartMargin = { toJson := ProofWidgets.Recharts.toJsonLineChartMargin✝ }

structure ProofWidgets.Recharts.LineChartProps :

layout : ProofWidgets.Recharts.LineChartLayout
syncId? : Option String
syncMethod? : Option ProofWidgets.Recharts.LineChartSyncMethod
width : Nat
height : Nat
data : Array Lean.Json
margin : ProofWidgets.Recharts.LineChartMargin

Instances For

instance ProofWidgets.Recharts.instFromJsonLineChartProps :

Lean.FromJson ProofWidgets.Recharts.LineChartProps

Equations

ProofWidgets.Recharts.instFromJsonLineChartProps = { fromJson? := ProofWidgets.Recharts.fromJsonLineChartProps✝ }

instance ProofWidgets.Recharts.instToJsonLineChartProps :

Lean.ToJson ProofWidgets.Recharts.LineChartProps

Equations

ProofWidgets.Recharts.instToJsonLineChartProps = { toJson := ProofWidgets.Recharts.toJsonLineChartProps✝ }

def ProofWidgets.Recharts.LineChart :

ProofWidgets.Component ProofWidgets.Recharts.LineChartProps

See https://recharts.org/en-US/api/LineChart.

Equations

One or more equations did not get rendered due to their size.

structure ProofWidgets.Recharts.AxisProps :

dataKey? : Option Lean.Json
domain? : Option (Array Lean.Json)
allowDataOverflow : Bool

Instances For

instance ProofWidgets.Recharts.instFromJsonAxisProps :

Lean.FromJson ProofWidgets.Recharts.AxisProps

Equations

ProofWidgets.Recharts.instFromJsonAxisProps = { fromJson? := ProofWidgets.Recharts.fromJsonAxisProps✝ }

instance ProofWidgets.Recharts.instToJsonAxisProps :

Lean.ToJson ProofWidgets.Recharts.AxisProps

Equations

ProofWidgets.Recharts.instToJsonAxisProps = { toJson := ProofWidgets.Recharts.toJsonAxisProps✝ }

def ProofWidgets.Recharts.XAxis :

ProofWidgets.Component ProofWidgets.Recharts.AxisProps

See https://recharts.org/en-US/api/XAxis.

Equations

One or more equations did not get rendered due to their size.

def ProofWidgets.Recharts.YAxis :

ProofWidgets.Component ProofWidgets.Recharts.AxisProps

See https://recharts.org/en-US/api/YAxis.

Equations

One or more equations did not get rendered due to their size.

inductive ProofWidgets.Recharts.LineType :

basis: ProofWidgets.Recharts.LineType
basisClosed: ProofWidgets.Recharts.LineType
basisOpen: ProofWidgets.Recharts.LineType
linear: ProofWidgets.Recharts.LineType
linearClosed: ProofWidgets.Recharts.LineType
natural: ProofWidgets.Recharts.LineType
monotoneX: ProofWidgets.Recharts.LineType
monotoneY: ProofWidgets.Recharts.LineType
monotone: ProofWidgets.Recharts.LineType
step: ProofWidgets.Recharts.LineType
stepBefore: ProofWidgets.Recharts.LineType
stepAfter: ProofWidgets.Recharts.LineType

Instances For

instance ProofWidgets.Recharts.instFromJsonLineType :

Lean.FromJson ProofWidgets.Recharts.LineType

Equations

ProofWidgets.Recharts.instFromJsonLineType = { fromJson? := ProofWidgets.Recharts.fromJsonLineType✝ }

instance ProofWidgets.Recharts.instToJsonLineType :

Lean.ToJson ProofWidgets.Recharts.LineType

Equations

ProofWidgets.Recharts.instToJsonLineType = { toJson := ProofWidgets.Recharts.toJsonLineType✝ }

structure ProofWidgets.Recharts.LineProps :

type : ProofWidgets.Recharts.LineType
dataKey : Lean.Json
stroke : String
dot? : Option Bool

Instances For

instance ProofWidgets.Recharts.instFromJsonLineProps :

Lean.FromJson ProofWidgets.Recharts.LineProps

Equations

ProofWidgets.Recharts.instFromJsonLineProps = { fromJson? := ProofWidgets.Recharts.fromJsonLineProps✝ }

instance ProofWidgets.Recharts.instToJsonLineProps :

Lean.ToJson ProofWidgets.Recharts.LineProps

Equations

ProofWidgets.Recharts.instToJsonLineProps = { toJson := ProofWidgets.Recharts.toJsonLineProps✝ }

def ProofWidgets.Recharts.Line :

ProofWidgets.Component ProofWidgets.Recharts.LineProps

See https://recharts.org/en-US/api/Line.

Equations

One or more equations did not get rendered due to their size.