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