former : experimenting

Wandalen · Mar 23, 2024 · babd9c7 · babd9c7
1 parent a8b2279
commit babd9c7
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 1 deletion.
diff --git a/module/core/former/src/axiomatic.rs b/module/core/former/src/axiomatic.rs
@@ -93,6 +93,8 @@ impl< Definition, T > FormingEnd< Definition >
 for ReturnStorage
 where
   Definition : FormerDefinition< Context = (), Storage = T, Formed = T, End = Self >,
+  Definition::End : FormingEnd< Definition >,
+  // Definition::End : Self,
   // Definition::Storage : Default,
 {
   #[ inline( always ) ]

diff --git a/module/core/former/src/vector.rs b/module/core/former/src/vector.rs
@@ -48,7 +48,8 @@ for Vec< E >
 // pub struct VectorDefinition< E, Context = (), End = ReturnStorage >
 pub struct VectorDefinition< E, Context, End >
 where
-  End : FormingEnd< Self >
+  End : FormingEnd< Self >,
+  Self : FormerDefinition,
 {
   _phantom : core::marker::PhantomData< ( E, Context, 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
@@ -22,6 +22,12 @@ where
 {
 }
 
+// impl former::FormingEnd<former::VectorDefinition<String, (), former::ReturnStorage>> for former::ReturnStorage {
+//     fn call(&self, storage: former::VectorDefinition<String, (), former::ReturnStorage>::Storage, context: Option<former::VectorDefinition<String, (), former::ReturnStorage>::Context>) -> former::VectorDefinition<String, (), former::ReturnStorage>::Formed {
+//         storage
+//     }
+// }
+
 #[ test ]
 fn push()
 {