Enum cons_rs::List

pub enum List<T> {
    Cons(T, Box<List<T>>),
    Nil,
}

An enum that represents a Cons list. See the module level documentation for more.

Variants

Cons(T, Box<List<T>>)

A value of type T, and a Box containing another list.

Nil

Nothing.

Implementations

impl<T> List<T>

pub const fn is_cons(&self) -> bool

Returns true if the List is a Cons value.

Examples

use cons_rs::{List, Cons, Nil};

let x: List<i32> = Cons(5, Box::new(Nil));
assert_eq!(x.is_cons(), true);

let x: List<i32> = Nil;
assert_eq!(x.is_cons(), false);

pub const fn is_nil(&self) -> bool

Returns true if the List is a Nil value.

Examples:

use cons_rs::{List, Cons, Nil};

let x: List<i32> = Cons(5, Box::new(Nil));
assert_eq!(x.is_nil(), false);

let x: List<i32> = Nil;
assert_eq!(x.is_nil(), true);

pub fn unwrap(self) -> (T, List<T>)

Gets the value and next List, by consuming self.

Panics

Panics if self is Nil.

Trait Implementations

impl<T: Clone> Clone for List<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for List<T>

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

Formats the value using the given formatter.

impl<T: Clone> IntoIterator for List<T>

type Item = T

The type of the elements being iterated over.

type IntoIter = ListIterator<T>

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<List<T>> for List<T>

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<T: Eq> Eq for List<T>

impl<T> StructuralEq for List<T>

impl<T> StructuralPartialEq for List<T>