Skip to main content

oxilean_std/decidable/
boolreflect_traits.rs

1//! # BoolReflect - Trait Implementations
2//!
3//! This module contains trait implementations for `BoolReflect`.
4//!
5//! ## Implemented Traits
6//!
7//! - `From`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::BoolReflect;
12
13impl From<bool> for BoolReflect {
14    fn from(b: bool) -> Self {
15        if b {
16            BoolReflect::IsTrue
17        } else {
18            BoolReflect::IsFalse
19        }
20    }
21}