HomeSoftware Heritage

Fix and clarify fmap's contract
89797b337d65Unpublished

Unpublished Commit · Learn More

Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Fix and clarify fmap's contract

The data structure 'map', once 'mapped', was no longer a map.
This commit fixes it.

+ Deal with None value which is returned as is.

Details

Provenance
ardumontAuthored on Sep 1 2016, 1:05 PM
jbertranPushed on Sep 1 2016, 3:02 PM
Parents
R65:9e216bb5df24: templates: update to reflect search fn name change
Branches
Unknown
Tags
Unknown