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

↓ 2 callersFunctiondisplaySettings

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

↓ 2 callersFunctionexpandAllDocs

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

↓ 2 callersFunctionexpandSection

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

↓ 2 callersFunctionfocusSearchResult

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

↓ 2 callersFunctiongetExampleWrap

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

↓ 2 callersFunctiongetFilterCrates

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

↓ 2 callersFunctiongetHelpMenu

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

↓ 2 callersFunctiongetIdentEndPosition

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

↓ 2 callersFunctiongetNextElem

(query,parserState,elems,isInGenerics)

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

↓ 2 callersFunctiongetNotDisplayedElem

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

↓ 2 callersFunctiongetOrCreateSection

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

↓ 2 callersFunctiongetVirtualKey

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

↓ 2 callersFunctionget_last_ansi_code_at

(art: &str, row: usize, col: usize)

src/main.rs:614

↓ 2 callersFunctionhandleEscape

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

↓ 2 callersFunctionhighlightSrcLines

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

↓ 2 callersFunctionhsv_to_rgb

(c: (f64, f64, f64))

src/main.rs:276

↓ 2 callersFunctioninitSearch

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

↓ 2 callersFunctionisLastElemGeneric

(elems,parserState)

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

↓ 2 callersMethodnegate

Complement this term. If this term is a boolean term, it will be negated. If this term is already a complement, the complement will be removed. All o

src/term.rs:149

↓ 2 callersFunctionnew_symbol

src/symbol.rs:47

↓ 2 callersFunctionnextTab

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

↓ 2 callersFunctiononChangeLoc

docs/static.files/scrape-examples-46fc985aa763a438.js:1

↓ 2 callersFunctiononEach

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

↓ 2 callersFunctionopenParentDetails

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

↓ 2 callersMethodparseQuery

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

↓ 2 callersFunctionparse_query

src/parse.rs:407

↓ 2 callersFunctionparse_rule

Parse a single `Rule`: `head :- goal1, goal2, ... .` or a fact: `head.`

src/parse.rs:398

↓ 2 callersMethodprove_false

Attempt to prove that the query is false using the search configuration. If the query is false, it will be added to the set of proven false queries,

↓ 2 callersMethodprune_redundant_variables

Remove useless variables. If X is bound to Y, and Y is bound to Z, then X is bound to Z.

↓ 2 callersFunctionputBackSearch

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

↓ 2 callersFunctionreapply_ansi_to_plain

(template: &str, colored: &str)

src/main.rs:654

↓ 2 callersMethodreduce

Simplify the query by substituting an environment's variable bindings into the query's goals. This makes the query's goals more concrete. This does n

src/query.rs:307

↓ 2 callersMethodrefresh

Refresh all the variables in the rule. This is useful when the rule is being applied to a term, and we don't want to accidentally have name collision

src/rule.rs:235

↓ 2 callersFunctionresourcePath

(basename,extension)

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

↓ 2 callersFunctionrgb_text

(text: impl Display, color: (u8, u8, u8))

src/main.rs:395

↓ 2 callersFunctionsetImplementorsTogglesOpen

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

↓ 2 callersFunctionset_fragment

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

↓ 2 callersFunctionsetupLoc

(example,isHidden)

docs/static.files/scrape-examples-46fc985aa763a438.js:1

↓ 2 callersFunctionshowHelp

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

↓ 2 callersFunctionshowSidebar

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

↓ 2 callersMethodsize

Get the size of this term. The size of a term is the number of nodes in the term tree. This is useful for creating a heuristic for selecting which t

src/term.rs:123

↓ 2 callersMethodsort_queue

Sort the queue of queries using the sorter function.

↓ 2 callersFunctionswitchTheme

(newThemeName,saveTheme)

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

↓ 2 callersMethodtraverse_mut

Apply a function that mutates this term, and all subterms recursively. When the function returns false, the traversal stops. When the function return

src/term.rs:523

↓ 2 callersMethodunify_in_place

Unify this term with another term. This will attempt to bind the variable terms in this term to the corresponding terms in the other term. If the st

src/term.rs:185

↓ 2 callersFunctionupdateLightAndDark

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

↓ 2 callersFunctionupdateSearchHistory

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

↓ 2 callersFunctionupdateTheme

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

↓ 2 callersMethoduse_saved_solutions

(&self, env: &Env<Self>, query: &Query)

src/solvers/mod.rs:59

↓ 2 callersMethodvar_bindings_mut

