Index

A

absent_from_result() (in module curry.typecheck.goals) accepted_digests() (curry.backends.cxx.toolchain.Cpp2So method) activate_queue() (curry.backends.generic.eval.trace.Trace method) (in module curry.backends.generic.eval.trace) add() (curry.backends.generic.eval.evaluator.EvaluationTotals method) add_binding() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_bindings) add_constructors() (curry.toolchain.flat2icurry.compiler.NameMaps method) add_public_functions() (curry.toolchain.flat2icurry.compiler.NameMaps method) after_evaluation() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) alias_target() (in module curry.icurry.analysis) (in module curry.icurry.analysis.aliases) alias_target_of_body() (in module curry.icurry.analysis) (in module curry.icurry.analysis.aliases) aliases() (curry.backends.generic.currylib.ModuleSpecification method) (curry.backends.generic.currylib.prelude.PreludeSpecification method) all_vars() (in module curry.toolchain.flat2icurry.flatcurry) allValues() (in module curry.backends.py.currylib.setfunctions) AmbiguousTypeError anchor (class in curry.expressions) anchor_type() (curry.typecheck.builder.TypedProblem method) App (class in curry.typecheck.engine) append() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) appendFile() (in module curry.backends.py.currylib.prelude.io) Applic (class in curry.utility.readcurry.types) apply() (in module curry.backends.py.currylib.prelude.apply) apply_binding() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_bindings)

apply_gnf() (in module curry.backends.py.currylib.prelude.apply) apply_hnf() (in module curry.backends.py.currylib.prelude.apply) apply_nf() (in module curry.backends.py.currylib.prelude.apply) apply_unboxed() (in module curry.backends.py.currylib.prelude.math) applyS() (in module curry.backends.py.currylib.setfunctions) args (curry.toolchain.flat2icurry.flatcurry.Comb property) (curry.toolchain.flat2icurry.flatcurry.Rule property) (curry.toolchain.flat2icurry.flatcurry.TCons property) (curry.toolchain.flat2icurry.icurrytypes.ICCall property) (curry.toolchain.flat2icurry.icurrytypes.ICPCall property) (curry.toolchain.flat2icurry.icurrytypes.IFCall property) (curry.toolchain.flat2icurry.icurrytypes.IFPCall property) (curry.typecheck.engine.App attribute) (curry.typecheck.instances.DictTerm attribute) argtypes (curry.toolchain.flat2icurry.flatcurry.Cons property) arity (curry.toolchain.flat2icurry.flatcurry.Cons property) (curry.toolchain.flat2icurry.flatcurry.Func property) (curry.toolchain.flat2icurry.icurrytypes.IConsBranch property) (curry.toolchain.flat2icurry.icurrytypes.IFunction property) (curry.typecheck.exprtype.Synonym property) (curry.typecheck.Scheme attribute) (curry.typecheck.sigtable.Scheme attribute) arity_pos_of_cons() (curry.toolchain.flat2icurry.compiler.NameMaps method) ArityError arrow() (in module curry.typecheck.terms) assigns (curry.toolchain.flat2icurry.icurrytypes.IBlock property) attach() (curry.backends.cxx.materialize.Materializer method) ATTRS (curry.backends.generic.eval.telemetry.TelemetryData attribute)

B

backend (curry.interpreter.Interpreter property) backend_handle (curry.objects.handle.Handle property) backend_name (curry.backends.cxx.interface.IBackend property) (curry.backends.IBackend property) (curry.backends.py.interface.IBackend property) before_evaluation() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) best() (in module curry.utility.encoding) bind() (curry.icurry.analysis.Inliner method) (curry.icurry.analysis.inlining.Inliner method) bind_frees() (curry.icurry.analysis.Inliner method) (curry.icurry.analysis.inlining.Inliner method) bind_locals() (curry.icurry.analysis.Inliner method) (curry.icurry.analysis.inlining.Inliner method) Binding (class in curry.utility.binding) binding (curry.typecheck.terms.Var attribute) binding() (in module curry.utility.binding) Bindings (class in curry.typecheck.goals) bindings (curry.toolchain.flat2icurry.flatcurry.Let property) (curry.typecheck.goals.Bindings attribute) Bindings() (in module curry.backends.py.eval.configuration) bindIO() (in module curry.backends.py.currylib.prelude.io) block (curry.toolchain.flat2icurry.icurrytypes.IConsBranch property) (curry.toolchain.flat2icurry.icurrytypes.IFuncBody property) (curry.toolchain.flat2icurry.icurrytypes.ILitBranch property) block() (curry.icurry.analysis.Inliner method) (curry.icurry.analysis.inlining.Inliner method)

BLOCK_CLOSE (curry.backends.generic.renderer.CxxSourceRenderer attribute) (curry.backends.generic.renderer.PySourceRenderer attribute) (curry.backends.generic.renderer.ShSourceRenderer attribute) BLOCK_OPEN (curry.backends.generic.renderer.CxxSourceRenderer attribute) (curry.backends.generic.renderer.PySourceRenderer attribute) (curry.backends.generic.renderer.ShSourceRenderer attribute) body (curry.toolchain.flat2icurry.flatcurry.Branch property) (curry.toolchain.flat2icurry.flatcurry.Free property) (curry.toolchain.flat2icurry.flatcurry.Let property) (curry.toolchain.flat2icurry.flatcurry.Rule property) (curry.toolchain.flat2icurry.icurrytypes.IFunction property) body_shape() (in module curry.icurry.analysis) (in module curry.icurry.analysis.inlining) Branch (class in curry.icurry.analysis.inlining) (class in curry.toolchain.flat2icurry.flatcurry) branches (curry.toolchain.flat2icurry.flatcurry.Case property) (curry.toolchain.flat2icurry.icurrytypes.ICaseCons property) (curry.toolchain.flat2icurry.icurrytypes.ICaseLit property) breakpoint() (in module curry.utility.breakpoint) build() (curry.backends.cxx.toolchain.PrecompiledHeader method) (curry.toolchain.flat2icurry.compiler.NameMaps class method) (curry.typecheck.builder.Description method) (in module curry.typecheck.builder) (in module curry.typecheck.engine) build_description() (in module curry.typecheck.builder) bytecode_file() (in module curry.backends.py.toolchain) bytecode_is_current() (in module curry.backends.py.toolchain)

C

C (curry.backends.py.eval.rts.RuntimeState property) CallStack (class in curry.backends.py.eval.callstack) cancel() (curry.utility.timer.RepeatingTimer method) (in module curry.backends.cxx.tiered) candidates() (curry.toolchain.flat2icurry.InterfaceFinder method) (curry.toolchain.flat2icurry.interfaces.InterfaceFinder method) capsule_end() (curry.backends.py.eval.checker.Checker method) capsule_entry() (curry.backends.py.eval.checker.Checker method) capture() (curry.backends.generic.eval.telemetry.TelemetryData method) captured_vars() (in module curry.toolchain.flat2icurry.setlift) captureS() (in module curry.backends.py.currylib.setfunctions) carp() (in module curry.tools.utility) Case (class in curry.toolchain.flat2icurry.flatcurry) case_arg_type() (in module curry.toolchain.flat2icurry.bindingopt) CaseBody (class in curry.icurry.analysis) (class in curry.icurry.analysis.inlining) CaseType (class in curry.toolchain.flat2icurry.flatcurry) casetype (curry.toolchain.flat2icurry.flatcurry.Case property) cast() (curry.icurry.types.ifunction.IVisibility static method) catch() (in module curry.backends.py.currylib.prelude.io) catch_control() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) changed (curry.typecheck.defaulting.Defaulting property) Char (class in curry.toolchain.flat2icurry.terms) (class in curry.utility.readcurry.types) Charc (class in curry.toolchain.flat2icurry.flatcurry) CharToken (class in curry.utility.readcurry.lex) check_application() (in module curry.typecheck.goals) check_capsule_end() (curry.backends.py.eval.checker.Checker method) check_failure_record() (curry.backends.py.eval.checker.Checker method) check_flags() (in module curry.interpreter.flags) check_frontend() (curry.typecheck.SignatureTable static method) (curry.typecheck.sigtable.SignatureTable static method) check_int_range() (in module curry.backends.py.graph.node) Checker (class in curry.backends.py.eval.checker) children (curry.icurry.types.iexpression.ICall property) (curry.icurry.types.iexpression.IOr property) (curry.icurry.types.ifunction.IFuncBody property) (curry.icurry.types.imodule.IPackage property) (curry.icurry.types.iobject.IObject property) (curry.icurry.types.istatement.IBlock property) (curry.icurry.types.istatement.ICase property) (curry.icurry.types.istatement.IConsBranch property) (curry.icurry.types.istatement.ILitBranch property) (curry.icurry.types.istatement.INodeAssign property) (curry.icurry.types.istatement.IReturn property) (curry.icurry.types.istatement.IVarAssign property) (curry.icurry.types.itype.IDataType property) choice (class in curry) (class in curry.expressions) Choice (curry.backends.py.eval.rts.RuntimeState attribute) choice() (in module curry.backends.py.currylib.prelude.basic) choice_escapes() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) classname (curry.typecheck.Instance attribute) (curry.typecheck.instances.Pred attribute) (curry.typecheck.sigtable.Instance attribute) clean() (in module curry.utility.encoding) clear() (curry.icurry.types.imodule.OrderedDict method) (curry.typecheck.SignatureTable method) (curry.typecheck.sigtable.SignatureTable method) clone() (curry.backends.py.eval.configuration.Configuration method) clone_generator() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_freevars) clone_queue() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) CODE_TYPE (curry.backends.generic.compiler.CompilerBase attribute) codepoints() (in module curry.backends.py.currylib.prelude.string) color() (in module curry.utility.textcolor) colored() (in module curry.utility.textcolor) Comb (class in curry.toolchain.flat2icurry.flatcurry) CombType (class in curry.toolchain.flat2icurry.flatcurry) combtype (curry.toolchain.flat2icurry.flatcurry.Comb property) COMMENT_STR (curry.backends.generic.renderer.CxxSourceRenderer attribute) (curry.backends.generic.renderer.PySourceRenderer attribute) (curry.backends.generic.renderer.ShSourceRenderer attribute) commit() (curry.utility.binding.Binding method) compare() (in module curry.utility.readcurry.compare_) compile (curry.backends.cxx.interface.IBackend property) (curry.backends.IBackend property) (curry.backends.py.interface.IBackend property) compile() (curry.backends.generic.compiler.CompilerBase method) (curry.interpreter.Interpreter method) (in module curry) (in module curry.backends.cxx.compiler) (in module curry.backends.py.compiler) (in module curry.interpreter.compile) compile_bytecode() (in module curry.backends.py.toolchain) compile_function() (in module curry.backends.cxx.bytecode) compile_pending() (curry.backends.IBackend method) (curry.backends.py.interface.IBackend method) (in module curry.backends.cxx.materialize) (in module curry.backends.py.materialize) compile_seconds() (in module curry.toolchain) compileArgs() (curry.backends.generic.compiler.CompilerBase method) compileE() (curry.backends.generic.compiler.CompilerBase method) CompileError compileEx() (curry.backends.generic.compiler.CompilerBase method) compileF() (curry.backends.generic.compiler.CompilerBase method) CompilerBase (class in curry.backends.generic.compiler) compileS() (curry.backends.generic.compiler.CompilerBase method) complete_exp() (in module curry.toolchain.flat2icurry.casecompletion) complete_prog() (in module curry.toolchain.flat2icurry.casecompletion) compose() (in module curry.utility.shared) compress_fwd_chain() (in module curry.backends.py.graph.indexing) concurrent_and() (in module curry.backends.py.currylib.prelude.constr) cond() (in module curry.backends.py.currylib.prelude.apply) Configuration (class in curry.backends.py.eval.configuration) cons (class in curry) (class in curry.expressions) Cons (class in curry.toolchain.flat2icurry.flatcurry) cons_head() (in module curry.inspect) cons_tail() (in module curry.inspect) ConsPartCall (class in curry.toolchain.flat2icurry.flatcurry) constr_eq() (in module curry.backends.py.currylib.prelude.constr) constrain_begin() (curry.backends.py.eval.checker.Checker method) constrain_equal() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_constraints) constrained() (curry.backends.py.eval.checker.Checker method) constraint_type() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_constraints) constructor (curry.toolchain.flat2icurry.flatcurry.TypeNew property) constructor() (curry.typecheck.Interface method) (curry.typecheck.sigtable.Interface method) (in module curry.toolchain.flat2icurry.terms) CONSTRUCTOR_METADATA (curry.backends.generic.currylib.ModuleSpecification attribute) (curry.backends.py.currylib.prelude.PreludeSpecification attribute) constructor_names() (curry.typecheck.Interface method) (curry.typecheck.sigtable.Interface method) constructors (curry.backends.py.graph.DataType property) (curry.backends.py.graph.infotable.DataType property) (curry.toolchain.flat2icurry.flatcurry.Type property) (curry.toolchain.flat2icurry.icurrytypes.IDataType property) constructors() (in module curry.toolchain.flat2icurry.bindingopt) contains_equality() (in module curry.toolchain.flat2icurry.bindingopt) contains_set0() (in module curry.toolchain.flat2icurry.setlift) context (curry.typecheck.Instance property) (curry.typecheck.Scheme attribute) (curry.typecheck.sigtable.Instance property) (curry.typecheck.sigtable.Scheme attribute) ContextInExprTypeError ConversionError copied() (curry.backends.py.eval.checker.Checker method) copy() (curry.backends.py.eval.queue.Queue method) (curry.backends.py.graph.Node method) (curry.backends.py.graph.node.Node method) (curry.icurry.types.imodule.OrderedDict method) (curry.icurry.types.iobject.IObject method) (curry.utility.shared.DefaultDict method) copy_spine (curry.backends.generic.eval.telemetry.TelemetryData property) copy_spine() (in module curry.backends.py.graph.utility) copygraph() (in module curry.backends.py.graph.copy) copynode() (in module curry.backends.py.graph.copy) count (curry.backends.generic.eval.stepcounter.StepCounter property) count_freevar() (curry.typecheck.builder.TypedBuilder method) count_step() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) counts() (in module curry.backends.cxx.tiered) Cpp2So (class in curry.backends.cxx.toolchain) create_evaluation_rts (curry.backends.cxx.interface.IBackend property) (curry.backends.IBackend property) (curry.backends.py.interface.IBackend property) create_function() (curry.backends.cxx.materialize.Materializer method) create_partial_applic() (curry.backends.py.graph.Node static method) (curry.backends.py.graph.node.Node static method) create_queue() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) create_setfunction() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) CTOR_INDEX (curry.exceptions.FailMonadError attribute) (curry.exceptions.MonadError attribute) (curry.exceptions.NondetMonadError attribute) (curry.exceptions.UserMonadError attribute) current_object() (in module curry.backends.cxx.materialize) currentfile() (in module curry.toolchain) curry module curry() (in module curry.backends.py.graph.utility) curry.backends module curry.backends.cxx module curry.backends.cxx.bytecode module curry.backends.cxx.compiler module curry.backends.cxx.cyrtbindings module curry.backends.cxx.cyrtbindings.fingerprint module curry.backends.cxx.elf module curry.backends.cxx.fundamental_symbols module curry.backends.cxx.implementation module curry.backends.cxx.interface module curry.backends.cxx.loader module curry.backends.cxx.materialize module curry.backends.cxx.passthrough module curry.backends.cxx.tiered module curry.backends.cxx.toolchain module curry.backends.generic module curry.backends.generic.compiler module curry.backends.generic.currylib module curry.backends.generic.currylib.prelude module curry.backends.generic.currylib.setfunctions module curry.backends.generic.eval module curry.backends.generic.eval.control module curry.backends.generic.eval.evaluator module curry.backends.generic.eval.stepcounter module curry.backends.generic.eval.telemetry module curry.backends.generic.eval.trace module curry.backends.generic.renderer module curry.backends.generic.toolchain module curry.backends.py module curry.backends.py.compiler module curry.backends.py.currylib module curry.backends.py.currylib.fundamental module curry.backends.py.currylib.prelude module curry.backends.py.currylib.prelude.apply module curry.backends.py.currylib.prelude.basic module curry.backends.py.currylib.prelude.constr module curry.backends.py.currylib.prelude.io module curry.backends.py.currylib.prelude.math module curry.backends.py.currylib.prelude.prelude module curry.backends.py.currylib.prelude.read module curry.backends.py.currylib.prelude.show module curry.backends.py.currylib.prelude.string module curry.backends.py.currylib.setfunctions module curry.backends.py.eval module curry.backends.py.eval.callstack module curry.backends.py.eval.checker module

