Module frunk::hlist::foldr_owned
source · Expand description
HFoldRightable inner mechanics for folding with a folder that needs to be owned.
Traits
A real
foldr for the folder that must be owned to fold.