Get the mutable variable bindings for the environment.

↓ 2 callersMethodwith_clean_memoization

Create a new search configuration with the given clean memoization setting.

↓ 2 callersMethodwith_pruning

Create a new search configuration with the given pruning setting.

↓ 2 callersMethodwith_reduce_query

Create a new search configuration with the given reduce query setting.

↓ 2 callersMethodwith_sorter

Create a new search configuration with the given sorter function, and the number of steps to sort after.

↓ 2 callersMethodwith_sorting_enabled

Enable sorting the queue of queries after a certain number of steps.

↓ 2 callersMethodwith_traversal

Create a new search configuration with the given traversal strategy.

↓ 2 callersMethodwith_width_limit

Create a new search configuration with the given width limit.

↓ 1 callersFunctionaddCopyButton

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

↓ 1 callersFunctionaddSidebarCrates

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

↓ 1 callersFunctionaddSidebarItems

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

↓ 1 callersMethodadd_negative_goal

Add a negative goal to the query. This means that the goal must be proven false for the query to be true.

src/query.rs:242

↓ 1 callersMethodadd_rule

Add a rule to the environment.

↓ 1 callersFunctionansi_hsv_bg

(h: f64, s: f64, v: f64)

src/main.rs:264

↓ 1 callersFunctionansi_rgb_bg

(r: u8, g: u8, b: u8)

src/main.rs:259

↓ 1 callersMethodapply_rules

Apply all the rules in the environment to the goal term, adding the new goals to the query.

↓ 1 callersFunctionascii_art_fg_bg

(fg_art: &str, bg_art: &str)

src/main.rs:719

↓ 1 callersFunctionascii_art_with_border

(art: &str, border: Border)

src/main.rs:571

↓ 1 callersMethodbuildIndex

(rawSearchIndex)

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

↓ 1 callersFunctionbuildSettingsPage

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

↓ 1 callersFunctionbuildSettingsPageSections

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

↓ 1 callersFunctioncheckExtraTypeFilterCharacters

(start,parserState)

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

↓ 1 callersFunctionclear_screen

src/main.rs:404

↓ 1 callersFunctioncopyCode

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

↓ 1 callersFunctioncreateDirEntry

(elem,parent,fullPath,hasFoundFile)

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

↓ 1 callersFunctioncreateQueryElement

(query,parserState,name,generics,isInGenerics)

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

↓ 1 callersFunctioncreateSrcSidebar

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

↓ 1 callersFunctioncrop_ascii_art

(art: &str, new_width: usize, new_height: usize)

src/main.rs:517

↓ 1 callersMethoddecodeList

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

↓ 1 callersFunctioneval_helper

(mut input: &str, env: &mut Env<S>)

src/util/mod.rs:45

↓ 1 callersMethodexecQuery

(parsedQuery,filterCrates,currentCrate)

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

↓ 1 callersMethodfind_solutions_bfs

Perform a BFS search for solutions, using the given search configuration.

src/env.rs:1014

↓ 1 callersMethodfind_solutions_dfs

Perform a DFS search for solutions, using the given search configuration.

↓ 1 callersFunctiongetAlternativeDisplayElem

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

↓ 1 callersFunctiongetCurrentValue

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

↓ 1 callersFunctiongetStringElem

(query,parserState,isInGenerics)

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

↓ 1 callersMethodget_rules

Get the rules for the environment.

↓ 1 callersFunctiongradient

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

src/main.rs:342

↓ 1 callersFunctionhandleHashes

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

↓ 1 callersMethodhas_vars

Does this term contain any variables?

src/term.rs:358

↓ 1 callersFunctionhideLightAndDark

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

↓ 1 callersFunctionhideMain

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

↓ 1 callersMethodid

src/symbol.rs:90

↓ 1 callersFunctioninsertAfter

(newNode,referenceNode)

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

↓ 1 callersFunctionisPathSeparator

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

↓ 1 callersFunctionisSidebarHidden

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

↓ 1 callersFunctionisSpecialStartCharacter

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

↓ 1 callersMethodis_app

Is this term an application term?

src/term.rs:201

↓ 1 callersMethodmight_apply_to

Might this rule apply to a term? If the term is an application, and the function name and arity match, then the rule might apply. If the function nam

src/rule.rs:151

↓ 1 callersFunctiononHashChange

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

↓ 1 callersFunctionparse_bool

Parse a boolean: `true` or `false`.

src/parse.rs:59

← previous next →101–200 of 395, ranked by callers