Sifflet.Examples

Documentation

exampleFunctions :: [Function]

exampleFunctionNames :: [String]

exampleEnv :: Env

foo :: Function

foo a b = 2 * a + b

eFoo :: Expr -> Expr -> Expr

An expression representing a call to foo

eMax :: Expr -> Expr -> Expr

An expression representing a call to max

eFact :: Expr -> Expr

An expression representing a call to fact

getExampleFunction :: String -> Function

This function will be in error if the function name is not found in exampleEnv.