MCPcopy Create free account

hub / github.com/LFDT-Nightstream/Starstream / functions

Functions1,771 in github.com/LFDT-Nightstream/Starstream

⨍ Functions 1,771◇ Types & classes 443
↓ 2 callersMethodget_twist_traced_values
( &mut self, address: &Address<u64>, lane: u32, kind: TwistOpKind, )
interleaving/starstream-interleaving-proof/src/memory/twist_and_shout/mod.rs:466
↓ 2 callersMethodget_utxo_constructor_typed
( &self, utxo: &UtxoExport, name: &str, ty: types::ComponentFunc, )
starstream-runtime-next/src/lib.rs:358
↓ 2 callersMethodget_utxo_method_typed
( &self, utxo: &UtxoExport, name: &str, ty: types::ComponentFunc, )
starstream-runtime-next/src/lib.rs:422
↓ 2 callersMethodget_utxo_typed
( &self, name: &str, instance_ty: types::ComponentInstance, )
starstream-runtime-next/src/lib.rs:229
↓ 2 callersMethodget_write_op
( &mut self, cond: &Boolean<F>, address_val: &Address<u64>, mem_size: u64,
interleaving/starstream-interleaving-proof/src/memory/nebula/gadget.rs:362
↓ 2 callersFunctionhandler_stack_ops
( dsl: &mut D, switches: &HandlerSwitches<D::Bool>, interface_index: &D::Val, handler_stack_co
interleaving/starstream-interleaving-proof/src/handler_stack_gadget.rs:51
↓ 2 callersMethodhas_literals_in_first_column
Checks if the first column contains any literal patterns
starstream-compiler/src/typecheck/exhaustiveness.rs:243
↓ 2 callersFunctionhex_digit
(b: u8)
starstream-language-server/src/document.rs:2592
↓ 2 callersMethodinc_ts
(&mut self, cond: &Boolean<F>)
interleaving/starstream-interleaving-proof/src/memory/nebula/gadget.rs:325
↓ 2 callersMethodinfer_definition
Type-check a top-level definition.
starstream-compiler/src/typecheck/infer.rs:2343
↓ 2 callersFunctioninitLanguage
(config: Config)
vscode-starstream/src/tree-sitter-vscode.ts:62
↓ 2 callersMethodinput_indices
(&self)
interleaving/starstream-interleaving-proof/src/circuit.rs:165
↓ 2 callersMethodinput_ownership_for_inputs
Returns transaction-local input ownership for the given input order. For each input at process id `pid`, the value is: - `Some(owner_pid)` if the inp
interleaving/starstream-interleaving-spec/src/lib.rs:460
↓ 2 callersMethodinstantiate
Replace every quantified variable in `scheme` with a fresh type variable.
starstream-compiler/src/typecheck/infer.rs:5074
↓ 2 callersMethodinstantiate_enum_info
Instantiate a (possibly generic) enum type entry, creating fresh type variables for any type parameters.
starstream-compiler/src/typecheck/infer.rs:1972
↓ 2 callersMethodinstantiate_process
( &mut self, pid: ProcessId, component: &ScalarComponent, )
interleaving/starstream-component-runtime/src/component.rs:157
↓ 2 callersFunctioninterface_id
(a: u64, b: u64, c: u64, d: u64)
interleaving/starstream-runtime/tests/integration.rs:8
↓ 2 callersMethodinterleaving_artifacts
( &self, body: &TransactionBody, witness: &TransactionWitness, )
interleaving/starstream-interleaving-spec/src/lib.rs:672
↓ 2 callersMethodinto_inner
(mut self)
starstream-runtime-next/src/lib.rs:815
↓ 2 callersMethodisValid
()
starstream-js/src/index.ts:136
↓ 2 callersFunctionis_pending_resume
(effect: &WitLedgerEffect, target: ProcessId)
interleaving/starstream-component-runtime/src/executor.rs:298
↓ 2 callersFunctionis_useful
Checks if a pattern vector is useful with respect to a matrix. A pattern is useful if there exists a value that it matches but no row in the matrix ma
starstream-compiler/src/typecheck/exhaustiveness.rs:343
↓ 2 callersMethodlabel_span_for_expr
Produce a span sized to the formatted expression, avoiding trailing whitespace.
starstream-compiler/src/typecheck/infer.rs:5203
↓ 2 callersFunctionledger_operation_from_wit
(op: &WitLedgerEffect)
interleaving/starstream-interleaving-proof/src/abi.rs:27
↓ 2 callersFunctionline_of_offset
Get the 0-indexed line number for a byte offset in source.
starstream-types/src/comments.rs:194
↓ 2 callersFunctionliteral_to_doc
(literal: &Literal, _source: &'a str)
starstream-compiler/src/formatter.rs:1232
↓ 2 callersMethodlookup_struct_field_type
(&self, struct_name: &str, field_name: &str)
starstream-language-server/src/document.rs:1622
↓ 2 callersMethodlookup_struct_info
(&self, name: &Identifier)
starstream-compiler/src/typecheck/infer.rs:1948
↓ 2 callersMethodlower_pattern
Lower a `TypedPattern` into the simplified Pat for the decision tree matrix. Bindings are embedded as `Pat::Wildcard { binding: Some(...) }` so that t
starstream-to-wasm/src/lib.rs:3284
↓ 2 callersMethodmake_step_circuit
( &self, i: usize, rm: &mut M::Allocator, cs: ConstraintSystemRef<F>,
interleaving/starstream-interleaving-proof/src/circuit.rs:832
↓ 2 callersFunctionmatmul_internal
( state: &mut [FpVar<F>; WIDTH], mat_internal_diag_m_1: &'static [F; WIDTH], )
ark-poseidon2/src/linear_layers.rs:33
↓ 2 callersMethodmax_segment_size
(&mut self)
interleaving/starstream-interleaving-proof/src/memory/nebula/gadget.rs:424
↓ 2 callersFunctionmerge_spans
Merges two spans into one that covers both
starstream-compiler/src/typecheck/exhaustiveness.rs:824
↓ 2 callersFunctionmethod_function_id
TODO: This is wrong. We should include the entire hash, but then use indexes with a lookup in the circuit
interleaving/starstream-component-runtime/src/component.rs:855
↓ 2 callersMethodmodule
(&self, id: crate::ModuleId)
starstream-compiler/src/typecheck/infer.rs:274
↓ 2 callersMethodnew_store
(&self, ctx: T)
starstream-runtime-next/src/lib.rs:479
↓ 2 callersFunctionoffset_to_position
(rope: &Rope, mut offset: usize)
starstream-language-server/src/diagnostics.rs:109
↓ 2 callersMethodoffset_to_position
(&self, mut offset: usize)
starstream-language-server/src/document.rs:2029
↓ 2 callersMethodoutput_binding_config
(&self)
interleaving/starstream-interleaving-spec/src/transaction_effects/instance.rs:100
↓ 2 callersMethodoutput_indices
(&self)
interleaving/starstream-interleaving-proof/src/circuit.rs:177
↓ 2 callersFunctionpack_bytes_to_safe_limbs
(bytes: &[u8])
interleaving/starstream-runtime/src/lib.rs:37
↓ 2 callersMethodparams_and_locals
(&self)
starstream-to-wasm/src/lib.rs:3842
↓ 2 callersFunctionparened_expr
(expr: &Spanned<Expr>, source: &'a str, comments: &CommentMap)
starstream-compiler/src/formatter.rs:817
↓ 2 callersMethodparseToTokens
* Parses the given text with the given language parser and returns the highlighting tokens. * Calls `getInjections` for nested injections.
vscode-starstream/src/tree-sitter-vscode.ts:182
↓ 2 callersFunctionparser
()
starstream-compiler/src/parser/definition/abi.rs:6
↓ 2 callersFunctionparser
`contract;` — marks the file as a contract entry point.
starstream-compiler/src/parser/definition/contract.rs:6
↓ 2 callersFunctionpattern_to_doc
(pattern: &Pattern, source: &'a str)
starstream-compiler/src/formatter.rs:980
↓ 2 callersMethodperform_memory_operation
( &mut self, cond: bool, address: &Address<u64>, new_values: Option<Vec<F>>,
interleaving/starstream-interleaving-proof/src/memory/nebula/tracer.rs:31
↓ 2 callersFunctionprimary
( expression: impl Parser<'a, &'a str, Spanned<Expr>, Extra<'a>> + Clone + 'a, block: impl Parser<'a,
starstream-compiler/src/parser/expression/primary/mod.rs:28
↓ 2 callersFunctionprint_component_wit
(name: &str, wasm: &[u8])
interleaving/starstream-component-runtime/src/transaction_session.rs:261
↓ 2 callersFunctionprint_component_wit
(name: &str, wasm: &[u8])
interleaving/starstream-runtime/tests/integration.rs:545
↓ 2 callersFunctionprint_wat
(name: &str, wasm: &[u8])
interleaving/starstream-component-runtime/src/transaction_session.rs:250
↓ 2 callersFunctionprint_wit
(wasm: &[u8], is_core: bool)
starstream-sandbox-web/src/lib.rs:137
↓ 2 callersMethodprivate_parameter_rhs_name
( &self, env: &TypeEnv, expr: &Spanned<Expr>, ctx: &FunctionCtx, )
starstream-compiler/src/typecheck/infer.rs:4397
↓ 2 callersMethodprogram
Untyped AST produced by the parser, if parsing succeeded.
starstream-language-server/src/document.rs:175
↓ 2 callersFunctionprogram_hash_ops
( dsl: &mut D, read_cond: &D::Bool, target: &D::Val, )
interleaving/starstream-interleaving-proof/src/program_hash_gadget.rs:8
↓ 2 callersFunctionprogram_state_read_ops
( dsl: &mut D, switches: &crate::switchboard::MemSwitchboard<D::Bool>, addr: &D::Val, )
interleaving/starstream-interleaving-proof/src/program_state.rs:65
↓ 2 callersFunctionprogram_state_read_wires
( rm: &mut M, cs: &ConstraintSystemRef<F>, address: FpVar<F>, switches: &MemSwitchboardWires,
interleaving/starstream-interleaving-proof/src/program_state.rs:309
↓ 2 callersFunctionprogram_state_write_ops
( dsl: &mut D, switches: &crate::switchboard::MemSwitchboard<D::Bool>, addr: &D::Val, state: &
interleaving/starstream-interleaving-proof/src/program_state.rs:104
↓ 2 callersFunctionprogram_state_write_wires
In-circuit write version.
interleaving/starstream-interleaving-proof/src/program_state.rs:269
↓ 2 callersMethodpush_type_error
(&mut self, uri: &Uri, error: TypeError)
starstream-language-server/src/document.rs:410
↓ 2 callersMethodreanalyse
(&mut self, uri: &Uri, text: &str, workspace_folders: &[PathBuf])
starstream-language-server/src/document.rs:194
↓ 2 callersFunctionref_arena_access_ops
( dsl: &mut D, read_cond: &D::Bool, write_cond: &D::Bool, write_is_push: &D::Bool, push_va
interleaving/starstream-interleaving-proof/src/ref_arena_gadget.rs:46
↓ 2 callersFunctionref_bases_access_ops
( dsl: &mut D, write_cond: &D::Bool, write_addr: &D::Val, write_val: &D::Val, read_cond: &
interleaving/starstream-interleaving-proof/src/ref_arena_gadget.rs:33
↓ 2 callersFunctionref_sizes_access_ops
( dsl: &mut D, write_cond: &D::Bool, write_addr: &D::Val, write_val: &D::Val, read_cond: &
interleaving/starstream-interleaving-proof/src/ref_arena_gadget.rs:21
↓ 2 callersMethodregister_coord
(&mut self, pid: ProcessId)
interleaving/starstream-component-runtime/src/transaction_session.rs:64
↓ 2 callersMethodregister_prelude_enum
Helper to register a prelude enum type, building both the `Type::Enum` and the internal `EnumVariantInfo` from a single variant description.
starstream-compiler/src/typecheck/infer.rs:910
↓ 2 callersMethodregister_type_definitions
( &mut self, definitions: &[Spanned<Definition>], )
starstream-compiler/src/typecheck/infer.rs:983
↓ 2 callersMethodrequire_bool
Ensure a type is boolean, emitting a trace entry describing the check.
starstream-compiler/src/typecheck/infer.rs:4555
↓ 2 callersMethodresolve_imports
(&mut self, id: ModuleId)
starstream-compiler/src/module_graph.rs:362
↓ 2 callersMethodresolve_resource
(&self, resource: Resource)
interleaving/starstream-component-runtime/src/state.rs:129
↓ 2 callersMethodrun
(input_len: number)
website/src/sandbox.worker.ts:63
↓ 2 callersMethodrun_export_with_args
( &mut self, pid: ProcessId, instance: &wasmtime::component::Instance, export_
interleaving/starstream-component-runtime/src/component.rs:229
↓ 2 callersMethodrun_main
( &mut self, pid: ProcessId, instance: &wasmtime::component::Instance, )
interleaving/starstream-component-runtime/src/component.rs:195
↓ 2 callersFunctionset_resume_output
(effect: &mut WitLedgerEffect, ret: Ref)
interleaving/starstream-component-runtime/src/executor.rs:318
↓ 2 callersFunctionset_wat
(ptr, len)
website/src/sandbox.worker.ts:114
↓ 2 callersFunctionset_wit
(ptr, len)
website/src/sandbox.worker.ts:128
↓ 2 callersFunctionsource_span_to_range
(rope: &Rope, span: &miette::SourceSpan)
starstream-language-server/src/diagnostics.rs:98
↓ 2 callersMethodspanned_clone
(self)
starstream-compiler/src/parser/mod.rs:135
↓ 2 callersFunctionspendable_utxo_component
(initial_amount: u64)
interleaving/starstream-component-runtime/src/transaction_session.rs:362
↓ 2 callersFunctionsponge_12_trace
(inputs: &[F])
ark-poseidon2/src/lib.rs:123
↓ 2 callersMethodstate_kind
(&self)
interleaving/starstream-interleaving-spec/src/lib.rs:87
↓ 2 callersFunctionstatement
( block: impl Parser<'a, &'a str, Block, Extra<'a>> + Clone + 'a, expr: impl Parser<'a, &'a str, Spann
starstream-compiler/src/parser/statement.rs:24
↓ 2 callersFunctionstatement_to_doc
( statement: &Statement, source: &'a str, comments: &CommentMap, )
starstream-compiler/src/formatter.rs:690
↓ 2 callersMethodstore
(&mut self)
starstream-runtime-next/src/lib.rs:745
↓ 2 callersMethodstrongconnect
(&mut self, v: usize)
starstream-to-wasm/src/stackifier.rs:382
↓ 2 callersFunctionstruct_fields_to_doc
( fields: &[StructField], source: &'a str, comments: &CommentMap, body_start: usize, )
starstream-compiler/src/formatter.rs:288
↓ 2 callersMethodstruct_info
(&self, name: &str)
starstream-compiler/src/typecheck/infer.rs:105
↓ 2 callersFunctionstruct_literal_fields_to_doc
( fields: &[StructLiteralField], source: &'a str, comments: &CommentMap, )
starstream-compiler/src/formatter.rs:858
↓ 2 callersFunctionstruct_pattern_fields_to_doc
( fields: &[StructPatternField], source: &'a str, )
starstream-compiler/src/formatter.rs:1019
↓ 2 callersFunctiontest_install_handler_get
(exp: ProcessId)
interleaving/starstream-interleaving-proof/src/circuit_test.rs:446
↓ 2 callersMethodto_doc_mode
(&self, mode: TypeDocMode)
starstream-types/src/types.rs:288
↓ 2 callersMethodto_labeled_span
(&self, force_primary: Option<bool>)
starstream-compiler/src/typecheck/diagnostic.rs:80
↓ 2 callersFunctionto_source_span
(span: Span)
starstream-compiler/src/typecheck/diagnostic.rs:104
↓ 2 callersMethodtrace_memory_ops
(&mut self, params: <M as memory::IVCMemory<F>>::Params)
interleaving/starstream-interleaving-proof/src/circuit.rs:903
↓ 2 callersFunctiontrace_program_state_reads
Out-of-circuit read version.
interleaving/starstream-interleaving-proof/src/program_state.rs:283
↓ 2 callersFunctiontrace_program_state_writes
Out-of-circuit write version.
interleaving/starstream-interleaving-proof/src/program_state.rs:256
↓ 2 callersMethodtrack
(&mut self, item: &SeqItem)
starstream-to-wasm/src/stackifier.rs:299
↓ 2 callersFunctiontree_sitter_starstream
tree-sitter-starstream/src/parser.c:13288
↓ 2 callersFunctionunformatted_files
(files: Vec<String>)
starstream-cli/src/format.rs:76
← previousnext →401–500 of 1,771, ranked by callers