Struct Cons

pub struct Cons<Head, Tail>(/* private fields */);

Expand description

Non-empty type-level set/list node.

Trait Implementations§

Returns a duplicate of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Returns the “default value” for a type. Read more

Auto Trait Implementations§

Blanket Implementations§

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

Cons

Struct Cons Copy item path

Trait Implementations§

impl<Head: Clone, Tail: Clone> Clone for Cons<Head, Tail>

fn clone(&self) -> Cons<Head, Tail>

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

impl<Head, Tail, Rhs> Concat<Rhs> for Cons<Head, Tail>where Tail: Concat<Rhs> + TypeSet, Rhs: TypeSet,

type Output = Cons<Head, <Tail as Concat<Rhs>>::Output>

impl<Head: Copy, Tail: Copy> Copy for Cons<Head, Tail>

impl<Head: Debug, Tail: Debug> Debug for Cons<Head, Tail>

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

impl<Head: Default, Tail: Default> Default for Cons<Head, Tail>

fn default() -> Cons<Head, Tail>

impl<Scope, Cols, Head, Tail, Proof> MarkerAggValidFor<Cons<Head, Tail>, Proof> for Scoped<SelectCols<Cols>, Scope>where Cols: ScalarColumnsIn<Cons<Head, Tail>, Proof>,

impl<Scope, Head, Tail> MarkerAggValidFor<Cons<Head, Tail>> for Scoped<SelectStar, Scope>

impl<Scope, Head, Tail> MarkerAggValidFor<Cons<Head, Tail>> for Scoped<SelectExpr, Scope>

impl<Scope, R, Head, Tail> MarkerAggValidFor<Cons<Head, Tail>> for Scoped<SelectAs<R>, Scope>

impl<Head, Tail> ScopeContains<Head, ScopeHere> for Cons<Head, Tail>

impl<Head, Tail, Table, Witness> ScopeContains<Table, ScopeThere<Witness>> for Cons<Head, Tail>where Tail: ScopeContains<Table, Witness>,

impl<Head, Tail> TypeSet for Cons<Head, Tail>where Tail: TypeSet,

impl<S, Head, Tail> ValidateTableSetForeignKeys<S> for Cons<Head, Tail>where Head: SQLTableMeta, <Head as SQLTableMeta>::ForeignKeys: ForeignKeysInSchema<S>, Tail: ValidateTableSetForeignKeys<S>,

Auto Trait Implementations§

impl<Head, Tail> Freeze for Cons<Head, Tail>

impl<Head, Tail> RefUnwindSafe for Cons<Head, Tail>where Head: RefUnwindSafe, Tail: RefUnwindSafe,

impl<Head, Tail> Send for Cons<Head, Tail>where Head: Send, Tail: Send,

impl<Head, Tail> Sync for Cons<Head, Tail>where Head: Sync, Tail: Sync,

impl<Head, Tail> Unpin for Cons<Head, Tail>where Head: Unpin, Tail: Unpin,

impl<Head, Tail> UnsafeUnpin for Cons<Head, Tail>

impl<Head, Tail> UnwindSafe for Cons<Head, Tail>where Head: UnwindSafe, Tail: UnwindSafe,

Blanket Implementations§

impl<T> AliasExt for T

fn alias(self, name: &'static str) -> AliasedExpr<Self>

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<Mk> MarkerAggValidFor<()> for Mk

impl<Scope, Head, Tail, HeadProof, TailProof> ScopeSatisfies<Cons<Head, Tail>, (HeadProof, TailProof)> for Scopewhere Scope: ScopeContains<Head, HeadProof> + ScopeSatisfies<Tail, TailProof>,

impl<Scope> ScopeSatisfies<Nil, ()> for Scope

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> TypeEq<T> for T

Struct Cons

impl<Head, Tail, Rhs> Concat<Rhs> for Cons<Head, Tail>
where Tail: Concat<Rhs> + TypeSet, Rhs: TypeSet,

impl<Scope, Cols, Head, Tail, Proof> MarkerAggValidFor<Cons<Head, Tail>, Proof> for Scoped<SelectCols<Cols>, Scope>
where Cols: ScalarColumnsIn<Cons<Head, Tail>, Proof>,

impl<Head, Tail, Table, Witness> ScopeContains<Table, ScopeThere<Witness>> for Cons<Head, Tail>
where Tail: ScopeContains<Table, Witness>,

impl<Head, Tail> TypeSet for Cons<Head, Tail>
where Tail: TypeSet,

impl<S, Head, Tail> ValidateTableSetForeignKeys<S> for Cons<Head, Tail>
where Head: SQLTableMeta, <Head as SQLTableMeta>::ForeignKeys: ForeignKeysInSchema<S>, Tail: ValidateTableSetForeignKeys<S>,

impl<Head, Tail> RefUnwindSafe for Cons<Head, Tail>
where Head: RefUnwindSafe, Tail: RefUnwindSafe,

impl<Head, Tail> Send for Cons<Head, Tail>
where Head: Send, Tail: Send,

impl<Head, Tail> Sync for Cons<Head, Tail>
where Head: Sync, Tail: Sync,

impl<Head, Tail> Unpin for Cons<Head, Tail>
where Head: Unpin, Tail: Unpin,

impl<Head, Tail> UnwindSafe for Cons<Head, Tail>
where Head: UnwindSafe, Tail: UnwindSafe,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<Scope, Head, Tail, HeadProof, TailProof> ScopeSatisfies<Cons<Head, Tail>, (HeadProof, TailProof)> for Scope
where Scope: ScopeContains<Head, HeadProof> + ScopeSatisfies<Tail, TailProof>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,