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

Safe HaskellTrustworthy

Copilot.Core.Interpret.Eval

Description

A tagless interpreter for Copilot specifications.

Documentation

type Env nm = [(nm, DynamicF [] Type)]Source

type Output = StringSource

data ExecTrace Source

Constructors

ExecTrace 

Fields

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

Instances

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