Migrate remaining macro implementations and polish up cgp-macro-core (#243)

* Add product types

* Implement SumType

* Remove old product and sum constructs

* Remove obsolete preset constructs

* Migrate Symbol

* Remove old symbol constructs

* Draft implement ItemCgpType

* Implement ItemCgpType::to_items

* Migate cgp_type impl

* Implement ItemCgpRecord

* Move derive_has_fields

* Move derive_builder

* Move derive_extractor

* Implement to_build_field_items

* Add back derive_has_field_impls_from_struct

* Implement to_from_variant_impls

* Implement to_extract_field_items

* Use items in entrypoints

* Flatten macro lib

* Implement snapshot_derive_has_field

* Use snapshot_derive_has_field

* Omit empty type bounds in cgp_type

* Move HasField tests

* AI-migrate HasField snapshot tests

* Add `snapshot_derive_has_fields!`

* Use fully qualified constructs

* Implement snapshot_derive_cgp_data

* AI adopt `snapshot_derive_cgp_data!` in tests

* AI-revise macro qualification and remove greek identifiers

Author: soareschen

Cargo.lock

@@ -5,6 +5,7 @@ resolver = "3"
 members = [
     "crates/main/cgp",
     "crates/main/cgp-base",
+    "crates/main/cgp-base-extra",
     "crates/main/cgp-core",
     "crates/main/cgp-extra",
 
@@ -50,6 +51,7 @@ keywords        = ["cgp"]
 [workspace.dependencies]
 cgp                         = { version = "0.7.0", path = "./crates/main/cgp" }
 cgp-base                    = { version = "0.7.0", path = "./crates/main/cgp-base" }
+cgp-base-extra              = { version = "0.7.0", path = "./crates/main/cgp-base-extra" }
 cgp-core                    = { version = "0.7.0", path = "./crates/main/cgp-core" }
 cgp-extra                   = { version = "0.7.0", path = "./crates/main/cgp-extra" }
 

Cargo.toml

@@ -1,5 +1,3 @@
-#![allow(non_camel_case_types)]
-
 pub mod macro_prelude;
 pub mod traits;
 pub mod types;

crates/core/cgp-base-types/src/lib.rs

@@ -4,7 +4,7 @@ use core::marker::PhantomData;
 use crate::traits::StaticFormat;
 
 /**
-    The `Chars` type, a.k.a. `ζ`, is used to represent _type-level_ list of
+    The `Chars` type is used to represent _type-level_ list of
     `Chars`s, which are equivalent to type-level strings.
 
     `Chars` is a specialized version of [`Cons`](crate::types::Cons), with the
@@ -13,11 +13,6 @@ use crate::traits::StaticFormat;
     expected to be either the next `Chars`, or [`Nil`](crate::types::Nil) to
     represent the end of the string.
 
-    Instead of reusing `Cons`, we combine the use of `Cons` within `Chars` so
-    that its representation is more compact when shown in compiler error messages.
-    Similar to `Cons`, `Chars` is also shown as `ζ` to further improve its
-    readability.
-
     We represent type-level strings as list of `Chars`s, because it is currently
     not possible to use types like `String` or `&str` as const-generic parameters.
     On the other hand, a single `Chars` can be used as a const-generic parameter,
@@ -40,17 +35,9 @@ use crate::traits::StaticFormat;
     ```rust,ignore
     type Hello = Chars<'h', Chars<'e', Chars<'l', Chars<'l', Chars<'o', Nil>>>>>;
     ```
-
-    which would be shown with the shortened representation as:
-
-    ```rust,ignore
-    type Hello = ζ<'h', ζ<'e', ζ<'l', ζ<'l', ζ<'o', ε>>>>>;
-    ```
 */
 #[derive(Eq, PartialEq, Clone, Copy, Default)]
-pub struct ζ<const CHAR: char, Tail>(pub PhantomData<Tail>);
-
-pub use ζ as Chars;
+pub struct Chars<const CHAR: char, Tail>(pub PhantomData<Tail>);
 
 impl<const CHAR: char, Tail> Display for Chars<CHAR, Tail>
 where

crates/core/cgp-base-types/src/types/chars.rs

@@ -1,15 +1,10 @@
 /**
-    The `Cons` type, a.k.a. `π`, is used to represent the head of a _type-level list_,
+    The `Cons` type is used to represent the head of a _type-level list_,
     also known as an _anonymous product type_.
 
     `Cons` is used together with [`Nil`] to produce a type-level list using
     the `Product!` macro.
 
-    `Cons` is also shown as `π`, together with [`Nil`] shown as `ε`, to improve the
-    readability of compiler error messages. Through the shortened name, a product
-    type would take slightly less space, making it more likely to fit on a single
-    line for the user to read what the type is.
-
     ## Example
 
     Given the following product type definition:
@@ -23,15 +18,6 @@
     ```rust,ignore
     type MyTypes = Cons<u32, Cons<String, Cons<bool, Nil>>>;
     ```
-
-    which would be shown with the shortened representation as:
-
-    ```rust,ignore
-    type MyTypes = π<u32, π<String, π<bool, ε>>>;
-    ```
 */
 #[derive(Eq, PartialEq, Clone, Default, Debug)]
-#[allow(non_camel_case_types)]
-pub struct π<Head, Tail>(pub Head, pub Tail);
-
-pub use π as Cons;
+pub struct Cons<Head, Tail>(pub Head, pub Tail);

crates/core/cgp-base-types/src/types/cons.rs

@@ -1,5 +1,5 @@
 /**
-    The `Nil` type, a.k.a. `ε`, is used to represent the end of a _type-level list_,
+    The `Nil` type is used to represent the end of a _type-level list_,
     or an empty type-level list.
 
     `Nil` is commonly used as the `Tail` of a [`Cons`] type, to terminate the list.
@@ -8,7 +8,4 @@
     Read more about type-level lists, a.k.a. the product types, in [`Cons`].
 */
 #[derive(Eq, PartialEq, Clone, Default, Debug)]
-#[allow(non_camel_case_types)]
-pub struct ε;
-
-pub use ε as Nil;
+pub struct Nil;

crates/core/cgp-base-types/src/types/nil.rs

@@ -1,9 +1,7 @@
 use core::fmt::Display;
 use core::marker::PhantomData;
 
-pub struct ψ<const LEN: usize, Chars>(pub PhantomData<Chars>);
-
-pub use ψ as Symbol;
+pub struct Symbol<const LEN: usize, Chars>(pub PhantomData<Chars>);
 
 use crate::traits::StaticFormat;
 

crates/core/cgp-base-types/src/types/symbol.rs

@@ -9,7 +9,7 @@ rust-version = { workspace = true }
 keywords     = { workspace = true }
 
 [dependencies]
-cgp                 = { version = "0.7.0", path = "../../main/cgp-base", package = "cgp-base" }
+cgp                 = { version = "0.7.0", path = "../../main/cgp-base-extra", package = "cgp-base-extra" }
 cgp-macro           = { workspace = true }
 cgp-type            = { workspace = true }
 cgp-field           = { workspace = true }

crates/core/cgp-error/Cargo.toml

@@ -1,4 +1,4 @@
-use cgp::macro_prelude::*;
+use cgp::component::{DefaultNamespace, UseDelegate};
 use cgp_macro::cgp_component;
 
 use crate::traits::has_error_type::HasErrorType;

crates/core/cgp-error/src/traits/can_raise_error.rs

@@ -1,4 +1,4 @@
-use cgp::macro_prelude::*;
+use cgp::component::{DefaultNamespace, UseDelegate};
 use cgp_macro::cgp_component;
 
 use crate::traits::HasErrorType;