class ToString (α : Type u) : Type u

• toString : α → String

instance instToStringIdType {α : Type u_1} [ToString α] : ToString (id α)

instance instToStringId {α : Type u_1} [ToString α] : ToString (Id α)

instance instToStringString : ToString String

instance instToStringSubstring : ToString Substring

instance instToStringIterator : ToString String.Iterator

instance instToStringBool : ToString Bool

instance instToStringDecidable {p : Prop} : ToString (Decidable p)

def List.toString {α : Type u_1} [ToString α] : List α → String

instance instToStringList {α : Type u} [ToString α] : ToString (List α)

instance instToStringPUnit : ToString PUnit

instance instToStringULift {α : Type u} [ToString α] : ToString (ULift α)

instance instToStringUnit : ToString Unit

instance instToStringNat : ToString Nat

instance instToStringPos : ToString String.Pos

instance instToStringInt : ToString Int

instance instToStringChar : ToString Char

instance instToStringFin (n : Nat) : ToString (Fin n)

instance instToStringUInt8 : ToString UInt8

instance instToStringUInt16 : ToString UInt16

instance instToStringUInt32 : ToString UInt32

instance instToStringUInt64 : ToString UInt64

instance instToStringUSize : ToString USize

instance instToStringFormat : ToString Lean.Format

def addParenHeuristic (s : String) : String

instance instToStringOption {α : Type u} [ToString α] : ToString (Option α)

instance instToStringSum {α : Type u} {β : Type v} [ToString α] [ToString β] : ToString (α ⊕ β)

instance instToStringProd {α : Type u} {β : Type v} [ToString α] [ToString β] : ToString (α × β)

instance instToStringSigma {α : Type u} {β : α → Type v} [ToString α] [(x : α) → ToString (β x)] : ToString (Sigma β)

instance instToStringSubtype {α : Type u} {p : α → Prop} [ToString α] : ToString (Subtype p)

def String.toInt? (s : String) : Option Int

def String.isInt (s : String) : Bool

def String.toInt! (s : String) : Int

instance instToStringExcept {ε : Type u_1} {α : Type u_2} [ToString ε] [ToString α] : ToString (Except ε α)

instance instReprExcept {ε : Type u_1} {α : Type u_2} [Repr ε] [Repr α] : Repr (Except ε α)