curry.tools.icy.repl module

class curry.tools.icy.repl.REPL(args, **kwds)

Bases: object

A Curry read-eval-print loop.

defaultaction(value)

The default handler for values.

enter()

Enter the loop.

eval()

Evaluate a command.

read()

Read user input.

switch_backend(backend)

Reloads the interpreter with backend (the setter of the option backend), records the backend in the options, and loads the module of the session again, so that the prompt and the expressions see the new interpreter. A reload replaces the Curry path; the load puts the directory of the module back. When that load fails, the session stays on the new backend with the Prelude at the prompt, keeps the argument of the last :load for a switch back, and reports the error.