linera_witty::hlist

Module foldr_owned

Source
Expand description

HFoldRightable inner mechanics for folding with a folder that needs to be owned.

Traitsยง

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