[−][src]Trait typsy::coprod::IntoSubset

pub trait IntoSubset<T: CoProd, N>: CoProd {
    type Remainder: CoProd;
    pub fn into_subset(self) -> Result<T, Self::Remainder>;
}

Associated Types

`type Remainder: CoProd`[src]

Loading content...

Required methods

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

Loading content...

Implementors

`impl<T, R: CoProd, C, N, M> IntoSubset<CoCons<T, R>, Cons<PhantomData<N>, M>> for C where C: Access<T, N>, C::Remainder: IntoSubset<R, M>,` [src]

`type Remainder = <C::Remainder as IntoSubset<R, M>>::Remainder`

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

`impl<T: CoProd> IntoSubset<CoNil, Nil> for T`[src]

`type Remainder = Self`

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

Loading content...