Struct Telescope

pub struct Telescope<T>(/* private fields */);

A sequence of arguments that depends on the previous sequence it’s similar to a iterated sigma type.

Implementations

impl Telescope<Argument>

pub fn count_implicits(&self) -> (usize, usize)

impl<T> Telescope<T>

pub fn new(vec: Vec<T>) -> Telescope<T>

pub fn len(&self) -> usize

pub fn push(&mut self, el: T)

pub fn as_slice(&self) -> &[T]

pub fn to_vec(self) -> Vec<T>

pub fn get_vec(&mut self) -> &mut Vec<T>

pub fn extend(&self, other: &Telescope<T>) -> Telescope<T>

where T: Clone,

pub fn map<B, F>(&self, f: F) -> Telescope<B>

where F: FnMut(&T) -> B,

pub fn is_empty(&self) -> bool

pub fn iter(&self) -> Iter<'_, T>

pub fn iter_mut(&mut self) -> IterMut<'_, T>

impl<T> Telescope<T>

where T: Clone,

pub fn drop(self, num: usize) -> Telescope<T>

Trait Implementations

impl<T: Clone> Clone for Telescope<T>

fn clone(&self) -> Telescope<T>

Returns a duplicate of the value.

const fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for Telescope<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T> Default for Telescope<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T: Hash> Hash for Telescope<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<A> Index<usize> for Telescope<A>

type Output = A

The returned type after indexing.

fn index(&self, index: usize) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<A> IntoIterator for Telescope<A>

type Item = A

The type of the elements being iterated over.

type IntoIter = IntoIter<A>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<T: PartialEq> PartialEq for Telescope<T>

fn eq(&self, other: &Telescope<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

const fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Eq> Eq for Telescope<T>

impl<T> StructuralPartialEq for Telescope<T>