Theoria.Pretty (theoria v0.7.0)

Copy Markdown View Source

Human-readable rendering for Theoria values.

Summary

Functions

error(error)
inductive_index(index)
inductive_parameter(parameter)
inductive_report(report)
inductive_shape(shape)
level(level)
term(term)
theorem(theorem)
trust_report(report)

Functions

error(error)

@spec error(Theoria.Error.t()) :: String.t()

inductive_index(index)

@spec inductive_index(Theoria.Inductive.Index.t()) :: String.t()

inductive_parameter(parameter)

@spec inductive_parameter(Theoria.Inductive.Parameter.t()) :: String.t()

inductive_report(report)

@spec inductive_report(Theoria.Inductive.Report.t()) :: String.t()

inductive_shape(shape)

@spec inductive_shape(Theoria.Inductive.Shape.t()) :: String.t()

level(level)

@spec level(Theoria.Level.t()) :: String.t()

term(term)

@spec term(Theoria.Term.t()) :: String.t()

theorem(theorem)

@spec theorem(Theoria.Theorem.t()) :: String.t()

trust_report(report)

@spec trust_report(Theoria.Kernel.TrustReport.t()) :: String.t()