curry.backends.py package

Subpackages

• curry.backends.py.currylib package
  • Subpackages
    • curry.backends.py.currylib.prelude package
      • PreludeSpecification
      • Submodules
  • Submodules
    • curry.backends.py.currylib.fundamental module
    • curry.backends.py.currylib.setfunctions module
      • SetFunctionsSpecification
      • allValues()
      • applyS()
      • captureS()
      • evalS()
      • exprS()
      • setN()
      • set_()
• curry.backends.py.eval package
  • Submodules
    • curry.backends.py.eval.callstack module
      • CallStack
      • StackFrame
    • curry.backends.py.eval.checker module
      • Checker
      • InvariantViolation
    • curry.backends.py.eval.configuration module
      • Bindings()
      • Configuration
    • curry.backends.py.eval.fairscheme module
      • hnf_or_free()
    • curry.backends.py.eval.queue module
      • Queue
      • failure_guards()
    • curry.backends.py.eval.rts module
      • InterpreterState
      • RuntimeState
    • curry.backends.py.eval.rts_bindings module
      • add_binding()
      • apply_binding()
      • get_binding()
      • has_binding()
      • make_value_bindings()
      • update_binding()
    • curry.backends.py.eval.rts_constraints module
      • constrain_equal()
      • constraint_type()
      • lift_constraint()
      • occurs()
    • curry.backends.py.eval.rts_control module
      • append()
      • catch_control()
      • count_step()
      • drop()
      • extend()
      • is_io()
      • make_value()
      • overflow()
      • raise_deferred_error()
      • ready()
      • release_value()
      • restart()
      • rotate()
      • suspend()
      • unwind()
    • curry.backends.py.eval.rts_fingerprint module
      • equate_fp()
      • grp_id()
      • obj_id()
      • read_fp()
      • update_fp()
    • curry.backends.py.eval.rts_freevars module
      • clone_generator()
      • freshvar()
      • freshvar_args()
      • get_freevar()
      • get_generator()
      • has_generator()
      • instantiate()
      • is_narrowed()
      • is_nondet()
      • is_void()
      • register_freevar()
      • register_freevars()
    • curry.backends.py.eval.rts_setfunctions module
      • SetFunctionEval
      • choice_escapes()
      • clone_queue()
      • create_queue()
      • create_setfunction()
      • failure_level()
      • guard()
      • guard_args()
      • guard_held()
      • in_recursive_call()
      • owns_decision()
      • pop_queue()
      • push_queue()
      • qid()
      • queue_scope()
      • record_failure()
      • sid()
      • split_queue()
      • update_escape_set()
      • walk_qstack()
• curry.backends.py.graph package
  • DataType
    • DataType.constructors
  • InfoTable
    • InfoTable.is_bool
    • InfoTable.is_char
    • InfoTable.is_float
    • InfoTable.is_int
    • InfoTable.is_io
    • InfoTable.is_list
    • InfoTable.is_monadic
    • InfoTable.is_operator
    • InfoTable.is_partial
    • InfoTable.is_primitive
    • InfoTable.is_special
    • InfoTable.is_tuple
    • InfoTable.step
    • InfoTable.typedef
    • InfoTable.typetag
  • Node
    • Node.copy()
    • Node.create_partial_applic()
    • Node.forward_to()
    • Node.id()
    • Node.info
    • Node.rewrite()
    • Node.set_successor()
    • Node.successor()
    • Node.successors
    • Node.walk()
  • iterexpr()
  • walk()
  • Submodules
    • curry.backends.py.graph.copy module
      • GraphCopier
      • Skipper
      • copygraph()
      • copynode()
    • curry.backends.py.graph.equality module
      • GraphEquality
      • equal()
      • logically_equal()
      • structurally_equal()
    • curry.backends.py.graph.indexing module
      • compress_fwd_chain()
      • logical_subexpr()
      • realpath()
      • subexpr()
    • curry.backends.py.graph.infotable module
      • DataType
      • InfoTable
    • curry.backends.py.graph.node module
      • Node
      • check_int_range()
      • new_node()
    • curry.backends.py.graph.utility module
      • copy_spine()
      • curry()
      • joinpath()
      • rewrite()
      • shallow_copy()
    • curry.backends.py.graph.variable module
      • Variable
      • variable()
    • curry.backends.py.graph.walkexpr module
      • iterexpr()
      • walk()

Submodules

• curry.backends.py.compiler module
  • compile()
  • write_module()
• curry.backends.py.interface module
  • IBackend
    • IBackend.backend_name
    • IBackend.compile
    • IBackend.compile_pending()
    • IBackend.create_evaluation_rts
    • IBackend.extend_plan_skeleton
    • IBackend.find_or_create_internal_module()
    • IBackend.fundamental_symbols
    • IBackend.get_interpreter_state()
    • IBackend.getimpl()
    • IBackend.init_interpreter_state()
    • IBackend.load_module
    • IBackend.lookup_builtin_module()
    • IBackend.make_node
    • IBackend.materialize
    • IBackend.object_file_extension
    • IBackend.write_module
• curry.backends.py.loader module
  • load_module()
• curry.backends.py.materialize module
  • Materializer
    • Materializer.materialize()
    • Materializer.materializeEx()
  • Trampoline
    • Trampoline.materialize()
  • compile_pending()
  • getimpl()
  • materialize()
  • materializeStepfunc()
• curry.backends.py.toolchain module
  • Json2Py
    • Json2Py.NAME
    • Json2Py.SUFFIX
    • Json2Py.is_stale()
  • bytecode_file()
  • bytecode_is_current()
  • compile_bytecode()
  • ensure_bytecode()
  • extend_plan_skeleton()
  • format_version()
  • source_is_stale()