1use std::borrow::Cow;
7use std::fmt::Debug;
8
9use serde::{Deserialize, Serialize};
10use strum::{Display, EnumString, IntoStaticStr};
11
12#[derive(Clone, Copy, Hash, Debug, Default, Ord, PartialOrd, Eq, PartialEq)]
16#[allow(clippy::exhaustive_enums)] #[derive(Serialize, Deserialize)]
18#[serde(try_from = "BoolOrAutoSerde", into = "BoolOrAutoSerde")]
19pub enum BoolOrAuto {
20 #[default]
21 Auto,
23 Explicit(bool),
25}
26
27impl BoolOrAuto {
28 pub fn as_bool(self) -> Option<bool> {
40 match self {
41 BoolOrAuto::Auto => None,
42 BoolOrAuto::Explicit(v) => Some(v),
43 }
44 }
45}
46
47#[derive(Serialize, Deserialize)]
49#[serde(untagged)]
50enum BoolOrAutoSerde {
51 String(Cow<'static, str>),
53 Bool(bool),
55}
56
57impl From<BoolOrAuto> for BoolOrAutoSerde {
58 fn from(boa: BoolOrAuto) -> BoolOrAutoSerde {
59 use BoolOrAutoSerde as BoAS;
60 boa.as_bool()
61 .map(BoAS::Bool)
62 .unwrap_or_else(|| BoAS::String("auto".into()))
63 }
64}
65
66#[derive(thiserror::Error, Debug, Clone)]
68#[non_exhaustive]
69#[error(r#"Invalid value, expected boolean or "auto""#)]
70pub struct InvalidBoolOrAuto {}
71
72impl TryFrom<BoolOrAutoSerde> for BoolOrAuto {
73 type Error = InvalidBoolOrAuto;
74
75 fn try_from(pls: BoolOrAutoSerde) -> Result<BoolOrAuto, Self::Error> {
76 use BoolOrAuto as BoA;
77 use BoolOrAutoSerde as BoAS;
78 Ok(match pls {
79 BoAS::Bool(v) => BoA::Explicit(v),
80 BoAS::String(s) if s == "false" => BoA::Explicit(false),
81 BoAS::String(s) if s == "true" => BoA::Explicit(true),
82 BoAS::String(s) if s == "auto" => BoA::Auto,
83 _ => return Err(InvalidBoolOrAuto {}),
84 })
85 }
86}
87
88#[macro_export]
116macro_rules! impl_not_auto_value {
117 ($ty:ty) => {
118 $crate::deps::paste! {
119 impl $crate::NotAutoValue for $ty {}
120
121 #[cfg(test)]
122 #[allow(non_snake_case)]
123 mod [<test_not_auto_value_ $ty>] {
124 #[allow(unused_imports)]
125 use super::*;
126
127 #[test]
128 fn [<auto_is_not_a_valid_value_for_ $ty>]() {
129 let res = $crate::deps::serde_value::Value::String(
130 "auto".into()
131 ).deserialize_into::<$ty>();
132
133 assert!(
134 res.is_err(),
135 concat!(
136 stringify!($ty), " is not a valid NotAutoValue type: ",
137 "NotAutoValue types should not be deserializable from \"auto\""
138 ),
139 );
140 }
141 }
142 }
143 };
144}
145
146#[derive(Clone, Copy, Hash, Debug, Default, Ord, PartialOrd, Eq, PartialEq)]
205#[allow(clippy::exhaustive_enums)] #[derive(Serialize, Deserialize)]
207pub enum ExplicitOrAuto<T: NotAutoValue> {
208 #[default]
210 #[serde(rename = "auto")]
211 Auto,
212 #[serde(untagged)]
214 Explicit(T),
215}
216
217impl<T: NotAutoValue> ExplicitOrAuto<T> {
218 pub fn into_value(self) -> Option<T> {
230 match self {
231 ExplicitOrAuto::Auto => None,
232 ExplicitOrAuto::Explicit(v) => Some(v),
233 }
234 }
235
236 pub fn as_value(&self) -> Option<&T> {
240 match self {
241 ExplicitOrAuto::Auto => None,
242 ExplicitOrAuto::Explicit(v) => Some(v),
243 }
244 }
245}
246
247pub trait NotAutoValue {}
254
255macro_rules! impl_not_auto_value_for_types {
257 ($($ty:ty)*) => {
258 $(impl_not_auto_value!($ty);)*
259 }
260}
261
262impl_not_auto_value_for_types!(
264 i8 i16 i32 i64 i128 isize
265 u8 u16 u32 u64 u128 usize
266 f32 f64
267 char
268 bool
269);
270
271#[derive(Clone, Copy, Hash, Debug, Ord, PartialOrd, Eq, PartialEq)]
283#[allow(clippy::exhaustive_enums)] #[derive(Serialize, Deserialize)]
285#[serde(try_from = "PaddingLevelSerde", into = "PaddingLevelSerde")]
286#[derive(Display, EnumString, IntoStaticStr)]
287#[strum(serialize_all = "snake_case")]
288#[derive(Default)]
289pub enum PaddingLevel {
290 None,
292 Reduced,
294 #[default]
296 Normal,
297}
298
299#[derive(Serialize, Deserialize)]
301#[serde(untagged)]
302enum PaddingLevelSerde {
303 String(Cow<'static, str>),
307 Bool(bool),
309}
310
311impl From<PaddingLevel> for PaddingLevelSerde {
312 fn from(pl: PaddingLevel) -> PaddingLevelSerde {
313 PaddingLevelSerde::String(<&str>::from(&pl).into())
314 }
315}
316
317#[derive(thiserror::Error, Debug, Clone)]
319#[non_exhaustive]
320#[error("Invalid padding level")]
321struct InvalidPaddingLevel {}
322
323impl TryFrom<PaddingLevelSerde> for PaddingLevel {
324 type Error = InvalidPaddingLevel;
325
326 fn try_from(pls: PaddingLevelSerde) -> Result<PaddingLevel, Self::Error> {
327 Ok(match pls {
328 PaddingLevelSerde::String(s) => {
329 s.as_ref().try_into().map_err(|_| InvalidPaddingLevel {})?
330 }
331 PaddingLevelSerde::Bool(false) => PaddingLevel::None,
332 PaddingLevelSerde::Bool(true) => PaddingLevel::Normal,
333 })
334 }
335}
336
337#[cfg(test)]
338mod test {
339 #![allow(clippy::bool_assert_comparison)]
341 #![allow(clippy::clone_on_copy)]
342 #![allow(clippy::dbg_macro)]
343 #![allow(clippy::mixed_attributes_style)]
344 #![allow(clippy::print_stderr)]
345 #![allow(clippy::print_stdout)]
346 #![allow(clippy::single_char_pattern)]
347 #![allow(clippy::unwrap_used)]
348 #![allow(clippy::unchecked_duration_subtraction)]
349 #![allow(clippy::useless_vec)]
350 #![allow(clippy::needless_pass_by_value)]
351 use super::*;
353
354 #[derive(Debug, Default, Deserialize, Serialize)]
355 struct TestConfigFile {
356 #[serde(default)]
357 something_enabled: BoolOrAuto,
358
359 #[serde(default)]
360 padding: PaddingLevel,
361
362 #[serde(default)]
363 auto_or_usize: ExplicitOrAuto<usize>,
364
365 #[serde(default)]
366 auto_or_bool: ExplicitOrAuto<bool>,
367 }
368
369 #[test]
370 fn bool_or_auto() {
371 use BoolOrAuto as BoA;
372
373 let chk = |pl, s| {
374 let tc: TestConfigFile = toml::from_str(s).expect(s);
375 assert_eq!(pl, tc.something_enabled, "{:?}", s);
376 };
377
378 chk(BoA::Auto, "");
379 chk(BoA::Auto, r#"something_enabled = "auto""#);
380 chk(BoA::Explicit(true), r#"something_enabled = true"#);
381 chk(BoA::Explicit(true), r#"something_enabled = "true""#);
382 chk(BoA::Explicit(false), r#"something_enabled = false"#);
383 chk(BoA::Explicit(false), r#"something_enabled = "false""#);
384
385 let chk_e = |s| {
386 let tc: Result<TestConfigFile, _> = toml::from_str(s);
387 let _ = tc.expect_err(s);
388 };
389
390 chk_e(r#"something_enabled = 1"#);
391 chk_e(r#"something_enabled = "unknown""#);
392 chk_e(r#"something_enabled = "True""#);
393 }
394
395 #[test]
396 fn padding_level() {
397 use PaddingLevel as PL;
398
399 let chk = |pl, s| {
400 let tc: TestConfigFile = toml::from_str(s).expect(s);
401 assert_eq!(pl, tc.padding, "{:?}", s);
402 };
403
404 chk(PL::None, r#"padding = "none""#);
405 chk(PL::None, r#"padding = false"#);
406 chk(PL::Reduced, r#"padding = "reduced""#);
407 chk(PL::Normal, r#"padding = "normal""#);
408 chk(PL::Normal, r#"padding = true"#);
409 chk(PL::Normal, "");
410
411 let chk_e = |s| {
412 let tc: Result<TestConfigFile, _> = toml::from_str(s);
413 let _ = tc.expect_err(s);
414 };
415
416 chk_e(r#"padding = 1"#);
417 chk_e(r#"padding = "unknown""#);
418 chk_e(r#"padding = "Normal""#);
419 }
420
421 #[test]
422 fn explicit_or_auto() {
423 use ExplicitOrAuto as EOA;
424
425 let chk = |eoa: EOA<usize>, s| {
426 let tc: TestConfigFile = toml::from_str(s).expect(s);
427 assert_eq!(
428 format!("{:?}", eoa),
429 format!("{:?}", tc.auto_or_usize),
430 "{:?}",
431 s
432 );
433 };
434
435 chk(EOA::Auto, r#"auto_or_usize = "auto""#);
436 chk(EOA::Explicit(20), r#"auto_or_usize = 20"#);
437
438 let chk_e = |s| {
439 let tc: Result<TestConfigFile, _> = toml::from_str(s);
440 let _ = tc.expect_err(s);
441 };
442
443 chk_e(r#"auto_or_usize = """#);
444 chk_e(r#"auto_or_usize = []"#);
445 chk_e(r#"auto_or_usize = {}"#);
446
447 let chk = |eoa: EOA<bool>, s| {
448 let tc: TestConfigFile = toml::from_str(s).expect(s);
449 assert_eq!(
450 format!("{:?}", eoa),
451 format!("{:?}", tc.auto_or_bool),
452 "{:?}",
453 s
454 );
455 };
456
457 chk(EOA::Auto, r#"auto_or_bool = "auto""#);
459 chk(EOA::Explicit(false), r#"auto_or_bool = false"#);
460
461 chk_e(r#"auto_or_bool= "not bool or auto""#);
462
463 let mut config = TestConfigFile::default();
464 let toml = toml::to_string(&config).unwrap();
465 assert_eq!(
466 toml,
467 r#"something_enabled = "auto"
468padding = "normal"
469auto_or_usize = "auto"
470auto_or_bool = "auto"
471"#
472 );
473
474 config.auto_or_bool = ExplicitOrAuto::Explicit(true);
475 let toml = toml::to_string(&config).unwrap();
476 assert_eq!(
477 toml,
478 r#"something_enabled = "auto"
479padding = "normal"
480auto_or_usize = "auto"
481auto_or_bool = true
482"#
483 );
484 }
485}