sifflet-lib-1.1: Library of modules shared by sifflet and its tests and its exporters.

Sifflet.Examples

Synopsis

Documentation

foo :: FunctionSource

foo a b = 2 * a + b

eFoo :: Expr -> Expr -> ExprSource

An expression representing a call to foo

eMax :: Expr -> Expr -> ExprSource

An expression representing a call to max

eFact :: Expr -> ExprSource

An expression representing a call to fact

getExampleFunction :: String -> FunctionSource

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