Crate refined_type

Re-exports

• pub use paste;

Modules

• result
• rule

Macros

• equal_rule
  This macro generates a rule that checks if the number is equal to N
• greater_rule
  This macro generates a rule that checks if the number is greater than N
• length_equal
  This macro generates a rule that checks if the length of the target is equal to N
• length_greater_than
  This macro generates a rule that checks if the length of the target is greater than N
• length_less_than
  This macro generates a rule that checks if the length of the target is less than N
• less_rule
  This macro generates a rule that checks if the number is less than N

Structs

• Refined
  Refined is a versatile type in ensuring that T satisfies the conditions of RULE (predicate type)