def ProofWidgets.Recharts.Recharts : ProofWidgets.Module

Equations

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

inductive ProofWidgets.Recharts.LineChartLayout : Type

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

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 : Type

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

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 : Type

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

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 : Type

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

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

• ProofWidgets.Recharts.LineChart = { toModule := { javascript := ProofWidgets.Recharts.Recharts.javascript }, export := "LineChart" }

structure ProofWidgets.Recharts.AxisProps : Type

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

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

• ProofWidgets.Recharts.XAxis = { toModule := { javascript := ProofWidgets.Recharts.Recharts.javascript }, export := "XAxis" }

def ProofWidgets.Recharts.YAxis : ProofWidgets.Component ProofWidgets.Recharts.AxisProps

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

Equations

• ProofWidgets.Recharts.YAxis = { toModule := { javascript := ProofWidgets.Recharts.Recharts.javascript }, export := "YAxis" }

inductive ProofWidgets.Recharts.LineType : Type

• 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

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

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

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

• ProofWidgets.Recharts.Line = { toModule := { javascript := ProofWidgets.Recharts.Recharts.javascript }, export := "Line" }