Module foldr_owned

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.