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

Copilot.Core.Interpret.Eval

Description

A tagless interpreter for Copilot specifications.

Synopsis

Documentation

data ExtEnv Source

Environment for simulation.

Constructors

ExtEnv 

Fields

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

type Output = StringSource

data ExecTrace Source

Constructors

ExecTrace 

Fields

interpTriggers :: Map String [Maybe [Output]]
 
interpObservers :: Map String [Output]
 

Instances

eval :: ShowType -> Int -> ExtEnv -> Spec -> ExecTraceSource