Functions — github.com/adam-mcdaniel/reckon

CodeHub MCPcopy Create free account

hub / github.com/adam-mcdaniel/reckon / functions

Functions395 in github.com/adam-mcdaniel/reckon

⨍ Functions 395◇ Types & classes 33

↓ 1 callersFunctionparse_int

Parse an integer (i64). e.g. "-42", "123"

src/parse.rs:35

↓ 1 callersFunctionparse_search_config

(i: &'a str, existing_config: &'b mut SearchConfig<S>)

src/parse.rs:441

↓ 1 callersFunctionparse_string

Parse a string. Use a loop of parse_fragment and push all of the fragments into an output string.

src/parse.rs:200

↓ 1 callersFunctionparse_symbol

Parse a lowercase identifier (symbol). Example: `foo`, `bar_baz42`.

src/parse.rs:258

↓ 1 callersFunctionparse_term

src/parse.rs:327

↓ 1 callersFunctionparse_term_atom

The master parser for any `Term`.

src/parse.rs:305

↓ 1 callersFunctionpeano_to_int

Convert a Peano number to an integer

src/util/mod.rs:23

↓ 1 callersFunctionpreLoadCss

docs/static.files/main-f070b9041d14864c.js:1

↓ 1 callersFunctionprint_logo

src/main.rs:748

↓ 1 callersFunctionregisterSearchEvents

docs/static.files/search-f0d225181b97f9a4.js:6

↓ 1 callersMethodremove_irreducible_negatives

Remove all the complemented goals that cannot be simplified by any of the rules in the environment. These are inherently negative goals that cannot b

src/query.rs:142

↓ 1 callersFunctionrepl

(mut env: Env<impl Solver>)

↓ 1 callersMethodreset_solver

Reset the solver in the environment. This will clear the memoization cache in the solver.

↓ 1 callersMethodreset_steps

Reset the number of steps performed in the search.

↓ 1 callersMethodsearch_config_mut

Get the search configuration for the environment.

↓ 1 callersFunctionsetEvents

(settingsElement)

docs/static.files/settings-805db61a62df4bd2.js:1

↓ 1 callersFunctionsetMobileTopbar

docs/static.files/main-f070b9041d14864c.js:1

↓ 1 callersFunctionshowLightAndDark

docs/static.files/settings-805db61a62df4bd2.js:1

↓ 1 callersFunctionshowMain

docs/static.files/main-f070b9041d14864c.js:1

↓ 1 callersFunctionshowResults

(results,go_to_first,filterCrates)

docs/static.files/search-f0d225181b97f9a4.js:5

↓ 1 callersFunctionstopResize

docs/static.files/main-f070b9041d14864c.js:11

↓ 1 callersFunctionstrip_cpp_like_comments

src/util/mod.rs:126

↓ 1 callersMethodsubstitute_into_query

Substitute the variable bindings into a query.

src/env.rs:1215

↓ 1 callersMethodsubterms

Get references to the subterms of this term. This will only return references to the subterms of this term, not the term itself. Also, it only returns

src/term.rs:458

↓ 1 callersMethodsubterms_mut

Get mutable references to the subterms of this term. This will only return mutable references to the subterms of this term, not the term itself. Also,

src/term.rs:482

↓ 1 callersFunctiontime_it

src/env.rs:1297

↓ 1 callersFunctiontime_it

Time a function and return the result and the duration

src/util/mod.rs:5

↓ 1 callersMethodto_partial_solution

Convert the bindings in this environment to a partial solution. This will take all the variables in the query, and return the reduced bindings for th

↓ 1 callersMethodunify_in_place_helper

A helper function for unifying two terms. It will attempt to unify the two terms, and return an error if they cannot be unified. However, it modifies

src/term.rs:214

↓ 1 callersFunctionupdateSidebarWidth

docs/static.files/storage-1d39b6787ed640ff.js:1

↓ 1 callersMethodwith_step_limit

Create a new search configuration with the given step limit.

↓ 1 callersMethodwith_stop_after_first_goal

Create a new search configuration with the given stop after first goal setting.

MethodaddIntoResults

(results,fullId,id,index,dist,path_dist,maxEditDistance)

docs/static.files/search-f0d225181b97f9a4.js:1

Methodalready_exists

src/symbol.rs:85

Create a new application term.

src/term.rs:140

Get the arguments of the application term as an iterator

src/term.rs:623

src/symbol.rs:220

MethodbuildFunctionSearchTypeCallback

docs/static.files/search-f0d225181b97f9a4.js:1

MethodbuildHrefAndPath

docs/static.files/search-f0d225181b97f9a4.js:1

Methodcan_perform_step

Check if the search configuration allows more steps to be performed.

