copilot-core-0.2.4: An intermediate representation for Copilot.

Safe HaskellSafe

Copilot.Core.Interpret.Render

Description

An tagless interpreter for Copilot specifications.

Documentation

renderAsTable :: ExecTrace -> StringSource

renderAsCSV :: ExecTrace -> StringSource