Prepare the next release.

Author: nekitdev

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "refinement-types"
-version = "0.1.0"
+version = "0.2.0"
 authors = ["nekitdev <[email protected]>"]
 edition = "2024"
 description = "Refinement types."
@@ -13,8 +13,6 @@ categories = ["no-std", "no-std::no-alloc", "rust-patterns"]
 
 [dependencies.miette]
 version = "7.5.0"
-# TODO: remove this
-features = ["fancy"]
 optional = true
 
 [dependencies.paste]
@@ -39,8 +37,7 @@ features = ["regex", "serde"]
 path = "."
 
 [features]
-# TODO: `std` feature by default
-default = ["diagnostics"]
+default = ["std"]
 serde = ["dep:serde"]
 regex = ["dep:regex", "std"]
 diagnostics = ["dep:miette", "std"]

README.md

@@ -21,7 +21,7 @@ Or by directly specifying it in the configuration like so:
 
 ```toml
 [dependencies]
-refinement-types = "0.1.0"
+refinement-types = "0.2.0"
 ```
 
 Alternatively, you can add it directly from the source:
@@ -42,13 +42,13 @@ git = "https://github.com/nekitdev/refinement-types.git"
 
 use core::fmt;
 
-use refinement_types::{Refinement, int::U8Closed, length::Closed, logic::And, str::IsAscii};
+use refinement_types::{Refinement, int::u8, length, logic::And, str};
 
 /// Represents device names.
-pub type Name<'n> = Refinement<&'n str, And<Closed<1, 32>, IsAscii>>;
+pub type Name<'n> = Refinement<&'n str, And<str::Ascii, length::Closed<1, 32>>>;
 
 /// Represents device charge, in percentage.
-pub type Charge = Refinement<u8, U8Closed<1, 100>>;
+pub type Charge = Refinement<u8, u8::Closed<1, 100>>;
 
 /// Represents devices.
 #[derive(Debug)]
@@ -83,16 +83,16 @@ impl<'d> Device<'d> {
 ```rust
 // main.rs
 
+use anyhow::Result;
 use device::{Charge, Device, Name};
-use refinement_types::MessageError;
 
-fn main() -> Result<(), MessageError> {
-    let charge = Charge::refine(69)?;
+fn main() -> Result<()> {
+    let charge = Charge::refine(13)?;
     let name = Name::refine("nekit")?;
 
     let device = Device::new(name, charge);
 
-    println!("{device}"); // nekit: 69%
+    println!("{device}"); // nekit: 13%
 
     Ok(())
 }

changelogging.toml

@@ -1,6 +1,6 @@
 [context]
 name = "refinement-types"
-version = "0.1.0"
+version = "0.2.0"
 url = "https://github.com/nekitdev/refinement-types"
 
 [formats]

changes/~rewrite.change.md

@@ -0,0 +1,2 @@
+The entire crate has been rewritten; please refer to the
+[documentation](https://docs.rs/refinement-types).

src/core.rs

@@ -301,7 +301,7 @@ where
     P::Error: ErrorCore + 'static,
 {
     fn source(&self) -> Option<&(dyn ErrorCore + 'static)> {
-        Some(&self.error)
+        Some(self.error())
     }
 }
 
@@ -319,7 +319,7 @@ where
     }
 
     fn diagnostic_source(&self) -> Option<&dyn Diagnostic> {
-        Some(&self.error)
+        Some(self.error())
     }
 }
 
@@ -436,6 +436,7 @@ impl<T, P: Predicate<T> + ?Sized, H: TypeStr + ?Sized> Refinement<T, P, H> {
     }
 
     /// Returns a reference to the value of the refinement.
+    #[allow(clippy::missing_const_for_fn)]
     pub fn get(&self) -> &T {
         #[cfg(feature = "unsafe-assert")]
         self.assert_refined();

src/lib.rs

@@ -9,7 +9,7 @@
 //! TODO
 
 #![cfg_attr(not(feature = "std"), no_std)]
-#![warn(missing_docs)]
+#![deny(missing_docs)]
 #![cfg_attr(docsrs, feature(doc_auto_cfg))]
 
 #[cfg(feature = "alloc")]
@@ -23,7 +23,7 @@ pub mod length;
 #[macro_use]
 pub mod logic;
 pub mod static_str;
-// pub mod str;
+pub mod str;
 #[macro_use]
 pub mod type_str;
 

src/str/bytes.rs

@@ -0,0 +1 @@
+//! Predicates based on bytes of strings.

src/str/chars.rs

@@ -0,0 +1 @@
+//! Predicates based on characters of strings.