Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
experimenting
Browse files Browse the repository at this point in the history
Wandalen committed Mar 26, 2024
1 parent 6d38395 commit 2938d06
Showing 2 changed files with 8 additions and 8 deletions.
12 changes: 6 additions & 6 deletions module/core/former/src/vector.rs
Original file line number Diff line number Diff line change
@@ -43,15 +43,15 @@ for Vec< E >
// = definition

#[ derive( Debug, Default ) ]
pub struct VectorDefinition< E, Context = (), Formed = Vec< E >, End = ReturnStorage >
// pub struct VectorDefinition< E, Context, Formed, End >
// pub struct VectorDefinition< E, Context = (), Formed = Vec< E >, End = ReturnStorage >
pub struct VectorDefinition< E, Context, Formed, End >
{
_phantom : core::marker::PhantomData< ( E, Context, Formed, End ) >,
}

impl< E, Context, Formed > FormerDefinitionTypes
for VectorDefinition< E, Context, Formed >
// for VectorDefinition< E, Context, Formed, End >
// for VectorDefinition< E, Context, Formed >
for VectorDefinition< E, Context, Formed, ReturnStorage >
// where
// End : FormingEnd< Self >,
{
@@ -63,9 +63,9 @@ for VectorDefinition< E, Context, Formed >
impl< E, Context, Formed, End > FormerDefinition
for VectorDefinition< E, Context, Formed, End >
where
End : FormingEnd< VectorDefinition< E, Context, Formed > >,
End : FormingEnd< VectorDefinition< E, Context, Formed, ReturnStorage > >,
{
type Types = VectorDefinition< E, Context, Formed >;
type Types = VectorDefinition< E, Context, Formed, ReturnStorage >;
type End = End;
}

Original file line number Diff line number Diff line change
@@ -27,9 +27,9 @@ fn definitions()
{
}

f1( former::VectorDefinition::< String, () >::default() );
// f1( former::VectorDefinition::< String, () >::default() );
f2( former::VectorDefinition::< String, (), Vec< String >, the_module::ReturnStorage >::default() );
f3::< former::VectorDefinition< String, () >, the_module::ReturnStorage >( the_module::ReturnStorage );
f3::< former::VectorDefinition< String, (), Vec< String >, the_module::ReturnStorage >, the_module::ReturnStorage >( the_module::ReturnStorage );
f3::< < former::VectorDefinition< String, (), Vec< String >, the_module::ReturnStorage > as the_module::FormerDefinition >::Types, the_module::ReturnStorage >( the_module::ReturnStorage );

}

0 comments on commit 2938d06

Please sign in to comment.