numbat-cli 1.23.0

A statically typed programming language for scientific computations with first class support for physical dimensions and units.
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135

use clap::ValueEnum;
use numbat::compact_str::CompactString;
use serde::{Deserialize, Serialize};

#[derive(Serialize, Deserialize, PartialEq, Eq, Default, Debug, Clone, Copy, ValueEnum)]
#[serde(rename_all = "kebab-case")]
pub enum IntroBanner {
    #[default]
    Long,
    Short,
    Off,
}

#[derive(Debug, Clone, Copy, PartialEq, ValueEnum, Serialize, Deserialize)]
#[serde(rename_all = "kebab-case")]
pub enum PrettyPrintMode {
    Always,
    Never,
    Auto,
}

#[derive(Serialize, Deserialize, PartialEq, Eq, Default)]
#[serde(rename_all = "kebab-case")]
pub enum ExchangeRateFetchingPolicy {
    /// Always fetch exchange rates in the background when the application is started
    #[default]
    OnStartup,

    /// Fetch exchange rates when a currency symbol is used
    OnFirstUse,

    /// Never fetch exchange rates
    Never,
}

#[derive(Serialize, Deserialize)]
#[serde(rename_all = "kebab-case", default, deny_unknown_fields)]
#[derive(Default)]
pub struct ExchangeRateConfig {
    pub fetching_policy: ExchangeRateFetchingPolicy,
}

#[derive(Serialize, Deserialize)]
#[serde(rename_all = "kebab-case", default, deny_unknown_fields)]
pub struct FormattingConfig {
    /// Digit separator for large integers (e.g., "_" or ","). Empty to disable.
    pub digit_separator: CompactString,

    /// Minimum number of digits before adding separators.
    pub digit_grouping_threshold: usize,

    /// Maximum significant digits for floating-point display.
    pub significant_digits: usize,

    /// The strftime format string for DateTime values.
    pub datetime: CompactString,
}

impl Default for FormattingConfig {
    fn default() -> Self {
        Self {
            digit_separator: CompactString::const_new("_"),
            digit_grouping_threshold: 6,
            significant_digits: 6,
            datetime: CompactString::const_new(numbat::datetime::DEFAULT_DATETIME_FORMAT),
        }
    }
}

impl FormattingConfig {
    pub fn to_format_options(&self) -> numbat::FormatOptions {
        numbat::FormatOptions {
            digit_separator: self.digit_separator.to_string(),
            digit_grouping_threshold: self.digit_grouping_threshold,
            significant_digits: self.significant_digits,
            datetime_format: self.datetime.to_string(),
        }
    }
}

#[derive(Serialize, Deserialize, PartialEq, Eq, Default, Debug, Clone, ValueEnum)]
#[serde(rename_all = "kebab-case")]
pub enum ColorMode {
    Always,
    Never,
    #[default]
    Auto,
}

#[derive(Serialize, Deserialize, PartialEq, Eq, Default, Debug, Clone, Copy, ValueEnum)]
#[serde(rename_all = "kebab-case")]
pub enum EditMode {
    #[default]
    Emacs,
    Vi,
}

#[derive(Serialize, Deserialize)]
#[serde(rename_all = "kebab-case", default, deny_unknown_fields)]
pub struct Config {
    pub intro_banner: IntroBanner,
    pub prompt: CompactString,
    pub pretty_print: PrettyPrintMode,
    pub color: ColorMode,
    pub edit_mode: EditMode,

    #[serde(skip)]
    pub enter_repl: bool,

    #[serde(skip_serializing)]
    pub load_prelude: bool,

    #[serde(skip_serializing)]
    pub load_user_init: bool,

    pub formatting: FormattingConfig,
    pub exchange_rates: ExchangeRateConfig,
}

impl Default for Config {
    fn default() -> Self {
        Self {
            prompt: CompactString::const_new(">>> "),
            intro_banner: IntroBanner::default(),
            pretty_print: PrettyPrintMode::Auto,
            color: ColorMode::default(),
            edit_mode: EditMode::default(),
            load_prelude: true,
            load_user_init: true,
            formatting: FormattingConfig::default(),
            exchange_rates: Default::default(),
            enter_repl: true,
        }
    }
}