bend-lint-pack

Releases (1)

• 0.1.1.0 indexed

Definitions (166)

dead/def.bend

• def verdict.roots
• def verdict.laws
• def verdict
• def run
• def main

graph/fan_in.bend

• def id
• def facts
• def message
• def judge.one
• def judge
• def verdict
• def run
• def main

graph/fan_out.bend

• def id
• def facts
• def message
• def judge.one
• def judge
• def verdict
• def run
• def main

vendor/lint.bend

• type FactA checked term, a type, and a node of a checked body: indexes into bend-lint's tables for one run.
• type Term
• type Node
• type Source
• type ValueAn option's value: a whole number (a U32), a boolean, or text.
• type Option
• type Input
• type ScopeFile: facts of the linted file.
• type WantThe facts a rule needs.
• type Span
• type Severity
• type ApplicabilitySafe keeps behavior; Suggested may change it; Dangerous may break code.
• type Edit
• type Fix
• type Diag
• type QuantityHow many times a term may be used.
• type Use
• type ViewA fact as bend-lint sees it: the def it is in, whether that def is a template instance, the kind of its term once an annotation is stripped (Var, App, ...), the name a Var or Ref points to (else ""), how many times the term is demanded, and the spans of the checked term and of the stripped one.
• type ShapeA node: its kind, annotations kept (Ann, Var, App, ...), the name a Var or Ref points to (else ""), its span, and its children, in bend's order.
• def input
• def report
• def next_factThe next fact the rule asked for, or None{} when none are left.
• def fold_nextOne step of fold_facts: stop at None{}, else run step and go on.
• def fold_facts
• def view
• def type_ofThe type the fact's term was checked against, or inferred.
• def binderThe type of the binder a Var fact refers to.
• def sameWhether two types are equal, as the checker compares them in the fact's scope.
• def show
• def normalThe normal form of a type, in the fact's scope.
• def usesThe variables the fact's term uses, each with how many times.
• def textThe text under a span, in the file on disk.
• def bodyA def's checked body, if it has one.
• def nodeThe node a fact is about.
• def shape
• def factThe node's fact, if the rule asked for it.
• def pick
• def findThe value of an option, if it is given.
• def option_number_or
• def option_numberAn option's value, or `default` when it is not given or of another type.
• def option_flag_or
• def option_flag
• def option_text_or
• def option_text
• def serve