copilot-core-0.2.1: An intermediate representation for Copilot.
Copilot.Core.Interpret.Eval
Description
A tagless interpreter for Copilot specifications.
Synopsis
data ExtEnv Source
Environment for simulation.
Constructors
Fields
type Env nm = [(nm, DynamicF [] Type)]Source
type Output = StringSource
data ExecTrace Source
Instances
eval :: ShowType -> Int -> ExtEnv -> Spec -> ExecTraceSource