Add chapter for associated types (#18)

* Initial draft for associated types chapter

* Draft type providers

* Finish drafting chapter

* Clean up chapter

Author: soareschen

Cargo.lock

@@ -4,8 +4,9 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-itertools = "0.11.0"
+cgp = { version = "0.2.0" }
 serde = {version = "1", features = ["derive"] }
+itertools = "0.11.0"
 serde_json = "1"
 anyhow = "1"
-cgp = { version = "0.2.0" }
+datetime = "0.5.2"

Cargo.toml

@@ -20,22 +20,18 @@
 
 # Design Patterns
 
+- [Associated Types](associated-types.md)
+- [Error Handling]()
+    - [`HasErrorType`]()
+    - [From Errors]()
+    - [`CanRaiseError`]()
+    - [Error Wrapping]()
 - [Component Presets]()
-- [Associated Types]()
-    - [Parameterized Associated Types]()
-    - [Impl-side Generic Types]()
-    - [Associated Type Specialization]()
-    - [`HasType`]()
 - [Trait-Generic Providers]()
     - [`WithProvider`]()
     - [`UseContext`]()
     - [`UseType`]()
     - [`UseDelegate`]()
-- [Error Handling]()
-    - [`HasErrorType`]()
-    - [From Errors]()
-    - [`CanRaiseError`]()
-    - [Error Wrapping]()
 - [Provider Composition]()
     - [Provider Middleware]()
     - [Detached Provider]()