blue-lang-syntax 0.0.113

blue's surface syntax: lexer, parser, and lowering to the tatara-lisp quoted form.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69

// @generated by crates/blue-lang-syntax/gen/kigou.b (sabi). Do not edit: regenerate from the source.

/// The typographic spellings of blue's operators.
///
/// Curated in `gen/kigou.b`, not inferred: every row is a symbol that mathematics
/// or ordinary typography already uses for exactly this operator, so a reader
/// needs no lookup. A symbol whose meaning would have to be *taught* belongs in an
/// identifier instead, where the author names it.
pub const OPERATOR_ALIASES: &[(char, &str, &str)] = &[
    ('≠', "!=", "not equal"),
    ('≤', "<=", "less than or equal"),
    ('≥', ">=", "greater than or equal"),
    ('×', "*", "multiplication"),
    ('÷', "/", "division"),
    ('−', "-", "minus sign (U+2212, not the ASCII hyphen)"),
    ('∧', "&&", "logical and"),
    ('∨', "||", "logical or"),
    ('¬', "!", "logical not"),
    ('≡', "==", "identical to"),
];

/// The symbols blue explicitly welcomes inside identifiers.
///
/// Not exhaustive — [`super::classify`] admits any alphabetic character and any
/// symbol not on the operator list — but *named*, because a catalog a reader
/// can scan is worth more than a rule they have to infer. These are the ones
/// worth reaching for.
pub const WELCOME: &[(char, &str)] = &[
    ('λ', "lambda — the traditional name for an anonymous function"),
    ('∀', "for all"),
    ('∃', "there exists"),
    ('∈', "element of"),
    ('∉', "not an element of"),
    ('∅', "the empty set"),
    ('∪', "union"),
    ('∩', "intersection"),
    ('⊆', "subset of"),
    ('∘', "function composition"),
    ('∑', "sum"),
    ('∏', "product"),
    ('√', "square root"),
    ('∞', "infinity"),
    ('∂', "partial derivative"),
    ('∇', "gradient / nabla"),
    ('∫', "integral"),
    ('→', "maps to / implies"),
    ('←', "assigned from"),
    ('↔', "if and only if"),
    ('⇒', "implies"),
    ('⊤', "top / true"),
    ('⊥', "bottom / false"),
    ('⊢', "proves / entails"),
    ('π', "pi"),
    ('α', "alpha"),
    ('β', "beta"),
    ('γ', "gamma"),
    ('δ', "delta"),
    ('ε', "epsilon"),
    ('θ', "theta"),
    ('μ', "mu"),
    ('σ', "sigma"),
    ('φ', "phi"),
    ('ω', "omega"),
    ('ℕ', "the naturals"),
    ('ℤ', "the integers"),
    ('ℚ', "the rationals"),
    ('ℝ', "the reals"),
    ('ℂ', "the complex numbers"),
];