MethodcheckIfInList

(list,elem,whereClause,mgens,unboxingDepth)

docs/static.files/search-f0d225181b97f9a4.js:1

MethodcheckPath

docs/static.files/search-f0d225181b97f9a4.js:1

MethodcheckType

(row,elem,whereClause,mgens,unboxingDepth)

docs/static.files/search-f0d225181b97f9a4.js:1

src/main.rs:165

FunctioncloseSidebarIfMobile

docs/static.files/src-script-e66d777a5a92e9b2.js:1

MethodcompareTypeFingerprints

(fullId,queryFingerprint)

docs/static.files/search-f0d225181b97f9a4.js:1

MethodconnectedCallback

docs/static.files/storage-1d39b6787ed640ff.js:1

MethodconnectedCallback

docs/static.files/storage-1d39b6787ed640ff.js:16

Methodconstructor

docs/static.files/search-f0d225181b97f9a4.js:1

Methodconstructor

docs/static.files/search-f0d225181b97f9a4.js:1

Methodconstructor

(runcount,array)

docs/static.files/search-f0d225181b97f9a4.js:1

Methodconstructor

(cardinality,array)

docs/static.files/search-f0d225181b97f9a4.js:1

Methodconstructor

docs/static.files/search-f0d225181b97f9a4.js:1

Methodconstructor

(rawSearchIndex,rootPath,searchState)

docs/static.files/search-f0d225181b97f9a4.js:1

Methodconstructor

docs/static.files/storage-1d39b6787ed640ff.js:1

Methodconstructor

docs/static.files/storage-1d39b6787ed640ff.js:16

docs/static.files/search-f0d225181b97f9a4.js:1

docs/static.files/search-f0d225181b97f9a4.js:1

docs/static.files/search-f0d225181b97f9a4.js:1

MethodconvertNameToId

(elem,isAssocType)

docs/static.files/search-f0d225181b97f9a4.js:1

MethodconvertTypeFilterOnElem

docs/static.files/search-f0d225181b97f9a4.js:1

MethodcreateAliasFromItem

docs/static.files/search-f0d225181b97f9a4.js:1

MethodcreateQueryResults

(results_in_args,results_returned,results_others,parsedQuery)

docs/static.files/search-f0d225181b97f9a4.js:1

Methoddoes_contradict_goals

Does this query contain a goal that contradicts the given term?

src/query.rs:252

Create an empty query, which is interpreted as true

src/query.rs:26

(&self, other: &Self)

src/symbol.rs:176

(&self, other: &Self)

Define a fact, which is a rule with no conditions. This rule is treated as always true by the solver.

MethodfetchDesc

docs/static.files/search-f0d225181b97f9a4.js:1

Methodfilter_out_complements

Filter out all the complements, returning only the positive goals

src/query.rs:67

(&self, f: &mut Formatter)

src/symbol.rs:203

(&self, f: &mut Formatter)

src/term.rs:688

(&self, f: &mut Formatter)

(&self, f: &mut Formatter)

src/rule.rs:317

(&self, f: &mut Formatter)

src/query.rs:335

src/symbol.rs:141

src/rule.rs:294

src/symbol.rs:104

src/symbol.rs:161

src/rule.rs:305

src/query.rs:324

Methodget_next_in_queue

Get the next item from the queue, depending on the traversal strategy.

Methodget_steps

Get the number of steps performed in the search.

Functiongradient_lines

(text: impl Display, color1: (f64, f64, f64), color2: (f64, f64, f64))

src/main.rs:409

MethodhandleAliases

(ret,query,filterCrates,currentCrate)

docs/static.files/search-f0d225181b97f9a4.js:1

MethodhandleArgs

(row,pos,results)

docs/static.files/search-f0d225181b97f9a4.js:1

FunctionhandleShortcut

docs/static.files/main-f070b9041d14864c.js:1

MethodhandleSingleArg

(row,pos,elem,results_others,results_in_args,results_returned,maxEditDistance,)

docs/static.files/search-f0d225181b97f9a4.js:1

Methodhas_only_complements

Does the query contain only complements? If there are no complements, this returns false

src/query.rs:59

Does the query contain any variables?

src/query.rs:284

(&self, state: &mut H)

docs/static.files/search-f0d225181b97f9a4.js:1

docs/static.files/search-f0d225181b97f9a4.js:1

FunctionhelpBlurHandler

docs/static.files/main-f070b9041d14864c.js:1

(&self, index: usize)

src/query.rs:363

FunctioninitResize

docs/static.files/main-f070b9041d14864c.js:11

MethodinnerRunQuery

docs/static.files/search-f0d225181b97f9a4.js:1

← previous next →201–300 of 395, ranked by callers