curry.backends.py.eval.configuration module curry.backends.py.eval.fairscheme module curry.backends.py.eval.queue module curry.backends.py.eval.rts module curry.backends.py.eval.rts_bindings module curry.backends.py.eval.rts_constraints module curry.backends.py.eval.rts_control module curry.backends.py.eval.rts_fingerprint module curry.backends.py.eval.rts_freevars module curry.backends.py.eval.rts_setfunctions module curry.backends.py.graph module curry.backends.py.graph.copy module curry.backends.py.graph.equality module curry.backends.py.graph.indexing module curry.backends.py.graph.infotable module curry.backends.py.graph.node module curry.backends.py.graph.utility module curry.backends.py.graph.variable module curry.backends.py.graph.walkexpr module curry.backends.py.interface module curry.backends.py.loader module curry.backends.py.materialize module curry.backends.py.toolchain module curry.cache module curry.common module curry.config module curry.exceptions module curry.expressions module curry.icurry module curry.icurry.analysis module curry.icurry.analysis.aliases module curry.icurry.analysis.inlining module curry.icurry.analysis.monadic module curry.icurry.analysis.partials module curry.icurry.analysis.strings module curry.icurry.analysis.variables module curry.icurry.json module curry.icurry.metadata module curry.icurry.readcurry module curry.icurry.types module curry.icurry.types.iexpression module curry.icurry.types.ifunction module curry.icurry.types.iliteral module curry.icurry.types.imodule module curry.icurry.types.iobject module curry.icurry.types.istatement module curry.icurry.types.isymbol module curry.icurry.types.itype module curry.icurry.visit module curry.inspect module curry.interpreter module curry.interpreter.compile module curry.interpreter.conversions module curry.interpreter.eval module curry.interpreter.flags module curry.interpreter.import_ module curry.interpreter.import_.load module curry.interpreter.loadsave module curry.interpreter.optimize module curry.interpreter.stats module curry.lib module curry.objects module curry.objects.handle module curry.show module curry.toolchain module curry.toolchain.flat2icurry module curry.toolchain.flat2icurry.bindingopt module curry.toolchain.flat2icurry.casecompletion module curry.toolchain.flat2icurry.caselifting module curry.toolchain.flat2icurry.compiler module curry.toolchain.flat2icurry.elimnewtype module curry.toolchain.flat2icurry.errors module curry.toolchain.flat2icurry.flatcurry module curry.toolchain.flat2icurry.icurrytypes module curry.toolchain.flat2icurry.interfaces module curry.toolchain.flat2icurry.rewrite module curry.toolchain.flat2icurry.setlift module curry.toolchain.flat2icurry.terms module curry.toolchain.plans module curry.tools module curry.tools.icy module curry.tools.icy.commands module curry.tools.icy.options module curry.tools.icy.repl module curry.tools.icy.resolve module curry.tools.make module curry.tools.utility module curry.typecheck module curry.typecheck.builder module curry.typecheck.defaulting module curry.typecheck.engine module curry.typecheck.errors module curry.typecheck.exprtype module curry.typecheck.goals module curry.typecheck.instances module curry.typecheck.serialize module curry.typecheck.sigtable module curry.typecheck.terms module curry.typecheck.unify module curry.utility module curry.utility.binding module curry.utility.breakpoint module curry.utility.curryname module curry.utility.encoding module curry.utility.filesys module curry.utility.fmap module curry.utility.formatting module curry.utility.proptree module curry.utility.readcurry module curry.utility.readcurry.compare_ module curry.utility.readcurry.lex module curry.utility.readcurry.parse_ module curry.utility.readcurry.show_ module curry.utility.readcurry.types module curry.utility.shared module curry.utility.showflags module curry.utility.strings module curry.utility.textcolor module curry.utility.timer module curry.utility.trampoline module curry.utility.unionfind module curry.utility.visitation module curry2icurry() (in module curry.toolchain) curry2icurry_tool() (in module curry.config) Curry2ICurryCache (class in curry.cache) Curry2ICurryCache.Slot (class in curry.cache) curry_frontend() (in module curry.config) curry_literal() (in module curry.typecheck.serialize) CurryDataType (class in curry.objects) curryfilename() (in module curry.toolchain) CurryIndexError CurryModule (class in curry.objects) CurryNodeInfo (class in curry.objects) CurryPackage (class in curry.objects) currypath() (in module curry.config) currytype() (curry.interpreter.Interpreter method) (in module curry) (in module curry.interpreter.conversions) CurryTypeError cxx_compiler() (in module curry.config) cxx_flavor() (in module curry.config) cxx_gc() (in module curry.config) cxx_gc_write_counters() (in module curry.config) cxx_pch_cache_dir() (in module curry.config) cxx_pch_root() (in module curry.config) cxx_tool() (in module curry.config) CxxSourceRenderer (class in curry.backends.generic.renderer) cyrt_lib() (in module curry.config)

D

data_decls_of() (in module curry.toolchain.flat2icurry.flatcurry) data_defaults (curry.typecheck.defaulting.Defaulting attribute) DataType (class in curry.backends.py.graph) (class in curry.backends.py.graph.infotable) datatype() (curry.backends.cxx.materialize.Materializer method) debugging() (in module curry.config) declareDataType() (curry.backends.generic.compiler.CompilerBase method) declareSymbol() (curry.backends.generic.compiler.CompilerBase method) decls (curry.toolchain.flat2icurry.icurrytypes.IBlock property) decode() (in module curry.backends.generic.compiler) (in module curry.toolchain.flat2icurry.flatcurry) dedent() (curry.backends.generic.eval.trace.Trace method) default (curry.typecheck.engine.Lit attribute) default() (curry.icurry.json.Encoder method) default_scheme() (in module curry.typecheck.defaulting) defaultaction() (curry.tools.icy.repl.REPL method) DefaultDict (class in curry.utility.shared) defaulted_goal() (in module curry.typecheck.goals) defaulted_signature (curry.typecheck.engine.Problem property) Defaulting (class in curry.typecheck.defaulting) DefaultingError DefaultStringifier (class in curry.show) definition() (curry.typecheck.serialize.Serialized method) DelimiterToken (class in curry.utility.readcurry.lex) demand_of() (in module curry.toolchain.flat2icurry.compiler) demanded (curry.toolchain.flat2icurry.icurrytypes.IFunction property) demangle() (in module curry.backends.generic.compiler) describe() (curry.interpreter.Interpreter method) (in module curry) (in module curry.expressions) (in module curry.toolchain.flat2icurry.rewrite) (in module curry.typecheck.engine)

Description (class in curry.typecheck.builder) description() (curry.tools.icy.options.OptionSpec method) dict (curry.typecheck.engine.Free attribute) dict() (curry.icurry.types.iobject.IObject method) dict_node() (curry.typecheck.builder.TypedBuilder method) dictionaries() (curry.typecheck.engine.Problem method) (in module curry.typecheck.goals) dicts (curry.typecheck.engine.App attribute) DictTerm (class in curry.typecheck.instances) digest() (curry.backends.cxx.toolchain.Cpp2So method) disassemble() (curry.backends.cxx.bytecode.FunctionCode method) (in module curry.backends.cxx.bytecode) discard() (curry.backends.py.eval.checker.Checker method) dispatch (class in curry.utility.visitation) dispatch() (curry.backends.py.eval.checker.Checker method) divInt() (in module curry.backends.py.currylib.prelude.math) domain (curry.toolchain.flat2icurry.flatcurry.FuncType property) (curry.toolchain.flat2icurry.flatcurry.KArrow property) drop() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) dump() (in module curry.icurry.json) dumps() (in module curry.icurry.json) DynamicSection (class in curry.backends.cxx.elf) DynloadError

E

E (curry.backends.py.eval.rts.RuntimeState property) E_DIVERGE E_RESIDUAL E_STEPLIMIT E_TERMINATE E_UNWIND edited_source() (in module curry.interpreter.import_) elem (curry.typecheck.engine.Iter attribute) (curry.typecheck.engine.List attribute) elim_newtype() (in module curry.toolchain.flat2icurry.elimnewtype) empty() (curry.objects.handle.Handle method) enabled() (in module curry.backends.cxx.tiered) (in module curry.cache) encode() (in module curry.backends.generic.compiler) (in module curry.utility.encoding) Encoder (class in curry.icurry.json) ends_plan() (curry.backends.cxx.toolchain.Cpp2So method) (curry.backends.cxx.toolchain.Json2Cpp method) ensure_binary() (in module curry.utility.strings) ensure_binary_safe() (in module curry.utility.strings) ensure_bytecode() (in module curry.backends.py.toolchain) ensure_shims() (in module curry.backends.cxx.tiered) ensure_str() (in module curry.utility.strings) ensure_str_safe() (in module curry.utility.strings) ensure_text() (in module curry.utility.strings) ensure_text_safe() (in module curry.utility.strings) ensureNotFree() (in module curry.backends.py.currylib.prelude.apply) entails() (curry.typecheck.instances.InstanceEnv method) enter() (curry.tools.icy.repl.REPL method) enter_rewrite() (curry.backends.generic.eval.trace.Trace method) (in module curry.backends.generic.eval.trace) enter_scheduler() (curry.backends.py.eval.checker.Checker method) enter_subexpr() (curry.show.Stringifier method) entries_to_D (curry.backends.generic.eval.telemetry.TelemetryData property) entries_to_hnf (curry.backends.generic.eval.telemetry.TelemetryData property) entries_to_N (curry.backends.generic.eval.telemetry.TelemetryData property) entries_to_S (curry.backends.generic.eval.telemetry.TelemetryData property) equal() (in module curry.backends.py.graph.equality) equality_operands() (in module curry.toolchain.flat2icurry.bindingopt) equate_fp() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_fingerprint) erased (curry.typecheck.engine.App attribute) error() (in module curry.backends.py.currylib.prelude.basic) escape() (curry.backends.py.eval.checker.Checker method) escape_char() (in module curry.show) escape_insert() (curry.backends.py.eval.checker.Checker method) eval() (curry.interpreter.Interpreter method) (curry.tools.icy.repl.REPL method) (in module curry) (in module curry.interpreter.eval) (in module curry.tools.icy.commands)

