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

Copilot.Core.Interpret.Render

Description

An tagless interpreter for Copilot specifications.

Documentation

renderAsTable :: ExecTrace -> String Source #

renderAsCSV :: ExecTrace -> String Source #