V0.5.19

Cargo.toml

@@ -6,7 +6,7 @@ repository = "https://github.com/tomoikey/refined_type"
 readme = "README.md"
 categories = ["accessibility", "development-tools", "rust-patterns"]
 license = "MIT"
-version = "0.5.18"
+version = "0.5.19"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

examples/1.rs

@@ -0,0 +1,45 @@
+use refined_type::rule::composer::{If, IfElse};
+use refined_type::rule::{
+    EmailStringRule, EvenRuleU8, ExistsVecRule, ForAllVecRule, GreaterRuleU8, HeadVecRule,
+    NonEmptyString, NonEmptyStringRule, NonEmptyVecRule,
+};
+use refined_type::{And, Refined};
+use serde::Deserialize;
+use std::fmt::Display;
+
+impl Display for Data {
+    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
+        write!(
+            f,
+            "name: {}, age: {}, friends: {:?}",
+            self.name, self.age, self.friends
+        )
+    }
+}
+
+#[allow(clippy::type_complexity)]
+#[derive(Debug, Deserialize)]
+pub struct Data {
+    name: NonEmptyString,
+    age: Refined<If<GreaterRuleU8<10>, EvenRuleU8>>,
+    friends: Refined<
+        IfElse<
+            And![ForAllVecRule<NonEmptyStringRule>, NonEmptyVecRule<String>],
+            HeadVecRule<EmailStringRule>,
+            ExistsVecRule<EmailStringRule>,
+        >,
+    >,
+}
+
+fn main() {
+    let data = r#"
+    {
+        "name": "John Doe",
+        "age": 20,
+        "friends": ["[email protected]", "Bob"]
+    }
+    "#;
+
+    let data: Data = serde_json::from_str(data).unwrap();
+    println!("{}", data); // name: John Doe, age: 20, friends: Refined { value: ["[email protected]", "Bob"] }
+}

src/rule/collection/index.rs

@@ -5,6 +5,7 @@ use std::collections::VecDeque;
 pub type Index<const INDEX: usize, RULE, ITERABLE> = Refined<IndexRule<INDEX, RULE, ITERABLE>>;
 pub type IndexVec<const INDEX: usize, RULE> = Refined<IndexRuleVec<INDEX, RULE>>;
 
+#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
 pub struct IndexRule<const INDEX: usize, RULE, ITERABLE>
 where
     RULE: Rule,

src/rule/collection/reverse.rs

@@ -7,6 +7,7 @@ use std::marker::PhantomData;
 pub type Reverse<RULE> = Refined<ReverseRule<RULE>>;
 
 /// Rule where the data in the collection satisfies the condition after reversing
+#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
 pub struct ReverseRule<RULE>
 where
     RULE: Rule,

src/rule/collection/skip.rs

@@ -21,6 +21,7 @@ pub type SkipVecDeque<RULE, OPTION> = Refined<SkipVecDequeRule<RULE, OPTION>>;
 pub type SkipString<RULE, OPTION> = Refined<SkipStringRule<RULE, OPTION>>;
 
 /// Rule where the data in the collection satisfies the condition after skipping the first element
+#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
 pub struct SkipRule<RULE, ITERABLE, OPTION>
 where
     RULE: Rule,

src/rule/collection/skip/option/no_skip.rs

@@ -1,5 +1,6 @@
 use crate::rule::SkipOption;
 
+#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
 pub struct NoSkip<T> {
     _phantom_data: std::marker::PhantomData<T>,
 }

src/rule/collection/skip/option/skip_even_index.rs

@@ -1,5 +1,6 @@
 use crate::rule::SkipOption;
 
+#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
 pub struct SkipEvenIndex<ITEM> {
     _phantom_data: std::marker::PhantomData<ITEM>,
 }

src/rule/collection/skip/option/skip_first.rs

@@ -1,5 +1,6 @@
 use crate::rule::SkipOption;
 
+#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
 pub struct SkipFirst<ITEM> {
     _phantom_data: std::marker::PhantomData<ITEM>,
 }

src/rule/collection/skip/option/skip_odd_index.rs

@@ -1,5 +1,6 @@
 use crate::rule::SkipOption;
 
+#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
 pub struct SkipOddIndex<ITEM> {
     _phantom_data: std::marker::PhantomData<ITEM>,
 }

src/rule/string/regex.rs

@@ -23,6 +23,7 @@ pub use regex::Regex;
 macro_rules! declare_regex_rule {
     ($vis:vis $rule:ident, $regex:literal) => {
         $crate::paste::item! {
+            #[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
             $vis struct $rule<STRING> {
                 _phantom: std::marker::PhantomData<STRING>,
             }