evalS() (in module curry.backends.py.currylib.setfunctions) evaluate() (curry.backends.generic.eval.evaluator.Evaluator method) (curry.typecheck.goals.Goal method) (in module curry.backends.generic.eval.evaluator) EvaluationError EvaluationSuspended EvaluationTotals (class in curry.backends.generic.eval.evaluator) Evaluator (class in curry.backends.generic.eval.evaluator) EXCLUDED_METADATA (curry.backends.generic.compiler.CompilerBase attribute) exit_rewrite() (curry.backends.generic.eval.trace.Trace method) (in module curry.backends.generic.eval.trace) exports() (curry.backends.generic.currylib.ModuleSpecification method) (curry.backends.generic.currylib.prelude.PreludeSpecification method) (curry.backends.py.currylib.prelude.PreludeSpecification method) Expr (class in curry.toolchain.flat2icurry.flatcurry) expr (curry.toolchain.flat2icurry.flatcurry.Typed property) (curry.toolchain.flat2icurry.icurrytypes.INodeAssign property) (curry.toolchain.flat2icurry.icurrytypes.IReturn property) (curry.toolchain.flat2icurry.icurrytypes.IVarAssign property) (curry.typecheck.goals.Goal property) expr() (curry.icurry.analysis.Inliner method) (curry.icurry.analysis.inlining.Inliner method) (curry.interpreter.Interpreter method) (in module curry) (in module curry.expressions) expr_id() (in module curry.backends.generic.eval.trace) expression() (curry.typecheck.serialize.Serialized method) expression_modname() (in module curry.config) expression_scheme() (in module curry.interpreter.compile) ExpressionBody (class in curry.icurry.analysis) (class in curry.icurry.analysis.inlining) exprS() (in module curry.backends.py.currylib.setfunctions) ExprTypeError ExprTypeMismatchError ExprTypeSyntaxError extend() (curry.backends.py.eval.rts.RuntimeState method) (curry.backends.py.graph.variable.Variable method) (in module curry.backends.py.eval.rts_control) extend_plan_skeleton (curry.backends.cxx.interface.IBackend property) (curry.backends.IBackend property) (curry.backends.py.interface.IBackend property) extend_plan_skeleton() (in module curry.backends.cxx.toolchain) (in module curry.backends.py.toolchain) extern() (curry.backends.generic.currylib.ModuleSpecification method) External (class in curry.toolchain.flat2icurry.flatcurry) extra (curry.typecheck.builder.Wrap attribute)

F

fail (in module curry) (in module curry.expressions) failed() (curry.backends.generic.eval.trace.Trace method) (in module curry.backends.generic.eval.trace) (in module curry.backends.py.currylib.prelude.basic) failed_branch() (in module curry.toolchain.flat2icurry.casecompletion) FailMonadError fails_at_end() (curry.backends.py.eval.queue.Queue method) Failure (curry.backends.py.eval.rts.RuntimeState attribute) failure_guards() (curry.backends.py.eval.queue.Queue method) (in module curry.backends.py.eval.queue) failure_level() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) failure_recorded() (curry.backends.py.eval.checker.Checker method) fields_at() (curry.icurry.analysis.inlining.Branch method) filelist() (curry.toolchain.plans.Plan method) filename() (curry.toolchain.flat2icurry.InterfaceFinder method) (curry.toolchain.flat2icurry.interfaces.InterfaceFinder method) (in module curry.cache) find() (curry.toolchain.flat2icurry.InterfaceFinder method) (curry.toolchain.flat2icurry.interfaces.InterfaceFinder method) (curry.typecheck.terms.Var method) (curry.utility.unionfind.UnionFind method) find_interface() (in module curry.typecheck) (in module curry.typecheck.sigtable) find_or_create_internal_module() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) (curry.backends.py.interface.IBackend method) find_static_strings() (in module curry.icurry.analysis) (in module curry.icurry.analysis.strings) findfiles() (in module curry.utility.filesys) findmodule() (curry.objects.handle.Handle method) Fingerprint__eq__() (in module curry.backends.cxx.cyrtbindings.fingerprint) Fingerprint__ge__() (in module curry.backends.cxx.cyrtbindings.fingerprint) Fingerprint__gt__() (in module curry.backends.cxx.cyrtbindings.fingerprint) Fingerprint__iter__() (in module curry.backends.cxx.cyrtbindings.fingerprint) Fingerprint__le__() (in module curry.backends.cxx.cyrtbindings.fingerprint) Fingerprint__lt__() (in module curry.backends.cxx.cyrtbindings.fingerprint) Fingerprint__ne__() (in module curry.backends.cxx.cyrtbindings.fingerprint) Fingerprint__reduce__() (in module curry.backends.cxx.cyrtbindings.fingerprint) Fingerprint__repr__() (in module curry.backends.cxx.cyrtbindings.fingerprint) Fingerprint_consistentWith_() (in module curry.backends.cxx.cyrtbindings.fingerprint) finish() (curry.typecheck.builder.TypedBuilder method) first_line (curry.typecheck.errors.TypeCheckError property) first_use() (in module curry.backends.cxx.materialize) Fixity (class in curry.toolchain.flat2icurry.flatcurry) fixity (curry.toolchain.flat2icurry.flatcurry.Op property) flags (curry.interpreter.Interpreter property) (in module curry) flat2icurry() (in module curry.toolchain.flat2icurry.compiler) Flat2ICurryError, [1] flat_type_text() (in module curry.typecheck.goals) flat_typeexpr (curry.typecheck.Scheme attribute) (curry.typecheck.sigtable.Scheme attribute) flatten() (curry.show.Stringifier method) flavor (curry.backends.cxx.toolchain.Cpp2So property) (curry.backends.cxx.toolchain.PrecompiledHeader property) flavor_flags() (in module curry.backends.cxx.toolchain) Float (class in curry.utility.readcurry.types) float_text() (in module curry.typecheck.serialize) Floatc (class in curry.toolchain.flat2icurry.flatcurry) fmap() (in module curry.utility.fmap) ForallType (class in curry.toolchain.flat2icurry.flatcurry) force_recompile_cxx() (in module curry.config) fork() (curry.backends.generic.eval.trace.Trace method) (curry.backends.py.eval.checker.Checker method) (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.generic.eval.trace) forks (curry.backends.generic.eval.evaluator.EvaluationTotals property) (curry.backends.generic.eval.telemetry.TelemetryData property)

forks_total (curry.backends.py.eval.rts.RuntimeState property) format() (curry.backends.generic.renderer.SourceRenderer method) (curry.show.FreeVarStringifier method) (curry.show.ListStringifier method) (curry.show.LitNormalStringifier method) (curry.show.LitUnboxedStringifier method) (curry.show.Stringifier method) format_as_list() (curry.show.ListStringifier method) format_as_string() (curry.show.ListStringifier method) format_stats() (in module curry.interpreter.stats) format_version() (curry.backends.cxx.toolchain.Cpp2So method) (in module curry.backends.cxx.toolchain) (in module curry.backends.py.toolchain) formatDocstring() (in module curry.utility) forward_to() (curry.backends.py.graph.Node method) (curry.backends.py.graph.node.Node method) free (class in curry) (class in curry.expressions) Free (class in curry.toolchain.flat2icurry.flatcurry) (class in curry.typecheck.engine) (curry.backends.py.eval.rts.RuntimeState attribute) free_dictionary() (curry.typecheck.engine.Problem method) free_variables() (in module curry.backends.cxx.passthrough) free_vars() (in module curry.typecheck.terms) FreeFunctionError freevars (curry.typecheck.goals.Goal attribute) (curry.typecheck.goals.LiftedGoal attribute) FreeVarStringifier (class in curry.show) fresh() (curry.icurry.analysis.Inliner method) (curry.icurry.analysis.inlining.Inliner method) freshvar() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_freevars) freshvar_args() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_freevars) from_logicalpath() (curry.backends.py.graph.variable.Variable static method) from_root() (curry.backends.py.graph.variable.Variable static method) fromBOM() (curry.icurry.types.imodule.IModule static method) fromkeys() (curry.icurry.types.imodule.OrderedDict class method) fullname (curry.objects.CurryDataType property) (curry.objects.CurryNodeInfo property) (curry.objects.handle.Handle property) (curry.typecheck.Instance property) (curry.typecheck.instances.DictTerm property) (curry.typecheck.Scheme property) (curry.typecheck.sigtable.Instance property) (curry.typecheck.sigtable.Scheme property) Func (class in curry.toolchain.flat2icurry.flatcurry) FuncPartCall (class in curry.toolchain.flat2icurry.flatcurry) function() (curry.typecheck.Interface method) (curry.typecheck.sigtable.Interface method) FUNCTION_METADATA (curry.backends.generic.currylib.ModuleSpecification attribute) (curry.backends.py.currylib.prelude.PreludeSpecification attribute) (curry.backends.py.currylib.setfunctions.SetFunctionsSpecification attribute) function_names() (curry.typecheck.Interface method) (curry.typecheck.sigtable.Interface method) FunctionCode (class in curry.backends.cxx.bytecode) FUNCTIONS (curry.backends.generic.currylib.prelude.PreludeSpecification attribute) (curry.backends.generic.currylib.setfunctions.SetFunctionsSpecification attribute) functions (curry.toolchain.flat2icurry.flatcurry.Prog property) (curry.toolchain.flat2icurry.icurrytypes.IProg property) functions() (curry.backends.generic.currylib.ModuleSpecification method) FuncType (class in curry.toolchain.flat2icurry.flatcurry) fundamental_symbols (curry.backends.cxx.interface.IBackend property) (curry.backends.IBackend property) (curry.backends.py.interface.IBackend property) fwd (class in curry.expressions) Fwd (curry.backends.py.eval.rts.RuntimeState attribute) fwd_chain_target() (in module curry.inspect) fwd_target() (in module curry.inspect)

G

gc_counters() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) gc_flags() (in module curry.backends.cxx.toolchain) gc_seconds() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) generate_values() (curry.backends.cxx.cyrtbindings.RuntimeState method) (curry.backends.py.eval.rts.RuntimeState method) generator() (curry.backends.py.eval.checker.Checker method) generator_digest() (in module curry.backends.cxx.toolchain) generator_files() (in module curry.backends.cxx.toolchain) get() (curry.typecheck.builder.TypeRecord method) get_binding() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_bindings) get_builtin_symbolname (curry.objects.handle.Handle property) get_builtin_typename (curry.objects.handle.Handle property) get_choice_alternatives() (in module curry.inspect) get_choice_id() (in module curry.inspect) get_decoder() (in module curry.icurry.json) get_default_flags() (in module curry.interpreter.flags) get_encoder() (in module curry.icurry.json) get_freevar() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_freevars) get_freevar_id() (in module curry.inspect) get_generator() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_freevars) get_interpreter_state() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) (curry.backends.py.interface.IBackend method) get_left_alternative() (in module curry.inspect) get_right_alternative() (in module curry.inspect) get_set_id() (in module curry.inspect) get_setguard_value() (in module curry.inspect) getChar() (in module curry.backends.py.currylib.prelude.io) getconverter() (in module curry.interpreter.conversions) getDebugSourceDir() (in module curry.utility.filesys)

getdir() (in module curry.utility.filesys) getflags() (in module curry.interpreter.flags) getHandle() (in module curry.objects.handle) geticurry() (in module curry.inspect) geticurryfile() (in module curry.inspect) getimpl() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) (curry.backends.py.interface.IBackend method) (curry.objects.CurryNodeInfo method) (in module curry.backends.cxx.implementation) (in module curry.backends.py.materialize) (in module curry.inspect) getInterpreter() (in module curry) getjsonfile() (in module curry.inspect) getModuleName() (in module curry.utility.curryname) getsymbol() (curry.objects.handle.Handle method) (in module curry.inspect) gettype() (curry.objects.handle.Handle method) (in module curry.inspect) global_count (curry.backends.cxx.cyrtbindings.StepCounter property) (curry.backends.generic.eval.stepcounter.StepCounter property) global_limit (curry.backends.cxx.cyrtbindings.StepCounter property) (curry.backends.generic.eval.stepcounter.StepCounter property) Goal (class in curry.typecheck.goals) GraphCopier (class in curry.backends.py.graph.copy) GraphEquality (class in curry.backends.py.graph.equality) Group (class in curry.typecheck.builder) grp_id() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_fingerprint) guard() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) guard_args() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) guard_held() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) guards (curry.backends.py.graph.variable.Variable attribute)

H

Handle (class in curry.objects.handle) handle_program_errors() (in module curry.tools.utility) has_binding() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_bindings) has_generator() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_freevars) has_instance() (curry.typecheck.instances.InstanceEnv method) has_shim() (in module curry.backends.cxx.tiered) HCOL (curry.backends.generic.renderer.CxxSourceRenderer attribute) (curry.backends.generic.renderer.SourceRenderer attribute) head (curry.typecheck.Instance property) (curry.typecheck.sigtable.Instance property)

HEADER (curry.backends.cxx.toolchain.PrecompiledHeader attribute) header_files() (curry.backends.cxx.toolchain.PrecompiledHeader static method) histogram_median() (in module curry.interpreter.stats) hnf() (curry.backends.py.eval.checker.Checker method) (curry.backends.py.graph.variable.Variable method) hnf_or_free() (curry.backends.py.graph.variable.Variable method) (in module curry.backends.py.eval.fairscheme) hoist() (curry.backends.generic.compiler.CompilerBase method) HOIST_DEPTH (curry.backends.generic.compiler.CompilerBase attribute) hoisting() (curry.backends.generic.compiler.CompilerBase method) holders (curry.typecheck.terms.Var attribute)

I

