Enum frunk_enum_core::HEither [−][src]
A building block for a generic enum. The “additive-type” mirror for frunk::HCons
. This is
normally used as:
ⓘ
HEither<A, HEither<B, HEither<C, Void>>>
Variants
The first variant.
The second/other variant.
Trait Implementations
impl<TargetHead, TargetTail, SourceHead, SourceTail, HeadIndices, TailIndices, Key> Transmogrifier<HEither<Variant<Key, TargetHead>, TargetTail>, HCons<HeadIndices, TailIndices>> for HEither<Variant<Key, SourceHead>, SourceTail> where
SourceHead: Transmogrifier<TargetHead, HeadIndices>,
SourceTail: Transmogrifier<TargetTail, TailIndices>,
[src]
SourceHead: Transmogrifier<TargetHead, HeadIndices>,
SourceTail: Transmogrifier<TargetTail, TailIndices>,
fn transmogrify(self) -> HEither<Variant<Key, TargetHead>, TargetTail>
[src]
Auto Trait Implementations
impl<H, T> RefUnwindSafe for HEither<H, T> where
H: RefUnwindSafe,
T: RefUnwindSafe,
H: RefUnwindSafe,
T: RefUnwindSafe,
impl<H, T> Send for HEither<H, T> where
H: Send,
T: Send,
H: Send,
T: Send,
impl<H, T> Sync for HEither<H, T> where
H: Sync,
T: Sync,
H: Sync,
T: Sync,
impl<H, T> Unpin for HEither<H, T> where
H: Unpin,
T: Unpin,
H: Unpin,
T: Unpin,
impl<H, T> UnwindSafe for HEither<H, T> where
H: UnwindSafe,
T: UnwindSafe,
H: UnwindSafe,
T: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<Choices> CoproductSubsetter<CNil, HNil> for Choices
type Remainder = Choices
pub fn subset(
self
) -> Result<CNil, <Choices as CoproductSubsetter<CNil, HNil>>::Remainder>
self
) -> Result<CNil, <Choices as CoproductSubsetter<CNil, HNil>>::Remainder>
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U, I> LiftInto<U, I> for T where
U: LiftFrom<T, I>,
U: LiftFrom<T, I>,
pub fn lift_into(self) -> U
impl<Source> Sculptor<HNil, HNil> for Source
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
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]
U: TryFrom<T>,