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

Copilot.Core.Interpret

Description

An interpreter for Copilot specifications.

Synopsis

Documentation

data ExtEnv Source

Environment for simulation.

Constructors

ExtEnv 

Fields

varEnv :: Env Name
 
arrEnv :: ArrEnv
 
funcEnv :: [(Name, Spec)]
 

data Format Source

Constructors

Table 
CSV 

interpret :: Format -> Int -> ExtEnv -> Spec -> StringSource

Interprets a Copilot specification.