[−][src]Enum typsy::peano::Zero

pub enum Zero {}

Trait Implementations

`impl<T, R: CoProd> Access<T, Zero> for CoCons<T, R>`[src]

`type Remainder = R`

`pub fn take(self) -> Result<T, Self::Remainder>`[src]

`pub fn get(&self) -> Option<&T>`[src]

`pub fn get_mut(&mut self) -> Option<&mut T>`[src]

`pub fn put(value: T) -> Self`[src]

`impl<T, R: HList> Access<T, Zero> for Cons<T, R>`[src]

`type Remainder = R`

`pub fn take(self) -> (T, Self::Remainder)`[src]

`pub fn get(&self) -> &T`[src]

`pub fn get_mut(&mut self) -> &mut T`[src]

`impl<Args, F: Fn(Args) -> O, O, R> Call<Args, Zero> for Cons<F, R>`[src]

`pub fn call(&self, args: Args) -> Self::Output`[src]

`impl<Args, F: FnMut(Args) -> O, O, R> CallMut<Args, Zero> for Cons<F, R>`[src]

`pub fn call_mut(&mut self, args: Args) -> Self::Output`[src]

`impl<Args, F: FnOnce(Args) -> O, O, R> CallOnce<Args, Zero> for Cons<F, R>`[src]

`type Output = O`

`pub fn call_once(self, args: Args) -> Self::Output`[src]

`impl<T, Name, R> RemoveField<Name, Zero> for Cons<Named<T, Name>, R>`[src]

`type Value = T`

`type Remainder = R`

`pub fn remove_field(self) -> (Self::Value, Self::Remainder)`[src]

Auto Trait Implementations

`impl Send for Zero`[src]

`impl Sync for Zero`[src]

`impl Unpin for Zero`[src]

Blanket Implementations

`impl<T> Access for T`[src]

`pub fn field<N, T, Name: 'static>(&self) -> &T where Self: Access<Named<T, Name>, N>,` [src]

`pub fn field_mut<N, T, Name: 'static>(&mut self) -> &mut T where Self: Access<Named<T, Name>, N>,` [src]

`pub fn take_field<N, T, Name>(self) -> (T, Self::Remainder) where Self: Access<Named<T, Name>, N>,` [src]

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

`pub fn try_into(self) -> Result<U, >::Error>`[src]

[−][src]Enum typsy::peano::Zero

Trait Implementations

impl<T, R: CoProd> Access<T, Zero> for CoCons<T, R>[src]

type Remainder = R

pub fn take(self) -> Result<T, Self::Remainder>[src]

pub fn get(&self) -> Option<&T>[src]

pub fn get_mut(&mut self) -> Option<&mut T>[src]

pub fn put(value: T) -> Self[src]

impl<T, R: HList> Access<T, Zero> for Cons<T, R>[src]

type Remainder = R

pub fn take(self) -> (T, Self::Remainder)[src]

pub fn get(&self) -> &T[src]

pub fn get_mut(&mut self) -> &mut T[src]

impl<Args, F: Fn(Args) -> O, O, R> Call<Args, Zero> for Cons<F, R>[src]

pub fn call(&self, args: Args) -> Self::Output[src]

impl<Args, F: FnMut(Args) -> O, O, R> CallMut<Args, Zero> for Cons<F, R>[src]

pub fn call_mut(&mut self, args: Args) -> Self::Output[src]

impl<Args, F: FnOnce(Args) -> O, O, R> CallOnce<Args, Zero> for Cons<F, R>[src]

type Output = O

pub fn call_once(self, args: Args) -> Self::Output[src]

impl<T, Name, R> RemoveField<Name, Zero> for Cons<Named<T, Name>, R>[src]

type Value = T

type Remainder = R

pub fn remove_field(self) -> (Self::Value, Self::Remainder)[src]

Auto Trait Implementations

impl Send for Zero[src]

impl Sync for Zero[src]

impl Unpin for Zero[src]

Blanket Implementations

impl<T> Access for T[src]

pub fn field<N, T, Name: 'static>(&self) -> &T where Self: Access<Named<T, Name>, N>, [src]

pub fn field_mut<N, T, Name: 'static>(&mut self) -> &mut T where Self: Access<Named<T, Name>, N>, [src]

pub fn take_field<N, T, Name>(self) -> (T, Self::Remainder) where Self: Access<Named<T, Name>, N>, [src]

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

pub fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

impl<T, U> Into<U> for T where U: From<T>, [src]

pub fn into(self) -> U[src]

impl<T, U> TryFrom<U> for T where U: Into<T>, [src]

type Error = Infallible

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

impl<T, U> TryInto<U> for T where U: TryFrom<T>, [src]

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

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

`impl<T, R: CoProd> Access<T, Zero> for CoCons<T, R>`[src]

`type Remainder = R`

`pub fn take(self) -> Result<T, Self::Remainder>`[src]

`pub fn get(&self) -> Option<&T>`[src]

`pub fn get_mut(&mut self) -> Option<&mut T>`[src]

`pub fn put(value: T) -> Self`[src]

`impl<T, R: HList> Access<T, Zero> for Cons<T, R>`[src]

`type Remainder = R`

`pub fn take(self) -> (T, Self::Remainder)`[src]

`pub fn get(&self) -> &T`[src]

`pub fn get_mut(&mut self) -> &mut T`[src]

`impl<Args, F: Fn(Args) -> O, O, R> Call<Args, Zero> for Cons<F, R>`[src]

`pub fn call(&self, args: Args) -> Self::Output`[src]

`impl<Args, F: FnMut(Args) -> O, O, R> CallMut<Args, Zero> for Cons<F, R>`[src]

`pub fn call_mut(&mut self, args: Args) -> Self::Output`[src]

`impl<Args, F: FnOnce(Args) -> O, O, R> CallOnce<Args, Zero> for Cons<F, R>`[src]

`type Output = O`

`pub fn call_once(self, args: Args) -> Self::Output`[src]

`impl<T, Name, R> RemoveField<Name, Zero> for Cons<Named<T, Name>, R>`[src]

`type Value = T`

`type Remainder = R`

`pub fn remove_field(self) -> (Self::Value, Self::Remainder)`[src]

`impl Send for Zero`[src]

`impl Sync for Zero`[src]

`impl Unpin for Zero`[src]

`impl<T> Access for T`[src]

`pub fn field<N, T, Name: 'static>(&self) -> &T where Self: Access<Named<T, Name>, N>,` [src]

`pub fn field_mut<N, T, Name: 'static>(&mut self) -> &mut T where Self: Access<Named<T, Name>, N>,` [src]

`pub fn take_field<N, T, Name>(self) -> (T, Self::Remainder) where Self: Access<Named<T, Name>, N>,` [src]

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

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

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]