IArity (in module curry.icurry.types.iobject) IAssign (class in curry.icurry.types.istatement) (class in curry.toolchain.flat2icurry.icurrytypes) IBackend (class in curry.backends) (class in curry.backends.cxx.interface) (class in curry.backends.py.interface) IBlock (class in curry.icurry.types.istatement) (class in curry.toolchain.flat2icurry.icurrytypes) IBody (in module curry.icurry.types.ifunction) IBuiltin (class in curry.icurry.types.ifunction) ICall (class in curry.icurry.types.iexpression) ICase (class in curry.icurry.types.istatement) ICaseCons (class in curry.icurry.types.istatement) (class in curry.toolchain.flat2icurry.icurrytypes) ICaseLit (class in curry.icurry.types.istatement) (class in curry.toolchain.flat2icurry.icurrytypes) ICCall (class in curry.icurry.types.iexpression) (class in curry.toolchain.flat2icurry.icurrytypes) IChar (class in curry.icurry.types.iliteral) (class in curry.toolchain.flat2icurry.icurrytypes) IConsBranch (class in curry.icurry.types.istatement) (class in curry.toolchain.flat2icurry.icurrytypes) IConstructor (class in curry.icurry.types.itype) IContainer (class in curry.icurry.types.isymbol) ICPCall (class in curry.icurry.types.iexpression) (class in curry.toolchain.flat2icurry.icurrytypes) icurry (curry.objects.handle.Handle property) icurry2json() (in module curry.toolchain) icurry_cache_enabled() (in module curry.cache) icurry_cache_key() (in module curry.cache) icurry_filename() (in module curry.typecheck.exprtype) icurry_tool() (in module curry.config) icurryfilename() (in module curry.toolchain) id() (curry.backends.py.graph.Node method) (curry.backends.py.graph.node.Node method) IDataType (class in curry.icurry.types.itype) (class in curry.toolchain.flat2icurry.icurrytypes) IDecl (class in curry.toolchain.flat2icurry.icurrytypes) Identifier (class in curry.utility.readcurry.types) IdentifierToken (class in curry.utility.readcurry.lex) IExempt (class in curry.icurry.types.istatement) IExpr (class in curry.toolchain.flat2icurry.icurrytypes) IExpression (class in curry.icurry.types.iexpression) IExternal (class in curry.icurry.types.ifunction) (class in curry.toolchain.flat2icurry.icurrytypes) IFCall (class in curry.icurry.types.iexpression) (class in curry.toolchain.flat2icurry.icurrytypes) IFloat (class in curry.icurry.types.iliteral) (class in curry.toolchain.flat2icurry.icurrytypes) IFPCall (class in curry.icurry.types.iexpression) (class in curry.toolchain.flat2icurry.icurrytypes) IFreeDecl (class in curry.icurry.types.istatement) (class in curry.toolchain.flat2icurry.icurrytypes) IFuncBody (class in curry.icurry.types.ifunction) (class in curry.toolchain.flat2icurry.icurrytypes) IFunction (class in curry.icurry.types.ifunction) (class in curry.toolchain.flat2icurry.icurrytypes) IInt (class in curry.icurry.types.iliteral) (class in curry.toolchain.flat2icurry.icurrytypes) ILit (class in curry.icurry.types.iexpression) (class in curry.toolchain.flat2icurry.icurrytypes) ILitBranch (class in curry.icurry.types.istatement) (class in curry.toolchain.flat2icurry.icurrytypes) ILiteral (class in curry.icurry.types.iliteral) (class in curry.toolchain.flat2icurry.icurrytypes) IModule (class in curry.icurry.types.imodule) import_() (curry.interpreter.Interpreter method) (in module curry) (in module curry.interpreter.import_) import_closure() (in module curry.cache) import_lacks_an_object() (curry.backends.cxx.toolchain.Cpp2So method) IMPORT_PAT (curry.backends.cxx.toolchain.Cpp2So attribute) importDataType() (curry.backends.generic.compiler.CompilerBase method) IMPORTS (curry.backends.generic.currylib.prelude.PreludeSpecification attribute) (curry.backends.generic.currylib.setfunctions.SetFunctionsSpecification attribute) imports (curry.toolchain.flat2icurry.flatcurry.Prog property) (curry.toolchain.flat2icurry.icurrytypes.IProg property) importSymbol() (curry.backends.generic.compiler.CompilerBase method) in_conda_prefix() (in module curry.config) in_recursive_call (curry.backends.py.eval.rts.RuntimeState property) in_recursive_call() (in module curry.backends.py.eval.rts_setfunctions) increment() (curry.backends.generic.eval.stepcounter.StepCounter method) INDENT (curry.backends.generic.renderer.SourceRenderer attribute) indent() (curry.backends.generic.eval.trace.Trace method) (in module curry.utility.formatting) index (curry.toolchain.flat2icurry.flatcurry.TVar property) (curry.toolchain.flat2icurry.flatcurry.Var property) (curry.typecheck.engine.Spec attribute) (curry.typecheck.instances.Pred attribute) index() (curry.typecheck.terms.Naming method) infer() (in module curry.typecheck.engine) info (curry.backends.py.graph.Node attribute) (curry.backends.py.graph.node.Node attribute) (curry.backends.py.graph.variable.Variable property) info_of() (in module curry.inspect) InfoTable (class in curry.backends.py.graph) (class in curry.backends.py.graph.infotable) init_interpreter_state() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) (curry.backends.py.interface.IBackend method) inline_aliases() (in module curry.interpreter.optimize) inline_body_text() (in module curry.icurry.analysis) (in module curry.icurry.analysis.inlining) inline_calls() (in module curry.interpreter.optimize) inline_shape() (in module curry.icurry.analysis) (in module curry.icurry.analysis.inlining) Inliner (class in curry.icurry.analysis) (class in curry.icurry.analysis.inlining) INodeAssign (class in curry.icurry.types.istatement) (class in curry.toolchain.flat2icurry.icurrytypes) insert() (curry.backends.generic.compiler.SymbolTable method) installation_key() (in module curry.config) installation_path() (in module curry.backends.cxx.toolchain) installed_path() (in module curry.config) Instance (class in curry.typecheck) (class in curry.typecheck.sigtable) instance (curry.typecheck.instances.DictTerm attribute) (curry.typecheck.instances.Pred attribute) instance() (curry.typecheck.instances.InstanceEnv method) (curry.typecheck.SignatureTable method) (curry.typecheck.sigtable.SignatureTable method) instance_checker() (in module curry.utility.visitation) instance_names() (curry.typecheck.Interface method) (curry.typecheck.sigtable.Interface method) InstanceEnv (class in curry.typecheck.instances) instances (curry.typecheck.defaulting.Defaulting attribute) instances() (curry.typecheck.SignatureTable method) (curry.typecheck.sigtable.SignatureTable method) instances_of() (curry.typecheck.SignatureTable method) (curry.typecheck.sigtable.SignatureTable method) instantiate() (curry.backends.py.eval.rts.RuntimeState method) (curry.icurry.analysis.Inliner method) (curry.icurry.analysis.inlining.Inliner method) (in module curry.backends.py.eval.rts_freevars) (in module curry.typecheck.terms) instantiate_begin() (curry.backends.py.eval.checker.Checker method) instantiate_case() (curry.icurry.analysis.Inliner method) (curry.icurry.analysis.inlining.Inliner method) instantiate_end() (curry.backends.py.eval.checker.Checker method) InstantiationError Int (class in curry.utility.readcurry.types) Intc (class in curry.toolchain.flat2icurry.flatcurry) interactive_modname() (in module curry.config) Interface (class in curry.typecheck) (class in curry.typecheck.sigtable) interface() (curry.typecheck.SignatureTable method) (curry.typecheck.sigtable.SignatureTable method) interface_candidates() (in module curry.typecheck) (in module curry.typecheck.sigtable) interface_filename() (curry.typecheck.SignatureTable method) (curry.typecheck.sigtable.SignatureTable method) (in module curry.cache) InterfaceError, [1] InterfaceFinder (class in curry.toolchain.flat2icurry) (class in curry.toolchain.flat2icurry.interfaces)

internBackendFunction() (curry.backends.generic.compiler.CompilerBase method) internMetadata() (curry.backends.generic.compiler.CompilerBase method) internStringLiteral() (curry.backends.generic.compiler.CompilerBase method) internValueSetLiteral() (curry.backends.generic.compiler.CompilerBase method) interp (curry.typecheck.SignatureTable property) (curry.typecheck.sigtable.SignatureTable property) Interpreter (class in curry.interpreter) interpreter (curry.objects.CurryNodeInfo property) InterpreterState (class in curry.backends.py.eval.rts) InvariantViolation IObject (class in curry.icurry.types.iobject) ioError() (in module curry.backends.py.currylib.prelude.io) IOr (class in curry.icurry.types.iexpression) (class in curry.toolchain.flat2icurry.icurrytypes) IPackage (class in curry.icurry.types.imodule) IPartialCall (class in curry.icurry.types.iexpression) IProg (class in curry.toolchain.flat2icurry.icurrytypes) (in module curry.icurry.types.imodule) IReference (class in curry.icurry.types.iexpression) IReturn (class in curry.icurry.types.istatement) (class in curry.toolchain.flat2icurry.icurrytypes) is_anonymous_modname() (in module curry.config) is_apply() (in module curry.icurry.analysis) (in module curry.icurry.analysis.partials) is_bool (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) is_boxed (curry.backends.py.graph.variable.Variable property) is_boxed() (in module curry.inspect) is_builtin (curry.icurry.types.ifunction.IFunction property) is_builtin_type() (curry.backends.py.eval.rts.RuntimeState method) is_char (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) is_constructor (curry.typecheck.Scheme attribute) (curry.typecheck.sigtable.Scheme attribute) is_current() (curry.backends.cxx.toolchain.PrecompiledHeader method) is_data() (in module curry.inspect) is_dictionary() (curry.typecheck.builder.TypedBuilder static method) (in module curry.typecheck.goals) is_expression_modname() (in module curry.config) is_external (curry.icurry.types.ifunction.IFunction property) is_float (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) is_ground() (in module curry.typecheck.terms) is_identifier() (in module curry.typecheck.serialize) is_int (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) is_io (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) is_io() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) is_lifted_name() (in module curry.toolchain.flat2icurry.setlift) is_list (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) is_monadic (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) is_narrowed() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_freevars) is_nondet() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_freevars) is_numeric() (curry.typecheck.instances.InstanceEnv method) is_operator (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) is_package (curry.objects.CurryModule property) (curry.objects.CurryPackage property) (curry.objects.handle.Handle property) is_partial (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) is_pending() (in module curry.backends.cxx.materialize) is_primitive (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) is_private (curry.icurry.types.ifunction.IFunction property) is_program_error() (in module curry.cache) is_recursive() (in module curry.icurry.analysis) (in module curry.icurry.analysis.inlining) is_root (curry.backends.py.graph.variable.Variable property) is_special (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) is_stale() (curry.backends.cxx.toolchain.Cpp2So method) (curry.backends.cxx.toolchain.Json2Cpp method) (curry.backends.py.toolchain.Json2Py method) (curry.toolchain.plans.Plan method) is_translation() (in module curry.backends.cxx.materialize) is_tuple (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) is_void() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_freevars) isa() (in module curry.inspect) isa_bool() (in module curry.inspect) isa_boxed_char() (in module curry.inspect) isa_boxed_float() (in module curry.inspect) isa_boxed_int() (in module curry.inspect) isa_boxed_primitive() (in module curry.inspect) isa_char() (in module curry.inspect) isa_choice() (in module curry.inspect) isa_cons() (in module curry.inspect) isa_constraint() (in module curry.inspect) isa_ctor() (in module curry.inspect) isa_curry_expr() (in module curry.inspect) isa_curry_expr_or_none() (in module curry.inspect) isa_failure() (in module curry.inspect) isa_false() (in module curry.inspect) isa_float() (in module curry.inspect) isa_freevar() (in module curry.inspect) isa_func() (in module curry.inspect) isa_fwd() (in module curry.inspect) isa_int() (in module curry.inspect) isa_io() (in module curry.inspect) isa_list() (in module curry.inspect) isa_nil() (in module curry.inspect) isa_operator_name() (in module curry.inspect) isa_primitive() (in module curry.inspect) isa_setguard() (in module curry.inspect) isa_true() (in module curry.inspect) isa_tuple() (in module curry.inspect) isa_tuple_name() (in module curry.inspect) isa_unboxed_char() (in module curry.inspect) isa_unboxed_float() (in module curry.inspect) isa_unboxed_int() (in module curry.inspect) isa_unboxed_primitive() (in module curry.inspect) isaCurryIdentifier() (in module curry.utility.encoding) isbool (curry.tools.icy.options.OptionSpec property) isExternal() (curry.backends.generic.compiler.CompilerBase method) isLegalModulename() (in module curry.utility.curryname) IStatement (class in curry.icurry.types.istatement) (class in curry.toolchain.flat2icurry.icurrytypes) IString (class in curry.icurry.types.iliteral) ISymbol (class in curry.icurry.types.isymbol) items (curry.typecheck.builder.Group attribute) (curry.typecheck.builder.Wrap attribute) (curry.typecheck.engine.List attribute) (curry.typecheck.engine.Tuple attribute) items() (curry.icurry.types.imodule.OrderedDict method) (curry.objects.handle.Handle method) Iter (class in curry.typecheck.engine) iterations_in_D (curry.backends.generic.eval.telemetry.TelemetryData property) iterations_in_hnf (curry.backends.generic.eval.telemetry.TelemetryData property) iterexpr() (in module curry.backends.py.graph) (in module curry.backends.py.graph.walkexpr) iteritems() (curry.objects.handle.Handle method) iterkeys() (curry.objects.handle.Handle method) itermodules() (curry.objects.handle.Handle method) itervalues() (curry.objects.handle.Handle method) IType (in module curry.icurry.types.itype) IUnboxedLiteral (class in curry.icurry.types.iliteral) IVar (class in curry.icurry.types.iexpression) (class in curry.toolchain.flat2icurry.icurrytypes) IVarAccess (class in curry.icurry.types.iexpression) (class in curry.toolchain.flat2icurry.icurrytypes) IVarAssign (class in curry.icurry.types.istatement) (class in curry.toolchain.flat2icurry.icurrytypes) IVarDecl (class in curry.icurry.types.istatement) (class in curry.toolchain.flat2icurry.icurrytypes) IVarIndex (in module curry.icurry.types.iobject) IVisibility (class in curry.icurry.types.ifunction) (class in curry.toolchain.flat2icurry.icurrytypes)

J

joinpath() (in module curry.backends.py.graph.utility) Json2Cpp (class in curry.backends.cxx.toolchain) Json2Py (class in curry.backends.py.toolchain)

Json2TargetSource (class in curry.backends.generic.toolchain) jsonfilenames() (in module curry.toolchain) justify() (curry.backends.generic.renderer.SourceRenderer method)

K

