Expand README a bit

Cargo.toml

@@ -4,7 +4,7 @@ resolver = "2"
 
 [package]
 name = "strongly"
-version = "0.1.0"
+version = "0.1.1"
 description = "A proc macro to create strongly-typed primitives"
 authors = ["Folke <[email protected]>"]
 license = "MIT OR Apache-2.0"

README.md

@@ -12,8 +12,8 @@ it into a strongly-typed primitive. Supports all integers and floats, plus
 `bool` and `char`.
 
 ```rust
-#[strongly::typed(serde)]
-pub struct SpecialInt(u8);
+#[strongly::typed]
+struct MyType(u8);
 ```
 
 The attribute will also add all nine possible default derives (`Copy`, `Clone`,
@@ -23,22 +23,43 @@ The attribute will also add all nine possible default derives (`Copy`, `Clone`,
 
 * __convert__: Generate implemetations of `From`/`Into` between inner and outer
   types. Also add implementation of `Borrow` of all inner primitives except
-  floats. Provide `const` helper method to access inner primitive.
+  floats. Provide `const` helper method to access inner primitive. Without this
+  there's no way to access the wrapped primitive (Except for `mem::transmute` or
+  via `Display`/`FromStr`, etc.).
+* __serde__: Generate implementations of `Serialize` and `Deserialize` to and
+  from the representation of the primitive.
 * __deref__: Generate implementations of `Deref` and `DerefMut`.
-* __serde__: Generate implementations of `Serialize` and `Deserialize` to and from
-  the representation of the primitive.
 
-## Features
+```rust
+#[strongly::typed(convert, serde)]
+pub struct MyType(pub usize);
+```
 
-* Default: __std__
-* __std__: Doesn't do anything at the moment. None of the generated code requires
-  `std`.
+## Purpose
+
+The types generated by this crate are meant to fill the gap between using an
+untyped primitive and a specialized newtype struct. They're meant to be used as
+drop-in replacements for the primitives while providing the same isolation as
+newtype structs.
+
+The generated types implement all the traits and provide (almost) all the
+constants, functions and methods of the wrapped primitives. They are a very thin
+layer and will disappear during compilation.
 
 ## Caveats
 
 * It's not possible to loop over strongly-typed integer ranges because the
   `Step` trait is unstable. Instead, the macro generates helper methods to
   create (strongly-typed) iterators.
 * Strongly-typed `bool`s cannot be directly used as `if` condition expressions
-  nor can they be directly used in `&&` and `||` operations as these are not
-  implementable. (TODO: Offer `Deref<Target=bool>` via feature.)
+  nor can they be directly used in `&&` and `||` (short-circuit) operations as
+  these operators are not implementable. (TODO: Offer `Deref<Target=bool>` via
+  feature for convenience.)
+* Doc comments are largely missing, except for trait impls.
+  (TODO: Generate links to doc comments of primitives.)
+
+## Crate Features
+
+* Default: __std__
+* __std__: Doesn't do anything at the moment. None of the generated code requires
+  `std`.

tests/base.rs

@@ -1,4 +1,4 @@
-mod types;
+pub mod types;
 
 macro_rules! tests {
   ( $($inner:ident)+ ) => {