former : experimenting

Wandalen · Apr 30, 2024 · 64d672b · 64d672b
1 parent 79626ca
commit 64d672b
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 8 deletions.
diff --git a/module/core/former/src/definition.rs b/module/core/former/src/definition.rs
@@ -14,7 +14,7 @@ where
   Definition : FormerDefinition,
 {
   type Former;
-  fn f1( _ : &Definition ) {}
+  fn __f( _ : &Definition ) {}
 }
 
 // zzz : improve documentation

diff --git a/module/core/former/src/vector.rs b/module/core/former/src/vector.rs
@@ -75,8 +75,8 @@ for Vec< E >
 
 #[ derive( Debug, Default ) ]
 pub struct VectorDefinition< E, Context = (), Formed = Vec< E >, End = ReturnStorage >
-// where
-//   End : FormingEnd< VectorDefinition< E, Context, Formed, NoEnd > >,
+where
+  End : FormingEnd< VectorDefinition< E, Context, Formed, NoEnd > >,
 {
   _phantom : core::marker::PhantomData< ( E, Context, Formed, End ) >,
 }
@@ -104,12 +104,15 @@ where
 
 // = Entity To
 
-// xxx : implement for hashset / hashmap
-// xxx : cover by tests
+// zzz : qqq : implement for hashset / hashmap
+// zzz : qqq : cover by tests
+// zzz : qqq : rid off bound `Fn( Vec< E >, Option< Definition::Context > ) -> Definition::Formed``
 impl< E, Definition > EntityToFormer< Definition > for Vec< E >
 where
-  Definition : FormerDefinition< Storage = Vec< E >, Formed = () >,
-  < Definition as definition::FormerDefinition>::End : Fn( Vec< E >, Option< Definition::Context > ),
+  Definition : FormerDefinition< Storage = Vec< E > >,
+  Definition::Types : FormerDefinitionTypes< Storage = Vec< E >, Formed = Definition::Formed, Context = Definition::Context >,
+  Definition::End : crate::FormingEnd< Definition::Types >,
+  Definition::End : Fn( Vec< E >, Option< Definition::Context > ) -> Definition::Formed,
 {
   type Former = VectorSubformer< E, Definition::Context, Definition::Formed, Definition::End >;
 }

diff --git a/module/core/former/tests/inc/former_tests/container_former_vec.rs b/module/core/former/tests/inc/former_tests/container_former_vec.rs
@@ -109,12 +109,15 @@ fn replace()
 fn entity_to()
 {
 
-  // let got = < Vec< i32 > as former::EntityToFormer< former::VectorDefinition< (), Vec< i32 >, former::ReturnPreformed > > >::Former::new_precise( former::ReturnPreformed )
+  // qqq : uncomment and make it working
+  // let got = < Vec< i32 > as former::EntityToFormer< former::VectorDefinition< i32, (), Vec< i32 >, former::ReturnPreformed > > >
+  // ::Former::new_precise( former::ReturnPreformed )
   // .add( 13 )
   // .form();
   // let exp = vec![ 13 ];
   // a_id!( got, exp );
 
+// qqq : uncomment and make it working
 //   let got = < Vec< i32 > as former::EntityToStorage >::Storage::default();
 //   let exp =
 //   <