KArrow (class in curry.toolchain.flat2icurry.flatcurry) KEY_MAP (curry.icurry.json.Encoder attribute) keys() (curry.icurry.types.imodule.OrderedDict method) (curry.objects.handle.Handle method)

Kind (class in curry.toolchain.flat2icurry.flatcurry) kind (curry.typecheck.builder.Wrap attribute) (curry.typecheck.terms.Var attribute) KindError Known (class in curry.typecheck.engine)

L

leaf() (curry.typecheck.terms.Naming method) leave_scheduler() (curry.backends.py.eval.checker.Checker method) Let (class in curry.toolchain.flat2icurry.flatcurry) lhs (curry.icurry.types.istatement.IFreeDecl property) (curry.icurry.types.istatement.INodeAssign property) (curry.icurry.types.istatement.IVarAssign property) (curry.icurry.types.istatement.IVarDecl property) (curry.toolchain.flat2icurry.flatcurry.Or property) (curry.toolchain.flat2icurry.icurrytypes.IOr property) lift_constraint() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_constraints) lift_prog() (in module curry.toolchain.flat2icurry.caselifting) lift_type() (in module curry.toolchain.flat2icurry.setlift) lifted_functions() (in module curry.toolchain.flat2icurry.setlift) lifted_goal() (in module curry.typecheck.goals) LiftedGoal (class in curry.typecheck.goals) limit (curry.backends.generic.eval.stepcounter.StepCounter property) List (class in curry.typecheck.engine) ListStringifier (class in curry.show) Lit (class in curry.toolchain.flat2icurry.flatcurry) (class in curry.typecheck.engine) Literal (class in curry.toolchain.flat2icurry.flatcurry) literal (curry.toolchain.flat2icurry.flatcurry.Lit property) (curry.toolchain.flat2icurry.flatcurry.LPattern property) (curry.toolchain.flat2icurry.icurrytypes.ILit property) (curry.toolchain.flat2icurry.icurrytypes.ILitBranch property) literal_dictionary() (curry.typecheck.engine.Problem method) literal_type() (curry.typecheck.engine.Problem method) LitNormalStringifier (class in curry.show) LitUnboxedStringifier (class in curry.show) load() (curry.interpreter.Interpreter method) (curry.typecheck.Interface class method) (curry.typecheck.sigtable.Interface class method) (in module curry) (in module curry.icurry.json) (in module curry.icurry.readcurry) (in module curry.interpreter.loadsave) (in module curry.toolchain.flat2icurry.flatcurry) (in module curry.tools.icy.commands)

load_flatcurry() (in module curry.toolchain.flat2icurry) load_interface() (in module curry.toolchain.flat2icurry) (in module curry.toolchain.flat2icurry.interfaces) load_module (curry.backends.cxx.interface.IBackend property) (curry.backends.IBackend property) (curry.backends.py.interface.IBackend property) load_module() (in module curry.backends.cxx.loader) (in module curry.backends.py.loader) loadcurry() (in module curry.toolchain) loadjson() (in module curry.toolchain) loads() (in module curry.icurry.json) (in module curry.icurry.readcurry) loadSymbols() (in module curry.interpreter.import_.load) location() (curry.typecheck.engine.Problem method) log_file_name() (in module curry.config) log_level() (in module curry.config) log_level_map() (in module curry.config) log_level_names() (in module curry.config) logging_enabled_for() (in module curry.config) logical_subexpr() (in module curry.backends.py.graph.indexing) logically_equal() (in module curry.backends.py.graph.equality) lookup() (curry.typecheck.SignatureTable method) (curry.typecheck.sigtable.SignatureTable method) lookup_builtin_module() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) (curry.backends.py.interface.IBackend method) lookup_constructor() (in module curry.icurry.analysis) (in module curry.icurry.analysis.partials) lookup_function() (in module curry.icurry.analysis) (in module curry.icurry.analysis.aliases) lookup_module() (in module curry.icurry.analysis) (in module curry.icurry.analysis.inlining) lookup_symbol() (in module curry.icurry.analysis) (in module curry.icurry.analysis.partials) LPattern (class in curry.toolchain.flat2icurry.flatcurry) lub() (in module curry.toolchain.flat2icurry.bindingopt)

M

main() (in module curry.toolchain.flat2icurry.rewrite) (in module curry.tools.make) make_defined() (curry.backends.generic.compiler.SymbolTable method) make_exception() (in module curry.tools.utility) make_goal() (in module curry.typecheck.goals) make_node (curry.backends.cxx.interface.IBackend property) (curry.backends.IBackend property) (curry.backends.py.interface.IBackend property) make_node() (in module curry.backends.cxx.cyrtbindings) make_value() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) make_value_bindings() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_bindings) makecurry() (in module curry.toolchain) makeCurryPath() (in module curry.utility.curryname) makeNewfile() (in module curry.utility.filesys) makeplan() (in module curry.toolchain.plans) mangle() (in module curry.backends.generic.compiler) materialize (curry.backends.cxx.interface.IBackend property) (curry.backends.IBackend property) (curry.backends.py.interface.IBackend property) materialize() (curry.backends.cxx.materialize.Materializer method) (curry.backends.py.materialize.Materializer method) (curry.backends.py.materialize.Trampoline method) (curry.typecheck.builder.TypedBuilder method) (in module curry.backends.cxx.materialize) (in module curry.backends.py.materialize) (in module curry.typecheck.engine) materializeEx() (curry.backends.cxx.materialize.Materializer method) (curry.backends.py.materialize.Materializer method) Materializer (class in curry.backends.cxx.materialize) (class in curry.backends.py.materialize) materializeStepfunc() (in module curry.backends.py.materialize) maxrecursion() (in module curry.utility) merge() (in module curry.icurry.metadata) merge_counters() (in module curry.backends.generic.eval.evaluator) merge_guard() (curry.backends.py.eval.checker.Checker method) mergebuiltins() (in module curry.toolchain) mergemodule() (in module curry.toolchain) metadata (curry.icurry.types.iobject.IObject property) minusInt() (in module curry.backends.py.currylib.prelude.math) MismatchError missing (curry.toolchain.flat2icurry.flatcurry.ConsPartCall property) (curry.toolchain.flat2icurry.flatcurry.FuncPartCall property) (curry.toolchain.flat2icurry.icurrytypes.ICPCall property) (curry.toolchain.flat2icurry.icurrytypes.IFPCall property) modInt() (in module curry.backends.py.currylib.prelude.math) module curry curry.backends curry.backends.cxx curry.backends.cxx.bytecode curry.backends.cxx.compiler curry.backends.cxx.cyrtbindings curry.backends.cxx.cyrtbindings.fingerprint curry.backends.cxx.elf curry.backends.cxx.fundamental_symbols curry.backends.cxx.implementation curry.backends.cxx.interface curry.backends.cxx.loader curry.backends.cxx.materialize curry.backends.cxx.passthrough curry.backends.cxx.tiered curry.backends.cxx.toolchain curry.backends.generic curry.backends.generic.compiler curry.backends.generic.currylib curry.backends.generic.currylib.prelude curry.backends.generic.currylib.setfunctions curry.backends.generic.eval curry.backends.generic.eval.control curry.backends.generic.eval.evaluator curry.backends.generic.eval.stepcounter curry.backends.generic.eval.telemetry curry.backends.generic.eval.trace curry.backends.generic.renderer curry.backends.generic.toolchain curry.backends.py curry.backends.py.compiler curry.backends.py.currylib curry.backends.py.currylib.fundamental curry.backends.py.currylib.prelude curry.backends.py.currylib.prelude.apply curry.backends.py.currylib.prelude.basic curry.backends.py.currylib.prelude.constr curry.backends.py.currylib.prelude.io curry.backends.py.currylib.prelude.math curry.backends.py.currylib.prelude.prelude curry.backends.py.currylib.prelude.read curry.backends.py.currylib.prelude.show curry.backends.py.currylib.prelude.string curry.backends.py.currylib.setfunctions curry.backends.py.eval curry.backends.py.eval.callstack curry.backends.py.eval.checker curry.backends.py.eval.configuration curry.backends.py.eval.fairscheme curry.backends.py.eval.queue curry.backends.py.eval.rts curry.backends.py.eval.rts_bindings curry.backends.py.eval.rts_constraints curry.backends.py.eval.rts_control curry.backends.py.eval.rts_fingerprint curry.backends.py.eval.rts_freevars curry.backends.py.eval.rts_setfunctions curry.backends.py.graph curry.backends.py.graph.copy curry.backends.py.graph.equality curry.backends.py.graph.indexing curry.backends.py.graph.infotable curry.backends.py.graph.node curry.backends.py.graph.utility curry.backends.py.graph.variable curry.backends.py.graph.walkexpr curry.backends.py.interface curry.backends.py.loader curry.backends.py.materialize curry.backends.py.toolchain curry.cache curry.common curry.config curry.exceptions curry.expressions curry.icurry curry.icurry.analysis curry.icurry.analysis.aliases curry.icurry.analysis.inlining curry.icurry.analysis.monadic curry.icurry.analysis.partials curry.icurry.analysis.strings curry.icurry.analysis.variables curry.icurry.json curry.icurry.metadata curry.icurry.readcurry curry.icurry.types curry.icurry.types.iexpression curry.icurry.types.ifunction curry.icurry.types.iliteral curry.icurry.types.imodule curry.icurry.types.iobject curry.icurry.types.istatement curry.icurry.types.isymbol curry.icurry.types.itype curry.icurry.visit curry.inspect curry.interpreter curry.interpreter.compile curry.interpreter.conversions curry.interpreter.eval curry.interpreter.flags curry.interpreter.import_ curry.interpreter.import_.load curry.interpreter.loadsave curry.interpreter.optimize curry.interpreter.stats curry.lib curry.objects curry.objects.handle curry.show curry.toolchain curry.toolchain.flat2icurry curry.toolchain.flat2icurry.bindingopt curry.toolchain.flat2icurry.casecompletion curry.toolchain.flat2icurry.caselifting curry.toolchain.flat2icurry.compiler curry.toolchain.flat2icurry.elimnewtype curry.toolchain.flat2icurry.errors curry.toolchain.flat2icurry.flatcurry curry.toolchain.flat2icurry.icurrytypes curry.toolchain.flat2icurry.interfaces curry.toolchain.flat2icurry.rewrite curry.toolchain.flat2icurry.setlift curry.toolchain.flat2icurry.terms curry.toolchain.plans curry.tools curry.tools.icy curry.tools.icy.commands curry.tools.icy.options curry.tools.icy.repl curry.tools.icy.resolve curry.tools.make curry.tools.utility curry.typecheck curry.typecheck.builder curry.typecheck.defaulting curry.typecheck.engine curry.typecheck.errors curry.typecheck.exprtype curry.typecheck.goals curry.typecheck.instances curry.typecheck.serialize curry.typecheck.sigtable curry.typecheck.terms curry.typecheck.unify curry.utility curry.utility.binding curry.utility.breakpoint curry.utility.curryname curry.utility.encoding curry.utility.filesys curry.utility.fmap curry.utility.formatting curry.utility.proptree curry.utility.readcurry curry.utility.readcurry.compare_ curry.utility.readcurry.lex curry.utility.readcurry.parse_ curry.utility.readcurry.show_ curry.utility.readcurry.types curry.utility.shared curry.utility.showflags curry.utility.strings curry.utility.textcolor curry.utility.timer curry.utility.trampoline curry.utility.unionfind curry.utility.visitation

module (curry.objects.CurryNodeInfo property) module() (curry.interpreter.Interpreter method) (in module curry) module_loaded() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) (in module curry.backends.cxx.materialize) (in module curry.backends.cxx.tiered) module_of_soname() (in module curry.backends.cxx.toolchain) MODULE_PAT (curry.backends.cxx.toolchain.Cpp2So attribute) module_root() (in module curry.toolchain.flat2icurry) (in module curry.toolchain.flat2icurry.interfaces) (in module curry.typecheck.sigtable) module_unlinked() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) ModuleLookupError modulename (curry.icurry.types.iliteral.IChar property) (curry.icurry.types.iliteral.IFloat property) (curry.icurry.types.iliteral.IInt property) (curry.icurry.types.iliteral.IString property) (curry.icurry.types.isymbol.IContainer property) (curry.icurry.types.isymbol.ISymbol property) (curry.typecheck.exprtype.Synonym attribute) (curry.typecheck.Instance attribute) (curry.typecheck.Scheme attribute) (curry.typecheck.sigtable.Instance attribute) (curry.typecheck.sigtable.Scheme attribute) modules (curry.interpreter.Interpreter property) (in module curry) modules() (curry.typecheck.SignatureTable method) (curry.typecheck.sigtable.SignatureTable method) ModuleSpecification (class in curry.backends.generic.currylib) MonadError move_to_end() (curry.icurry.types.imodule.OrderedDict method)

N

