Trait Cons

pub trait Cons {
    type Left;
    type Right;
}

A base type that can be implemented by any type, which is used to build operations on top of. With this format it can be implemented to an infinite length, meaning that any operations built from it will work for any given length.

Required Associated Types

type Left

Left value of the cons, ideally the next value.

type Right

Right value of the cons, another cons or unit if there are no more values.

Implementations on Foreign Types

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> Cons for (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

type Left = T1

type Right = (T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> Cons for (T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

type Left = T2

type Right = (T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> Cons for (T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

type Left = T3

type Right = (T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> Cons for (T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

type Left = T4

type Right = (T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> Cons for (T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

type Left = T5

type Right = (T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> Cons for (T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

type Left = T6

type Right = (T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> Cons for (T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

type Left = T7

type Right = (T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T8, T9, T10, T11, T12, T13, T14, T15, T16> Cons for (T8, T9, T10, T11, T12, T13, T14, T15, T16)

type Left = T8

type Right = (T9, T10, T11, T12, T13, T14, T15, T16)

impl<T9, T10, T11, T12, T13, T14, T15, T16> Cons for (T9, T10, T11, T12, T13, T14, T15, T16)

type Left = T9

type Right = (T10, T11, T12, T13, T14, T15, T16)

impl<T10, T11, T12, T13, T14, T15, T16> Cons for (T10, T11, T12, T13, T14, T15, T16)

type Left = T10

type Right = (T11, T12, T13, T14, T15, T16)

impl<T11, T12, T13, T14, T15, T16> Cons for (T11, T12, T13, T14, T15, T16)

type Left = T11

type Right = (T12, T13, T14, T15, T16)

impl<T12, T13, T14, T15, T16> Cons for (T12, T13, T14, T15, T16)

type Left = T12

type Right = (T13, T14, T15, T16)

impl<T13, T14, T15, T16> Cons for (T13, T14, T15, T16)

type Left = T13

type Right = (T14, T15, T16)

impl<T14, T15, T16> Cons for (T14, T15, T16)

type Left = T14

type Right = (T15, T16)

impl<T15, T16> Cons for (T15, T16)

type Left = T15

type Right = (T16,)

impl<T16> Cons for (T16,)

type Left = T16

type Right = ()

Implementors