curry.tools.icy.options module

class curry.tools.icy.options.OptionSpec(name, type, default, argnames, setter, doc)[source]

Bases: _OptionSpec

description(indent=0, w1=0)[source]

property isbool

property setter: Alias for field number 4

class curry.tools.icy.options.Options(repl=None)[source]

Bases: object

OPTIONS = {'backend': ('backend', <class 'str'>, None, ['NAME'], <function set_backend>, 'The backend of the session. Setting it reloads the interpreter and the loaded module.'), 'internal-error-details': ('internal-error-details', <class 'bool'>, False, [], None, 'Show detailed information about internal errors.')}

W1 = 23

classmethod names()[source]

state(name)[source]

classmethod usage(name, indent=0)[source]

curry.tools.icy.options.set_backend(inst, value)[source]: The setter of the option backend: reloads the interpreter with the backend and loads the module of the session again (REPL.switch_backend, which records the value once the interpreter runs on the backend).