name (curry.backends.cxx.materialize.Pending property) NAME (curry.backends.cxx.toolchain.Json2Cpp attribute) (curry.backends.generic.currylib.prelude.PreludeSpecification attribute) (curry.backends.generic.currylib.setfunctions.SetFunctionsSpecification attribute) (curry.backends.py.toolchain.Json2Py attribute) name (curry.icurry.types.isymbol.IContainer property) (curry.icurry.types.isymbol.ISymbol property) (curry.objects.CurryDataType property) (curry.objects.CurryNodeInfo property) (curry.objects.handle.Handle property) (curry.toolchain.flat2icurry.flatcurry.Comb property) (curry.toolchain.flat2icurry.flatcurry.Cons property) (curry.toolchain.flat2icurry.flatcurry.External property) (curry.toolchain.flat2icurry.flatcurry.Func property) (curry.toolchain.flat2icurry.flatcurry.NewCons property) (curry.toolchain.flat2icurry.flatcurry.Op property) (curry.toolchain.flat2icurry.flatcurry.Pattern property) (curry.toolchain.flat2icurry.flatcurry.Prog property) (curry.toolchain.flat2icurry.flatcurry.TCons property) (curry.toolchain.flat2icurry.flatcurry.Type property) (curry.toolchain.flat2icurry.flatcurry.TypeNew property) (curry.toolchain.flat2icurry.flatcurry.TypeSyn property) (curry.toolchain.flat2icurry.icurrytypes.ICCall property) (curry.toolchain.flat2icurry.icurrytypes.IConsBranch property) (curry.toolchain.flat2icurry.icurrytypes.ICPCall property) (curry.toolchain.flat2icurry.icurrytypes.IDataType property) (curry.toolchain.flat2icurry.icurrytypes.IExternal property) (curry.toolchain.flat2icurry.icurrytypes.IFCall property) (curry.toolchain.flat2icurry.icurrytypes.IFPCall property) (curry.toolchain.flat2icurry.icurrytypes.IFunction property) (curry.toolchain.flat2icurry.icurrytypes.IProg property) (curry.typecheck.exprtype.Synonym attribute) (curry.typecheck.Instance attribute) (curry.typecheck.Scheme attribute) (curry.typecheck.sigtable.Instance attribute) (curry.typecheck.sigtable.Scheme attribute) (curry.typecheck.terms.Rigid attribute)

NameMaps (class in curry.toolchain.flat2icurry.compiler) names() (curry.tools.icy.options.Options class method) Naming (class in curry.typecheck.terms) ndicts (curry.typecheck.Scheme attribute) (curry.typecheck.sigtable.Scheme attribute) needed_modules() (in module curry.backends.cxx.loader) new_node() (in module curry.backends.py.graph.node) NewCons (class in curry.toolchain.flat2icurry.flatcurry) newer() (in module curry.utility.filesys) newtypes_of() (in module curry.toolchain.flat2icurry.elimnewtype) next_cid (curry.backends.generic.eval.telemetry.TelemetryData property) next_private_symbolname() (curry.backends.generic.compiler.CompilerBase method) next_sid (curry.backends.generic.eval.telemetry.TelemetryData property) nil (in module curry) (in module curry.expressions) Node (class in curry.backends) (class in curry.backends.py.graph) (class in curry.backends.py.graph.node) node_count() (in module curry.icurry.analysis) (in module curry.icurry.analysis.inlining) NoInstance NoInstanceError NondetMonadError nonstrict_eq() (in module curry.backends.py.currylib.prelude.constr) NonStrictConstraint (curry.backends.py.eval.rts.RuntimeState attribute) normalize() (in module curry.typecheck.defaulting) not_used() (in module curry.backends.py.currylib.prelude.basic) NotConstructorError nullary_body() (in module curry.icurry.analysis) (in module curry.icurry.analysis.partials) num_collections() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) num_values (curry.backends.generic.eval.telemetry.TelemetryData property) number_of_queues (curry.backends.generic.eval.telemetry.TelemetryData property) NumberToken (class in curry.utility.readcurry.lex)

O

obj_id() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_fingerprint) object_digest() (in module curry.backends.cxx.toolchain) object_file_extension (curry.backends.cxx.interface.IBackend property) (curry.backends.IBackend property) (curry.backends.py.interface.IBackend property) occurs() (in module curry.backends.py.eval.rts_constraints) (in module curry.typecheck.terms) OccursError on() (curry.utility.visitation.dispatch static method) Op (class in curry.toolchain.flat2icurry.flatcurry) operators (curry.toolchain.flat2icurry.flatcurry.Prog property) OperatorToken (class in curry.utility.readcurry.lex) optimize() (curry.interpreter.Interpreter method) (in module curry.interpreter.optimize) optimize_bindings() (in module curry.toolchain.flat2icurry) (in module curry.toolchain.flat2icurry.bindingopt)

optimize_file() (in module curry.toolchain.flat2icurry) (in module curry.toolchain.flat2icurry.bindingopt) (in module curry.toolchain.flat2icurry.setlift) optimize_set0() (in module curry.toolchain.flat2icurry) (in module curry.toolchain.flat2icurry.setlift) Options (class in curry.tools.icy.options) OPTIONS (curry.tools.icy.options.Options attribute) OptionSpec (class in curry.tools.icy.options) Or (class in curry.toolchain.flat2icurry.flatcurry) OrderedDict (class in curry.icurry.types.imodule) ordering (curry.utility.visitation.Visitable property) overflow() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) owns_decision() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions)

P

P_GET_COUNT (curry.backends.generic.eval.telemetry.TelemetryData attribute) package() (curry.objects.handle.Handle method) packagename (curry.icurry.types.isymbol.ISymbol property) packagename() (curry.objects.handle.Handle method) param_roots (curry.typecheck.engine.App attribute) parameters() (curry.typecheck.serialize.Serialized method) params (curry.typecheck.engine.App attribute) (curry.typecheck.exprtype.Synonym attribute) parent (curry.typecheck.engine.Spec attribute) (curry.typecheck.instances.Pred attribute) parse() (curry.utility.readcurry.parse_.Parser method) (in module curry.utility.readcurry.parse_) parse_rotation() (in module curry.interpreter.flags) parse_term() (in module curry.typecheck.exprtype) parse_type() (in module curry.typecheck.exprtype) ParsedJsonCache (class in curry.cache) ParsedJsonCache.Slot (class in curry.cache) Parser (class in curry.utility.readcurry.parse_) PartApplic (curry.backends.py.eval.rts.RuntimeState attribute) partial_head() (in module curry.icurry.analysis) (in module curry.icurry.analysis.partials) path (curry.interpreter.Interpreter property) (curry.toolchain.flat2icurry.icurrytypes.INodeAssign property) (curry.toolchain.flat2icurry.icurrytypes.IVarAccess property) (in module curry) Pattern (class in curry.toolchain.flat2icurry.flatcurry) pattern (curry.toolchain.flat2icurry.flatcurry.Branch property) PatternDecl (class in curry.toolchain.flat2icurry.flatcurry) payload (curry.typecheck.engine.Spec attribute) pdbtrace() (in module curry.utility.breakpoint) peak_rss() (in module curry.interpreter.stats) Pending (class in curry.backends.cxx.materialize) pending() (in module curry.backends.cxx.tiered) placeholder() (curry.typecheck.engine.Problem method) plain_variables() (in module curry.backends.cxx.passthrough) PlainFreeVarsStringifier (class in curry.show) Plan (class in curry.toolchain.plans) plusInt() (in module curry.backends.py.currylib.prelude.math) poll() (in module curry.backends.cxx.tiered) pop() (curry.backends.py.eval.callstack.CallStack method) (curry.icurry.types.imodule.OrderedDict method) pop_queue() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) pop_subexpr() (curry.show.Stringifier method) popitem() (curry.icurry.types.imodule.OrderedDict method) pos_of_cons() (curry.toolchain.flat2icurry.compiler.NameMaps method) pos_of_fun() (curry.toolchain.flat2icurry.compiler.NameMaps method) position() (curry.backends.generic.eval.trace.Trace method) (curry.toolchain.plans.Plan method) (in module curry.backends.generic.eval.trace) precedence (curry.toolchain.flat2icurry.flatcurry.Op property) PrecompiledHeader (class in curry.backends.cxx.toolchain)

Pred (class in curry.typecheck.instances) pred (curry.typecheck.engine.Lit attribute) Predicate (class in curry.typecheck) (class in curry.typecheck.sigtable) preds (curry.typecheck.engine.App attribute) (curry.typecheck.terms.Var attribute) prefix() (in module curry.config) prefixes() (in module curry.utility.curryname) prelude (curry.interpreter.Interpreter property) prelude() (in module curry.toolchain.flat2icurry.flatcurry) PreludeSpecification (class in curry.backends.generic.currylib.prelude) (class in curry.backends.py.currylib.prelude) prepare() (curry.backends.cxx.toolchain.PrecompiledHeader method) prepare_header() (curry.backends.cxx.toolchain.Cpp2So method) PrerequisiteError prettylist() (curry.backends.generic.renderer.SourceRenderer method) prim_divFloat() (in module curry.backends.py.currylib.prelude.math) prim_minusFloat() (in module curry.backends.py.currylib.prelude.math) prim_roundFloat() (in module curry.backends.py.currylib.prelude.math) prim_truncateFloat() (in module curry.backends.py.currylib.prelude.math) primitive (curry.typecheck.builder.Unboxed attribute) Private (class in curry.icurry.types.ifunction) Problem (class in curry.typecheck.engine) process_file() (in module curry.backends.cxx.materialize) product_cache_dir() (in module curry.config) product_facts() (curry.backends.cxx.toolchain.Cpp2So method) product_file() (in module curry.backends.cxx.materialize) product_key() (curry.backends.cxx.toolchain.Cpp2So method) product_path() (in module curry.toolchain.flat2icurry) (in module curry.toolchain.flat2icurry.interfaces) PRODUCT_SUFFIXES (curry.backends.cxx.toolchain.Cpp2So attribute) Prog (class in curry.toolchain.flat2icurry.flatcurry) proptree() (in module curry.utility.proptree) prune() (in module curry.typecheck.terms) prune_stale() (curry.toolchain.plans.Plan method) Public (class in curry.icurry.types.ifunction) public_symbols (curry.objects.handle.Handle property) pull_tab() (curry.backends.py.eval.rts.RuntimeState method) pull_tab_steps (curry.backends.generic.eval.telemetry.TelemetryData property) pulltab() (curry.backends.py.eval.checker.Checker method) pulltab_done() (curry.backends.py.eval.checker.Checker method) purge() (curry.typecheck.Interface class method) (curry.typecheck.sigtable.Interface class method) push() (curry.backends.py.eval.callstack.CallStack method) push_queue() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) push_subexpr() (curry.show.Stringifier method) put() (curry.typecheck.builder.TypeRecord method) putChar() (in module curry.backends.py.currylib.prelude.io) PySourceRenderer (class in curry.backends.generic.renderer) pystring() (in module curry.backends.py.currylib.prelude.string) python_exe() (in module curry.config)

Q

Q (curry.backends.py.eval.rts.RuntimeState property) qid (curry.backends.py.eval.rts.RuntimeState property) qid() (in module curry.backends.py.eval.rts_setfunctions) Queue (class in curry.backends.py.eval.queue)

queue_scope() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) queue_stack_depth (curry.backends.generic.eval.telemetry.TelemetryData property) quotInt() (in module curry.backends.py.currylib.prelude.math)

R

raise_deferred_error() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) range (curry.toolchain.flat2icurry.flatcurry.FuncType property) (curry.toolchain.flat2icurry.flatcurry.KArrow property) Raw (class in curry.typecheck.builder) raw (curry.typecheck.builder.TypedBuilder property) (curry.typecheck.goals.Bindings attribute) raw_build() (curry.typecheck.builder.TypedBuilder method) raw_expr() (curry.interpreter.Interpreter method) (in module curry) (in module curry.expressions) read (curry.utility.shared.Shared property) read() (curry.tools.icy.repl.REPL method) (in module curry.toolchain.flat2icurry.flatcurry) read_dynamic() (in module curry.backends.cxx.elf) read_flatcurry() (in module curry.toolchain.flat2icurry) read_fp() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_fingerprint) read_stamp() (curry.backends.cxx.toolchain.Cpp2So class method) read_stamp_lines() (curry.backends.cxx.toolchain.Cpp2So class method) readCharLiteral() (in module curry.backends.py.currylib.prelude.read) readFile() (in module curry.backends.py.currylib.prelude.io) readFloatLiteral() (in module curry.backends.py.currylib.prelude.read) readNatLiteral() (in module curry.backends.py.currylib.prelude.read) readStringLiteral() (in module curry.backends.py.currylib.prelude.read) ready() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) realpath (curry.backends.py.eval.callstack.StackFrame property) (curry.backends.py.eval.configuration.Configuration property) (curry.backends.py.graph.variable.Variable attribute) realpath() (curry.backends.py.eval.callstack.CallStack method) (in module curry.backends.py.graph.indexing) record_failure() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) record_of() (in module curry.typecheck.builder) record_source() (in module curry.interpreter.import_) recordable() (in module curry.icurry.analysis) (in module curry.icurry.analysis.inlining) recorded() (in module curry.typecheck.builder) recorded_functions() (in module curry.icurry.analysis) (in module curry.icurry.analysis.inlining) recursive_functions() (in module curry.icurry.analysis) (in module curry.icurry.analysis.inlining) reduce() (curry.typecheck.instances.InstanceEnv method) ref (class in curry) (class in curry.expressions) Ref (class in curry.typecheck.builder) refcnt (curry.utility.shared.Shared property) register_freevar() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_freevars) register_freevars() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_freevars) register_lifted() (in module curry.typecheck.goals) release_value() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) reload() (in module curry) remInt() (in module curry.backends.py.currylib.prelude.math) remove_file_on_error() (in module curry.utility.filesys) remove_stale_members() (curry.backends.cxx.toolchain.PrecompiledHeader method) remove_stamp() (curry.backends.cxx.toolchain.Cpp2So class method) removeSuffix() (in module curry.utility.curryname)

