colin/fdtd-coremem
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

coremem_types: list: simplify the IntoList trait

Browse Source
This commit is contained in:
colin
2022-07-21 14:11:42 -07:00
parent 90127e3f02
commit d6ebf968b2
1 changed files with 11 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
crates/types/src/compound/list/flat.rs
View File

@@ -62,41 +62,36 @@ impl<E0, E1, E2, E3, T> Indexable<P3> for Node<E0, Node<E1, Node<E2, Node<E3, T>
}
pub trait IntoList {
type Head;
type Tail;
fn into_list(self) -> Node<Self::Head, Self::Tail>;
type List;
fn into_list(self) -> Self::List;
}
pub type List<Args> = Node<<Args as IntoList>::Head, <Args as IntoList>::Tail>;
pub type List<Args> = <Args as IntoList>::List;
impl<E0> IntoList for (E0,) {
type Head = E0;
type Tail = Null;
fn into_list(self) -> Node<Self::Head, Self::Tail> {
type List = Node<E0, Null>;
fn into_list(self) -> Self::List {
Node::new(self.0, Null)
}
}
impl<E0, E1> IntoList for (E0, E1) {
type Head = E0;
type Tail = Node<E1, Null>;
fn into_list(self) -> Node<Self::Head, Self::Tail> {
type List = Node<E0, <(E1,) as IntoList>::List>;
fn into_list(self) -> Self::List {
Node::new(self.0, (self.1,).into_list())
}
}
impl<E0, E1, E2> IntoList for (E0, E1, E2) {
type Head = E0;
type Tail = Node<E1, Node<E2, Null>>;
fn into_list(self) -> Node<Self::Head, Self::Tail> {
type List = Node<E0, <(E1, E2) as IntoList>::List>;
fn into_list(self) -> Self::List {
Node::new(self.0, (self.1, self.2).into_list())
}
}
impl<E0, E1, E2, E3> IntoList for (E0, E1, E2, E3) {
type Head = E0;
type Tail = Node<E1, Node<E2, Node<E3, Null>>>;
fn into_list(self) -> Node<Self::Head, Self::Tail> {
type List = Node<E0, <(E1, E2, E3) as IntoList>::List>;
fn into_list(self) -> Self::List {
Node::new(self.0, (self.1, self.2, self.3).into_list())
}
}