add Validated

chapiteau-team · Aug 27, 2023 · 1a1d19a · 1a1d19a
1 parent 6bb2922
commit 1a1d19a
Show file tree

Hide file tree

Showing 5 changed files with 884 additions and 2 deletions.
diff --git a/src/combinator.rs b/src/combinator.rs
@@ -185,7 +185,7 @@ constant_arity!(12);
 /// let actual = Some(1).map(id);
 /// assert_eq!(Some(1), actual);
 /// ```
-#[inline]
+#[inline(always)]
 pub const fn id<T>(x: T) -> T {
  x
 }

diff --git a/src/data/mod.rs b/src/data/mod.rs
@@ -0,0 +1,3 @@
+//! Data types.
+
+pub mod validated;