rename_in_message() (in module curry.cache) rename_module() (in module curry.cache) renderLines() (curry.backends.generic.renderer.SourceRenderer method) RepeatingTimer (class in curry.utility.timer) REPL (class in curry.tools.icy.repl) replace() (curry.toolchain.flat2icurry.terms.Term method) (in module curry.icurry.visit) replace_target() (curry.backends.py.graph.variable.Variable method) report() (curry.backends.generic.eval.telemetry.TelemetryData method) report_telemetry() (in module curry.backends.generic.eval.telemetry) required_argument_values() (in module curry.toolchain.flat2icurry.bindingopt) reset() (curry.backends.generic.eval.stepcounter.StepCounter method) (curry.interpreter.Interpreter method) (in module curry) (in module curry.cache) reset_global() (curry.backends.cxx.cyrtbindings.StepCounter method) (curry.backends.generic.eval.stepcounter.StepCounter method) resolve() (in module curry.tools.icy.resolve) resolve_alias() (in module curry.icurry.analysis) (in module curry.icurry.analysis.aliases) restart() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) restore() (curry.backends.cxx.toolchain.Cpp2So method) (curry.toolchain.plans.Plan method) result_type() (in module curry.expressions) (in module curry.typecheck.builder) returnIO() (in module curry.backends.py.currylib.prelude.io) rewrite() (curry.backends.py.graph.Node method) (curry.backends.py.graph.node.Node method) (curry.backends.py.graph.variable.Variable method) (curry.icurry.analysis.Inliner method) (curry.icurry.analysis.inlining.Inliner method) (in module curry.backends.py.graph.utility) rewrite_file() (in module curry.toolchain.flat2icurry) rewrite_prog() (in module curry.toolchain.flat2icurry) rewrite_steps (curry.backends.generic.eval.telemetry.TelemetryData property) rhs (curry.icurry.types.istatement.INodeAssign property) (curry.icurry.types.istatement.IVarAssign property) (curry.toolchain.flat2icurry.flatcurry.Or property) (curry.toolchain.flat2icurry.icurrytypes.IOr property) Rigid (class in curry.typecheck.terms) root (curry.backends.py.graph.variable.Variable attribute) root() (curry.typecheck.instances.Pred method) (curry.utility.unionfind.UnionFind method) root_isa_module (curry.backends.generic.compiler.CompilerBase property) rotate() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) route_version() (in module curry.cache) rts (curry.backends.py.graph.variable.Variable attribute) Rule (class in curry.toolchain.flat2icurry.flatcurry) rule (curry.toolchain.flat2icurry.flatcurry.Func property) RuleDecl (class in curry.toolchain.flat2icurry.flatcurry) rules() (curry.icurry.analysis.Inliner method) (curry.icurry.analysis.inlining.Inliner method) run() (curry.typecheck.builder.TypedBuilder method) runtime_digest() (in module curry.backends.cxx.toolchain) runtime_headers() (in module curry.backends.cxx.toolchain) RuntimeFlowException RuntimeState (class in curry.backends.cxx.cyrtbindings) (class in curry.backends.py.eval.rts) RuntimeState.SetFunctionEval (class in curry.backends.py.eval.rts) rvalue (curry.backends.py.graph.variable.Variable property)

S

S (curry.backends.py.eval.rts.RuntimeState property) saturate() (in module curry.icurry.analysis) (in module curry.icurry.analysis.partials) saturate_applies() (in module curry.interpreter.optimize) save() (curry.interpreter.Interpreter method) (in module curry) (in module curry.interpreter.loadsave) scheduler (curry.backends.generic.eval.evaluator.EvaluationTotals property) scheduler_counters() (curry.backends.py.eval.rts.RuntimeState method) scheduler_counters_enabled() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) scheduler_fields() (in module curry.interpreter.stats) Scheme (class in curry.typecheck) (class in curry.typecheck.sigtable) scheme (curry.objects.CurryNodeInfo property) (curry.typecheck.defaulting.Defaulting attribute) (curry.typecheck.engine.App attribute) (curry.typecheck.goals.Goal attribute) (curry.typecheck.goals.LiftedGoal attribute) (curry.typecheck.Instance attribute) (curry.typecheck.sigtable.Instance attribute) scheme() (curry.typecheck.Interface method) (curry.typecheck.sigtable.Interface method) scheme_from_flat_text() (in module curry.typecheck.goals) scrutinee (curry.toolchain.flat2icurry.flatcurry.Case property) SECTIONS (curry.backends.generic.compiler.TargetObject attribute) select() (curry.cache.ParsedJsonCache static method) seqIO() (in module curry.backends.py.currylib.prelude.io) serialize() (in module curry.typecheck.serialize) serialize_call() (in module curry.typecheck.serialize) serialize_description() (in module curry.typecheck.serialize) Serialized (class in curry.typecheck.serialize) SerializeError set0_call() (in module curry.toolchain.flat2icurry.setlift) set_() (in module curry.backends.py.currylib.setfunctions) set_backend() (in module curry.tools.icy.options) set_from() (curry.backends.py.eval.callstack.StackFrame method) set_global_step_limit() (curry.backends.generic.eval.evaluator.Evaluator method) set_goal() (curry.backends.py.eval.rts.RuntimeState method) set_monadic_metadata() (in module curry.icurry.analysis) (in module curry.icurry.analysis.monadic) set_successor() (curry.backends.py.graph.Node method) (curry.backends.py.graph.node.Node method) setdefault() (curry.icurry.types.imodule.OrderedDict method) SetFunctionEval (class in curry.backends.py.eval.rts_setfunctions) setfunctions (curry.backends.py.eval.rts.RuntimeState property) (curry.interpreter.Interpreter property) SetFunctionsSpecification (class in curry.backends.generic.currylib.setfunctions) (class in curry.backends.py.currylib.setfunctions) SetGuard (curry.backends.py.eval.rts.RuntimeState attribute) setN() (in module curry.backends.py.currylib.setfunctions) setter (curry.tools.icy.options.OptionSpec property) sftable_size (curry.backends.generic.eval.telemetry.TelemetryData property) shallow_copy() (in module curry.backends.py.graph.utility) share() (curry.backends.py.eval.configuration.Configuration method) Shared (class in curry.utility.shared) short_location() (curry.typecheck.engine.Problem method) shortname (curry.typecheck.instances.Pred property) show() (curry.backends.generic.eval.telemetry.TelemetryData method) (curry.typecheck.engine.Problem method) (curry.typecheck.terms.Naming method) (in module curry.backends.py.currylib.prelude.show) (in module curry.show) (in module curry.toolchain.flat2icurry.flatcurry) (in module curry.utility.readcurry.show_) show_char() (in module curry.toolchain.flat2icurry.terms) show_flatcurry() (in module curry.toolchain.flat2icurry) show_float() (in module curry.show) (in module curry.toolchain.flat2icurry.terms) show_haskell_char() (in module curry.toolchain.flat2icurry.terms) show_haskell_float() (in module curry.toolchain.flat2icurry.terms) show_haskell_string() (in module curry.toolchain.flat2icurry.terms) show_lit_char() (in module curry.toolchain.flat2icurry.terms) show_predicate() (in module curry.typecheck) (in module curry.typecheck.sigtable) show_queue() (in module curry.backends.generic.eval.trace) show_scheme() (in module curry.typecheck) (in module curry.typecheck.sigtable) show_string() (in module curry.toolchain.flat2icurry.terms) show_term_char() (in module curry.toolchain.flat2icurry.terms) show_type() (curry.typecheck.defaulting.Defaulting method) (in module curry.typecheck) (in module curry.typecheck.sigtable) show_type_of() (curry.typecheck.engine.Problem method) show_value() (in module curry) showflags() (in module curry.utility.showflags) showhaskell() (in module curry.toolchain.flat2icurry) (in module curry.toolchain.flat2icurry.terms) showterm() (in module curry.toolchain.flat2icurry) (in module curry.toolchain.flat2icurry.terms) ShSourceRenderer (class in curry.backends.generic.renderer) sid (curry.backends.py.eval.rts.RuntimeState property) sid() (in module curry.backends.py.eval.rts_setfunctions) signature (curry.objects.CurryNodeInfo property) (curry.typecheck.engine.Problem property) SignatureTable (class in curry.typecheck) (class in curry.typecheck.sigtable) sigtable (curry.interpreter.Interpreter property) simplify() (curry.typecheck.instances.InstanceEnv method) single_step() (curry.backends.cxx.cyrtbindings.RuntimeState method) (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.generic.eval.evaluator)

Skipper (class in curry.backends.py.graph.copy) slot_write() (curry.backends.py.eval.checker.Checker method) sofilename (curry.objects.handle.Handle property) solve() (curry.typecheck.engine.Problem method) soname() (in module curry.backends.cxx.toolchain) source (curry.typecheck.terms.Rigid attribute) source_arity (curry.typecheck.Scheme property) (curry.typecheck.sigtable.Scheme property) source_file() (in module curry.backends.cxx.loader) source_is_stale() (in module curry.backends.cxx.toolchain) (in module curry.backends.py.toolchain) source_mtime (curry.objects.handle.Handle property) SOURCE_NAME (curry.backends.generic.renderer.CxxSourceRenderer attribute) (curry.backends.generic.renderer.PySourceRenderer attribute) (curry.backends.generic.renderer.ShSourceRenderer attribute) SourceRenderer (class in curry.backends.generic.renderer) Spec (class in curry.typecheck.engine) spec (curry.typecheck.engine.Typed attribute) (curry.typecheck.instances.Pred attribute) spec_of() (curry.typecheck.builder.TypedBuilder method) (in module curry.typecheck.engine) specs() (curry.typecheck.builder.TypedBuilder method) split_queue() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) split_tuple_text() (in module curry.typecheck.goals) split_where_free() (in module curry.typecheck.goals) splitname() (curry.icurry.types.isymbol.ISymbol method) sprite_exec() (in module curry.config) StackFrame (class in curry.backends.py.eval.callstack) Stage (class in curry.toolchain.plans) stamp_is_current() (curry.backends.cxx.toolchain.Cpp2So method) STAMP_SUFFIX (curry.backends.cxx.toolchain.Cpp2So attribute) stampfile() (curry.backends.cxx.toolchain.Cpp2So class method) start() (curry.utility.timer.RepeatingTimer method) state() (curry.tools.icy.options.Options method) statement (curry.toolchain.flat2icurry.icurrytypes.IBlock property) Stats (class in curry.interpreter.stats) stats (curry.cache.Curry2ICurryCache attribute) stats() (curry.interpreter.Interpreter method) (in module curry) (in module curry.interpreter.stats) status() (in module curry.backends.cxx.tiered) step (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) (curry.toolchain.plans.Stage attribute) step() (curry.backends.py.eval.checker.Checker method) StepCounter (class in curry.backends.cxx.cyrtbindings) (class in curry.backends.generic.eval.stepcounter) stepcounter (curry.backends.cxx.cyrtbindings.RuntimeState property) steps (curry.backends.generic.eval.evaluator.EvaluationTotals property) steps_total (curry.backends.py.eval.rts.RuntimeState property) store() (curry.backends.cxx.toolchain.Cpp2So method) StrictConstraint (curry.backends.py.eval.rts.RuntimeState attribute) String (class in curry.utility.readcurry.types) string_node() (curry.typecheck.builder.TypedBuilder method) Stringifier (class in curry.show) stringify() (curry.show.Stringifier method) StringToken (class in curry.utility.readcurry.lex) strip_typed() (in module curry.toolchain.flat2icurry.compiler) (in module curry.toolchain.flat2icurry.setlift) structurally_equal() (in module curry.backends.py.graph.equality) subexpr() (in module curry.backends.py.graph.indexing) submit() (in module curry.backends.cxx.tiered) submodule() (curry.objects.handle.Handle method) submodules (curry.icurry.types.imodule.IPackage property) subpreds (curry.typecheck.instances.Pred attribute) subst_var() (in module curry.toolchain.flat2icurry.elimnewtype) substitute() (in module curry.typecheck.defaulting) substitution (curry.typecheck.defaulting.Defaulting attribute) successor() (curry.backends.py.graph.Node method) (curry.backends.py.graph.node.Node method) successors (curry.backends.py.graph.Node attribute) (curry.backends.py.graph.node.Node attribute) (curry.backends.py.graph.variable.Variable property) SUFFIX (curry.backends.cxx.toolchain.Json2Cpp attribute) (curry.backends.py.toolchain.Json2Py attribute) suffixes (curry.toolchain.plans.Plan property) (curry.toolchain.plans.Stage attribute) superclasses() (curry.typecheck.instances.InstanceEnv method) supported_syslibs() (in module curry.config) suspend() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) switch_backend() (curry.tools.icy.repl.REPL method) symbol (curry.typecheck.engine.App attribute) symbol() (curry.backends.cxx.materialize.Materializer method) (curry.interpreter.Interpreter method) (in module curry) symbol_goal() (in module curry.typecheck.goals) symbol_map() (in module curry.typecheck.builder) SymbolLookupError symbolnames (curry.objects.handle.Handle property) symbols (curry.objects.handle.Handle property) symbols() (in module curry.inspect) SymbolTable (class in curry.backends.generic.compiler) symbolToFilename() (in module curry.utility.encoding) symtab (curry.backends.generic.compiler.CompilerBase property) Synonym (class in curry.typecheck.exprtype) synonyms_of() (in module curry.typecheck.exprtype) syslibs() (in module curry.config) syslibversion() (in module curry.config) system_curry_path() (in module curry.config)

T

