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

Copilot.Core.Interpret

Description

An interpreter for Copilot specifications.

Synopsis

Documentation

data Format Source #

Output format for the results of a Copilot spec interpretation.

Constructors

Table 
CSV 

interpret Source #

Arguments

:: Format

Format to be used for the output.

-> Int

Number of steps to interpret.

-> Spec

Specification to interpret.

-> String 

Interpret a Copilot specification.