bolt

Releases (13)

• 1.27.0.0 indexed
• 1.26.0.0 unindexed
• 1.25.0.0 unindexed
• 1.24.0.0 unindexed
• 1.23.0.0 unindexed
• 1.22.0.0 unindexed
• 1.21.0.0 unindexed
• 1.20.0.0 unindexed
• 1.19.0.0 unindexed
• 1.18.0.0 unindexed
• 1.17.0.0 unindexed
• 1.12.0.0 unindexed
• 1.11.0.0 unindexed

Definitions (1,644)

src/syntax/tree.bend

• def fresha significant token that starts a line: at column 0 it closes every open group (unless it is a bracket closing one of them); outside a group it opens a statement
• def pushan open bracket or a leaf into the innermost frame
• def stepglued: the previous token was a name with nothing between
• def is_name_tokan identifier of any kind (what `<` glues to)
• def runevery token, in order
• def rootthe items gathered in the root frame
• def finishthe tree once the tokens are over: every group and statement closes
• def of_tokensthe items of a source: a chain of statements
• def parsethe items of a source: a chain of statements
• def show_closea group's close bracket, `..` when it never closed
• def show`[def f (x : U32) -> U32 : {[match x {[case A {} : {[1]}]}]}]`: a statement in brackets, its body in braces, a group as its brackets (an unclosed one ends in `..`)

src/syntax/word.bend

• type Wi: the column of the next char; start: where the current run began; run: the current name, reversed; hit: the name found
• def is_namea char a name may hold: letters, digits, `_` and `.`
• def textthe run's chars (reversed) as a string
• def close.yesthe run holds the column: keep it; otherwise the hit so far
• def close.runan empty run leaves the hit; otherwise the run if start <= col <= i
• def closea run that ends at column i holds col when start <= col <= i, unless one already did
• def step.ona name char joins the run; any other char ends it
• def stepone char: it extends the run of name chars, or ends it (a run holding the column is the answer)
• def finishthe run that held the column, else ""
• def at.skip.nlines still to skip after this char; a newline counts as one
• def at.skip.donethe next char starts the wanted line when this one was its preceding newline
• def at.skipthe source with `n` lines skipped.
• def at.advancea newline ends the line; any other char is part of it
• def at.readthe name at col, from here up to the next newline
• def atthe name under a (line, col) of a source, "" when none
• def cut.go`Alias.rest` cut at its first dot: ("Alias", "rest"); no dot: (name, "")
• def cut`Alias.rest` cut at its first dot: ("Alias", "rest"); no dot: (name, "")
• def fsta pair's first
• def snda pair's second
• def headthe part before the first dot
• def restthe part after the first dot, "" when there is none
• def run_ofthe leading run of name chars
• def beforethe name that ends at (line, col): what is being typed, for completion

src/version.bend

• def textthe release number

src/walk/disk.bend

• def walkdir.entriesevery name directly in the directory, one a line
• def namedthe named lines: the text ends in a newline, so the last line is empty
• def entriesa directory's entries, a directory marked by a `/`
• def is_dir.codewhether a first read failed as a directory's does (EISDIR, 21, in C and in node alike)
• def is_dir.gotthe file closed, and what its first read said
• def is_dir.openeda path that opened: read one byte and see; one that did not is no directory
• def is_dirwhether a path is a directory: it opens, and reading it fails as a directory's read does.
• def walkdir.cwdthe working directory, from the root; "" when it cannot be named
• def cwdthe working directory, from the root ("" when it cannot be named)