TABLE (curry.cache.Curry2ICurryCache attribute) tag (curry.backends.py.graph.variable.Variable property) tag() (curry.backends.cxx.materialize.Materializer method) tag_of() (in module curry.inspect) target (curry.backends.py.graph.variable.Variable attribute) TargetObject (class in curry.backends.generic.compiler) TCons (class in curry.toolchain.flat2icurry.flatcurry) tcons() (in module curry.typecheck.terms) TelemetryData (class in curry.backends.generic.eval.telemetry) Term (class in curry.toolchain.flat2icurry.terms) term (curry.typecheck.instances.Pred attribute) text (curry.typecheck.engine.Typed attribute) (curry.typecheck.exprtype.Synonym attribute) (curry.typecheck.goals.Goal attribute) (curry.typecheck.goals.LiftedGoal attribute) (curry.typecheck.serialize.Serialized property) text() (in module curry.backends.py.currylib.prelude.string) texts() (curry.typecheck.goals.Bindings method) tiered_counts() (curry.backends.cxx.interface.IBackend method) (curry.backends.IBackend method) TimeoutError timesInt() (in module curry.backends.py.currylib.prelude.math) tokenize() (in module curry.utility.readcurry.lex) top_eqconstr (curry.backends.generic.eval.telemetry.TelemetryData property) toposort() (in module curry.utility.visitation) topython() (curry.interpreter.Interpreter method) (in module curry) (in module curry.interpreter.conversions) Trace (class in curry.backends.generic.eval.trace) trace_steps() (in module curry.backends.generic.eval.trace) trace_values() (in module curry.backends.generic.eval.trace) track() (curry.backends.generic.eval.evaluator.EvaluationTotals method) Trampoline (class in curry.backends.py.materialize) trampoline() (in module curry.utility.trampoline) transform_exp() (in module curry.toolchain.flat2icurry.bindingopt) (in module curry.toolchain.flat2icurry.setlift) transform_func() (in module curry.toolchain.flat2icurry.bindingopt) (in module curry.toolchain.flat2icurry.setlift) transform_prog() (in module curry.toolchain.flat2icurry.bindingopt) (in module curry.toolchain.flat2icurry.setlift) translate() (in module curry.toolchain.flat2icurry) translate_file() (in module curry.toolchain.flat2icurry) translateKwds() (in module curry.utility) trap() (curry.backends.cxx.materialize.Materializer method) tree_size() (in module curry.typecheck.terms) Tuple (class in curry.typecheck.engine) TVar (class in curry.toolchain.flat2icurry.flatcurry) Type (class in curry.toolchain.flat2icurry.flatcurry) type (curry.typecheck.engine.Spec attribute) type() (curry.interpreter.Interpreter method) (in module curry) type_arity() (in module curry.typecheck.goals) (in module curry.typecheck.terms) type_decl() (curry.typecheck.Interface method) (curry.typecheck.SignatureTable method) (curry.typecheck.sigtable.Interface method) (curry.typecheck.sigtable.SignatureTable method) TYPE_METADATA (curry.backends.generic.currylib.ModuleSpecification attribute)

type_names() (curry.typecheck.Interface method) (curry.typecheck.sigtable.Interface method) type_occurs() (in module curry.typecheck.goals) type_of() (curry.typecheck.engine.Problem method) type_of_constructor() (in module curry.toolchain.flat2icurry.casecompletion) type_of_term() (curry.typecheck.engine.Problem method) TypeCheckError typed (class in curry) (class in curry.expressions) Typed (class in curry.toolchain.flat2icurry.flatcurry) (class in curry.typecheck.engine) TypedBuilder (class in curry.typecheck.builder) TypeDecl (class in curry.toolchain.flat2icurry.flatcurry) typedef (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) (curry.backends.py.graph.variable.Variable property) TypedProblem (class in curry.typecheck.builder) TypeExpr (class in curry.toolchain.flat2icurry.flatcurry) typeexpr (curry.toolchain.flat2icurry.flatcurry.ForallType property) (curry.toolchain.flat2icurry.flatcurry.Func property) (curry.toolchain.flat2icurry.flatcurry.NewCons property) (curry.toolchain.flat2icurry.flatcurry.Typed property) (curry.toolchain.flat2icurry.flatcurry.TypeSyn property) (curry.typecheck.builder.Raw attribute) (curry.typecheck.defaulting.Defaulting attribute) (curry.typecheck.engine.Known attribute) (curry.typecheck.engine.Problem property) (curry.typecheck.Scheme attribute) (curry.typecheck.sigtable.Scheme attribute) TypeLookupError TypeMismatch typename (curry.icurry.types.itype.IDataType property) (curry.typecheck.Instance attribute) (curry.typecheck.sigtable.Instance attribute) typename() (curry.typecheck.instances.InstanceEnv static method) TypeNew (class in curry.toolchain.flat2icurry.flatcurry) typeof() (curry.interpreter.Interpreter method) (curry.typecheck.builder.Description method) (in module curry) (in module curry.expressions) (in module curry.typecheck.builder) TypeRecord (class in curry.typecheck.builder) TYPES (curry.backends.generic.currylib.prelude.PreludeSpecification attribute) (curry.backends.generic.currylib.setfunctions.SetFunctionsSpecification attribute) types (curry.objects.handle.Handle property) (curry.toolchain.flat2icurry.flatcurry.Prog property) (curry.toolchain.flat2icurry.icurrytypes.IProg property) types() (curry.backends.generic.currylib.ModuleSpecification method) (in module curry.inspect) TypeSyn (class in curry.toolchain.flat2icurry.flatcurry) typetag (curry.backends.py.graph.InfoTable property) (curry.backends.py.graph.infotable.InfoTable property) typevar_name() (in module curry.typecheck.sigtable) typevars (curry.toolchain.flat2icurry.flatcurry.ForallType property) (curry.toolchain.flat2icurry.flatcurry.Type property) (curry.toolchain.flat2icurry.flatcurry.TypeNew property) (curry.toolchain.flat2icurry.flatcurry.TypeSyn property) (curry.typecheck.Scheme attribute) (curry.typecheck.sigtable.Scheme attribute)

U

uid (curry.typecheck.terms.Var attribute) unbound_vars() (in module curry.toolchain.flat2icurry.caselifting) unbox() (curry.interpreter.Interpreter static method) (in module curry.interpreter.conversions) unboxed (class in curry) (class in curry.expressions) Unboxed (class in curry.typecheck.builder) unboxed_value (curry.backends.py.graph.variable.Variable property) unboxed_value() (in module curry.inspect) unfolding() (in module curry.icurry.analysis) (in module curry.icurry.analysis.partials) unfolding_text() (in module curry.icurry.analysis) (in module curry.icurry.analysis.partials) unguarded_merge() (curry.backends.py.eval.checker.Checker method) unify() (in module curry.typecheck.unify) UnifyError union() (curry.typecheck.terms.Var method) (in module curry.toolchain.flat2icurry.caselifting) UnionFind (class in curry.utility.unionfind) unionmap() (in module curry.toolchain.flat2icurry.caselifting) unique (curry.utility.shared.Shared property) unique() (in module curry.utility)

unite() (curry.utility.unionfind.UnionFind method) UnknownTypeConstructorError unlink() (curry.objects.handle.Handle method) unrst() (in module curry.tools.utility) unsupported_syslibs() (in module curry.config) untyped_expr() (in module curry.expressions) unwind() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_control) update() (curry.cache.Curry2ICurryCache.Slot method) (curry.cache.ParsedJsonCache.Slot method) (curry.icurry.types.imodule.OrderedDict method) update_binding() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_bindings) update_error() (curry.cache.Curry2ICurryCache.Slot method) update_escape_set() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) update_escape_sets() (curry.backends.py.eval.rts.RuntimeState method) update_fp() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_fingerprint) update_metadata() (curry.icurry.types.iobject.IObject method) usage() (curry.tools.icy.options.Options class method) user_cache_dir() (in module curry.config) UserMonadError

V

validateModulename() (in module curry.utility.curryname) value (curry.toolchain.flat2icurry.flatcurry.Charc property) (curry.toolchain.flat2icurry.flatcurry.Floatc property) (curry.toolchain.flat2icurry.flatcurry.Intc property) (curry.toolchain.flat2icurry.icurrytypes.IChar property) (curry.toolchain.flat2icurry.icurrytypes.IFloat property) (curry.toolchain.flat2icurry.icurrytypes.IInt property) (curry.typecheck.engine.Lit attribute) (curry.typecheck.goals.Bindings attribute) value_bindings() (curry.backends.py.eval.checker.Checker method) VALUE_MAP (curry.icurry.json.Encoder attribute) ValueBinding (curry.backends.py.eval.rts.RuntimeState attribute) values() (curry.icurry.types.imodule.OrderedDict method) (curry.objects.handle.Handle method) ValueTooLargeError Var (class in curry.toolchain.flat2icurry.flatcurry) (class in curry.typecheck.terms) var (curry.icurry.types.iexpression.IVarAccess property) (curry.icurry.types.istatement.ICase property) (curry.toolchain.flat2icurry.icurrytypes.ICaseCons property) (curry.toolchain.flat2icurry.icurrytypes.ICaseLit property) (curry.toolchain.flat2icurry.icurrytypes.IFreeDecl property) (curry.toolchain.flat2icurry.icurrytypes.INodeAssign property) (curry.toolchain.flat2icurry.icurrytypes.IVar property) (curry.toolchain.flat2icurry.icurrytypes.IVarAccess property) (curry.toolchain.flat2icurry.icurrytypes.IVarAssign property) (curry.toolchain.flat2icurry.icurrytypes.IVarDecl property) var_pos() (in module curry.toolchain.flat2icurry.compiler) Variable (class in curry.backends.py.graph.variable) variable() (curry.backends.py.eval.checker.Checker method) (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.graph.variable) VarInfo (class in curry.icurry.analysis.variables) varinfo() (in module curry.icurry.analysis) (in module curry.icurry.analysis.variables) vars (curry.toolchain.flat2icurry.flatcurry.Free property) (curry.toolchain.flat2icurry.flatcurry.Pattern property) vBackendFunctionKey() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileE_ICall() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileE_ILiteral() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileE_IOr() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileE_IPartialCall() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileE_IString() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileE_IUnboxedLiteral() (curry.backends.generic.compiler.CompilerBase method)

vEmit_compileE_IVar() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileE_IVarAccess() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileS_ICaseCons() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileS_ICaseLit() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileS_IExempt() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileS_IFreeDecl() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileS_INodeAssign() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileS_IReturn() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileS_IVarAssign() (curry.backends.generic.compiler.CompilerBase method) vEmit_compileS_IVarDecl() (curry.backends.generic.compiler.CompilerBase method) vEmitConstructorInfotab() (curry.backends.generic.compiler.CompilerBase method) vEmitDataType() (curry.backends.generic.compiler.CompilerBase method) vEmitDataTypeLink() (curry.backends.generic.compiler.CompilerBase method) vEmitFooter() (curry.backends.generic.compiler.CompilerBase method) vEmitFunctionInfotab() (curry.backends.generic.compiler.CompilerBase method) vEmitHeader() (curry.backends.generic.compiler.CompilerBase method) vEmitHoisted() (curry.backends.generic.compiler.CompilerBase method) vEmitImported() (curry.backends.generic.compiler.CompilerBase method) vEmitInfotabLink() (curry.backends.generic.compiler.CompilerBase method) vEmitMetadata() (curry.backends.generic.compiler.CompilerBase method) vEmitModuleDefinition() (curry.backends.generic.compiler.CompilerBase method) vEmitModuleImport() (curry.backends.generic.compiler.CompilerBase method) vEmitStepfuncEntry() (curry.backends.generic.compiler.CompilerBase method) vEmitStepfuncHeader() (curry.backends.generic.compiler.CompilerBase method) vEmitStepfuncLink() (curry.backends.generic.compiler.CompilerBase method) vEmitStringLiteral() (curry.backends.generic.compiler.CompilerBase method) vEmitSynthesizedStepfunc() (curry.backends.generic.compiler.CompilerBase method) vEmitValueSetLiteral() (curry.backends.generic.compiler.CompilerBase method) verify_syslibs() (in module curry.config) vGetSymbolName() (curry.backends.generic.compiler.CompilerBase method) vIsBuiltin() (curry.backends.generic.compiler.CompilerBase method) Visibility (class in curry.toolchain.flat2icurry.flatcurry) visibility (curry.toolchain.flat2icurry.flatcurry.Cons property) (curry.toolchain.flat2icurry.flatcurry.Func property) (curry.toolchain.flat2icurry.flatcurry.NewCons property) (curry.toolchain.flat2icurry.flatcurry.Type property) (curry.toolchain.flat2icurry.flatcurry.TypeNew property) (curry.toolchain.flat2icurry.flatcurry.TypeSyn property) (curry.toolchain.flat2icurry.icurrytypes.IFunction property) visit() (in module curry.icurry.visit) Visitable (class in curry.utility.visitation) visitslots() (in module curry.icurry.visit) vIsSynthesized() (curry.backends.generic.compiler.CompilerBase method) vtable_size (curry.backends.generic.eval.telemetry.TelemetryData property)

W

W1 (curry.tools.icy.options.Options attribute) wait() (in module curry.backends.cxx.tiered) wait_for() (in module curry.backends.cxx.tiered) walk (curry.typecheck.builder.Raw attribute) walk() (curry.backends.py.graph.Node method) (curry.backends.py.graph.node.Node method) (in module curry.backends.py.graph) (in module curry.backends.py.graph.walkexpr) walk_qstack() (curry.backends.py.eval.rts.RuntimeState method) (in module curry.backends.py.eval.rts_setfunctions) warn_edited() (in module curry.interpreter.import_) warn_other_file() (in module curry.interpreter.import_) warned_mtime (curry.objects.handle.Handle property) what (curry.typecheck.engine.Problem property) when() (curry.utility.visitation.Visitable method) where_text() (curry.typecheck.serialize.Serialized method)

whnf() (in module curry.typecheck.terms) WIDTH (curry.backends.generic.renderer.SourceRenderer attribute) Wrap (class in curry.typecheck.builder) wrapblock() (in module curry.utility.formatting) write (curry.utility.shared.Shared property) write() (in module curry.toolchain.flat2icurry.flatcurry) write_file() (in module curry.cache) write_flatcurry() (in module curry.toolchain.flat2icurry) write_icurry() (in module curry.toolchain.flat2icurry) write_module (curry.backends.cxx.interface.IBackend property) (curry.backends.IBackend property) (curry.backends.py.interface.IBackend property) write_module() (in module curry.backends.cxx.compiler) (in module curry.backends.py.compiler) write_stamp() (curry.backends.cxx.toolchain.Cpp2So method) writeFile() (in module curry.backends.py.currylib.prelude.io)

Y

yield_() (curry.backends.generic.eval.trace.Trace method) (curry.backends.py.eval.checker.Checker method) (in module curry.backends.generic.eval.trace)

Z

zonk() (in module curry.typecheck.terms)