Trait HFoldRightableOwned

pub trait HFoldRightableOwned<Folder, Init>: HFoldRightable<Folder, Init> {
    // Required method
    fn real_foldr(self, folder: Folder, init: Init) -> (Self::Output, Folder);
}

A real foldr for the folder that must be owned to fold.

Due to HList being a recursive struct and not linear array, the only way to fold it is recursive.

However, there are differences in the foldl and foldr traversing the HList:

1. foldl calls folder(head) and then passes the ownership of the folder to the next recursive call.
2. foldr passes the ownership of the folder to the next recursive call, and then tries to call folder(head); but the ownership is already gone!

Required Methods

fn real_foldr(self, folder: Folder, init: Init) -> (Self::Output, Folder)

Implementors

impl<F, H, Tail, Init> HFoldRightableOwned<F, Init> for HCons<H, Tail>

where HCons<H, Tail>: HFoldRightable<F, Init>, Tail: HFoldRightableOwned<F, Init>, F: Fn(<Tail as HFoldRightable<F, Init>>::Output, H) -> <HCons<H, Tail> as HFoldRightable<F, Init>>::Output,

impl<F, Init> HFoldRightableOwned<F, Init> for HNil