copilot-core-3.3: An intermediate representation for Copilot.
Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.Interpret.Render

Description

Pretty-print the results of a simulation.

Synopsis

Documentation

renderAsTable :: ExecTrace -> String Source #

Render an execution trace as a table, formatted to faciliate readability.

renderAsCSV :: ExecTrace -> String Source #

Render an execution trace as using comma-separate value (CSV) format.