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

Safe Haskell	Trustworthy
Language	Haskell2010

Copilot.Core.Interpret.Eval

Description

A tagless interpreter for Copilot specifications.

Documentation

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

type Output = String Source

data ExecTrace Source

Constructors

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

Instances

Show ExecTrace Source

eval :: ShowType -> Int -> Spec -> ExecTrace Source