Docs updated

viktorlott · Jan 16, 2023 · 37a2ae2 · 37a2ae2
1 parent 38da8df
commit 37a2ae2
Show file tree

Hide file tree

Showing 4 changed files with 34 additions and 5 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "typer"
+name = "typed"
 version = "0.1.0"
 edition = "2021"
 description = "Get the types of a struct"

diff --git a/README.md b/README.md
@@ -35,6 +35,34 @@ trait Trait: Container::protocol {
  fn extend(&mut self, val: Container::protocol::another); 
 }
 ```
+### More
+````rust
+#[type_it]
+struct Container<C: Clone, T = i64> {
+ a: i32,
+ b: Vec<i32>,
+ c: Vec<T>,
+ d: C,
+ e: T
+}
+
+#[type_it]
+struct Tuple(i32, i32);
+
+#[type_it]
+struct Tuple2<T>(i32, T);
+
+fn main() {
+ let a: Container::fields::a = 10;
+ let b: Container::b = vec![a];
+ let c: Container::c<i64> = vec![10];
+ let c: <Container::core<i64> as Container::protocol>::c = c;
+ let d: <Container::core<i64> as Container::protocol>::d = 10;
+ let container: Container::core<i64> = Container::core { a, b, c, d, e: 10 };
+
+ assert!(container.a == a);
+}
+````
 
 # Disassembler
 ```rust

diff --git a/tests/typed-test.rs b/tests/typed-test.rs
@@ -1,7 +1,7 @@
 #![allow(unused_variables)]
 
-extern crate typer;
-use typer::type_it;
+extern crate typed;
+use typed::type_it;
 
 #[type_it]
 struct Container<C: Clone, T = i64> {
@@ -21,7 +21,8 @@ struct Tuple2<T>(i32, T);
 fn main() {
  let a: Container::fields::a = 10;
  let b: Container::b = vec![a];
- let c: <Container::core<i64> as Container::protocol>::c = vec![10];
+ let c: Container::c<i64> = vec![10];
+ let c: <Container::core<i64> as Container::protocol>::c = c;
  let d: <Container::core<i64> as Container::protocol>::d = 10;
  let container: Container::core<i64> = Container::core { a, b, c, d, e: 10 };