Merge pull request #3 from contextgeneric/v0.4.0

Update website for v0.4.0 release

Author: soareschen

code/Cargo.lock

@@ -12,4 +12,23 @@ name = "abstract-name"
 path = "bin/abstract_name.rs"
 
 [dependencies]
-cgp = { version = "0.3.0" }
+cgp = { version = "0.4.0" }
+
+[patch.crates-io]
+# cgp                         = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-core                    = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-extra                   = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-async                   = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-async-macro             = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-component               = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-macro                   = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-macro-lib               = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-type                    = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-field                   = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-error                   = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-error-extra             = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-error-anyhow            = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-run                     = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-runtime                 = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-sync                    = { git = "https://github.com/contextgeneric/cgp.git" }
+# cgp-inner                   = { git = "https://github.com/contextgeneric/cgp.git" }

code/Cargo.toml

@@ -3,28 +3,26 @@ use core::fmt::Display;
 use cgp::prelude::*; // Import all CGP constructs
 
 // Derive CGP provider traits and blanket implementations
-#[cgp_component {
-    name: GreeterComponent, // Name of the CGP component
-    provider: Greeter, // Name of the provider trait
-}]
+#[cgp_component(Greeter)]
 pub trait CanGreet // Name of the consumer trait
 {
     fn greet(&self);
 }
 
 // Declare a CGP abstract type `Name`
-cgp_type!(Name);
+#[cgp_type]
+pub trait HasNameType {
+    type Name;
+}
 
 // A getter trait representing a dependency for `name` value
 #[cgp_auto_getter] // Derive blanket implementation
 pub trait HasName: HasNameType {
     fn name(&self) -> &Self::Name;
 }
 
-// A provider that implements `Greeter`
-pub struct GreetHello;
-
 // Implement `Greeter` that is generic over `Context`
+#[cgp_new_provider]
 impl<Context> Greeter<Context> for GreetHello
 where
     Context: HasName, // Inject the `name` dependency from `Context`
@@ -37,24 +35,20 @@ where
 }
 
 // A concrete context that uses CGP components
+#[cgp_context]
 #[derive(HasField)] // Deriving `HasField` automatically implements `HasName`
 pub struct Person {
     pub name: String,
 }
 
-// The CGP components mapping for `Person`
-pub struct PersonComponents;
-
-// Set CGP components used by `Person` to be `PersonComponents`
-impl HasComponents for Person {
-    type Components = PersonComponents;
-}
-
 // Compile-time wiring of CGP components
-delegate_components! {
+delegate_and_check_components! {
+    CanUsePerson for Person; // Define check trait to check implementation on Person
     PersonComponents {
-        NameTypeComponent: UseType<String>,
-        GreeterComponent: GreetHello, // Use `GreetHello` to provide `Greeter`
+        NameTypeProviderComponent:
+            UseType<String>, // Instantiate the `Name` type to `String`
+        GreeterComponent:
+            GreetHello, // Use `GreetHello` to provide `Greeter`
     }
 }
 

code/bin/abstract_name.rs

@@ -1,10 +1,7 @@
 use cgp::prelude::*; // Import all CGP constructs
 
 // Derive CGP provider traits and blanket implementations
-#[cgp_component {
-    name: GreeterComponent, // Name of the CGP component
-    provider: Greeter, // Name of the provider trait
-}]
+#[cgp_component(Greeter)]
 pub trait CanGreet // Name of the consumer trait
 {
     fn greet(&self);
@@ -16,10 +13,8 @@ pub trait HasName {
     fn name(&self) -> &String;
 }
 
-// A provider that implements `Greeter`
-pub struct GreetHello;
-
 // Implement `Greeter` that is generic over `Context`
+#[cgp_new_provider]
 impl<Context> Greeter<Context> for GreetHello
 where
     Context: HasName, // Inject the `name` dependency from `Context`
@@ -31,21 +26,15 @@ where
 }
 
 // A concrete context that uses CGP components
+#[cgp_context]
 #[derive(HasField)] // Deriving `HasField` automatically implements `HasName`
 pub struct Person {
     pub name: String,
 }
 
-// The CGP components mapping for `Person`
-pub struct PersonComponents;
-
-// Set CGP components used by `Person` to be `PersonComponents`
-impl HasComponents for Person {
-    type Components = PersonComponents;
-}
-
 // Compile-time wiring of CGP components
-delegate_components! {
+delegate_and_check_components! {
+    CanUsePerson for Person;
     PersonComponents {
         GreeterComponent: GreetHello, // Use `GreetHello` to provide `Greeter`
     }

code/bin/hello.rs

@@ -0,0 +1 @@
+

code/src/lib.rs

@@ -22,5 +22,5 @@ juice_logo_name = "Context-Generic Programming"
 juice_extra_menu = [
     { title = "Blog", link = "/blog"},
     { title = "Book", link = "https://patterns.contextgeneric.dev"},
-    { title = "GitHub", link = "https://github.com/contextgeneric"},
+    { title = "GitHub", link = "https://github.com/contextgeneric/cgp"},
 ]