copilot-core-3.2: An intermediate representation for Copilot.
Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.Interpret.Eval

Description

A tagless interpreter for Copilot specifications.

Documentation

type Env nm = [(nm, Dynamic)] Source #

type Output = String Source #

data ExecTrace Source #

Constructors

ExecTrace 

Fields

Instances

Instances details
Show ExecTrace Source # 
Instance details

Defined in Copilot.Core.Interpret.Eval

Methods

showsPrec :: Int -> ExecTrace -> ShowS #

show :: ExecTrace -> String #

showList :: [ExecTrace] -> ShowS #

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