MaintainerCS 131, Programming Languages (Melissa O'Neill, Chris Stone, Ben Wiedermann)
Safe HaskellSafe

SKRun

Description

You do not need to edit this file, but you may want to read the definitions of the abstract syntax.

Synopsis

Documentation

type Bindings = Map VarName Expr #

Maps SK variable names to SK expressions

skform :: Bindings -> Expr -> Expr #

Given a set of bindings, compile from Moses AST to SK-combinator AST

eval :: Expr -> Value #

Evaluate an SK-combinator expression

evalapp :: Value -> Value -> Value #

Evaluate an SK-combinator application

user_error :: String -> a #

A more programmer-friendly error message

builtins :: Bindings #