Pure Wrapper

The source code for the Pure-Python interface is also kept in its own repository:

https://github.com/sdiehl/pure-python

API

class wise.pure.cpure.PureInt

A Pure integer primitive.

class wise.pure.cpure.PureSymbol

Generic Pure symbol specified by alphanumeric characters.

update

Called if the we need to change what the symbol refers to

class wise.pure.cpure.PureLevel

A Pure level instance.

hash

class wise.pure.cpure.PureExpr

Base class for all derived Pure expressions wrappers.

interp

Return the interpreter instance for this symbol.

tag

Return the internal tag value from the pure_expr struct.

type

Return the type attribute as overloaded by child classes.

class wise.pure.cpure.PureDouble

A Pure double primitive.

class wise.pure.cpure.PureClosure

A Pure closure, i.e. a reference to callable object.

arity

wise.pure.cpure.reduce_with_pure_rules()

Convert a Python list of strings into a dynamic local environment and pass reduce the given expression with it

wise.pure.cpure.new_level()

Spawn a new level in the interpreter.

wise.pure.cpure.restore_level()

Restore previous level in the interpreter.

class wise.pure.cpure.PureEnv

Wrapper for spawning and managing Pure interpreter instances.

compile_interp

Force the active interpreter to JIT compile all toplevel symbols.

eval

Evaluate a string in the active interpreter.

using

Include a Pure library in this active interpreter.

class wise.pure.cpure.PureList

A Pure list primitive.