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

Safe Haskell	Trustworthy

Copilot.Core.Interpret.Render

Description

An tagless interpreter for Copilot specifications.

Documentation

renderAsTable :: ExecTrace -> String Source

renderAsCSV :: ExecTrace -> String Source