[−][src]Trait varisat::cnf::UniformTuple
Helper trait to initialize multiple variables of the same type.
Required methods
fn tuple_len() -> usize
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> Self where
impl Iterator- : Iterator<Item = Item>,
items: impl Iterator
) -> Self where
impl Iterator
Implementations on Foreign Types
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator
impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)
[src]
fn tuple_len() -> usize
[src]
fn tuple_from_iter<impl Iterator- >(
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator- : Iterator<Item = Item>,
[src]
items: impl Iterator
) -> (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item) where
impl Iterator