I needed a mapMaybe like function over Trie a when trying to write a function to union two Tries with some default behavior in text-assets
This implements mapMaybe but with a slight wrinkle in that you ultimately must return a Maybe (Trie a) due to the fact that Trie a should be non-empty.
I needed a
mapMaybe
like function overTrie a
when trying to write a function to union twoTrie
s with some default behavior intext-assets
This implements
mapMaybe
but with a slight wrinkle in that you ultimately must return aMaybe (Trie a)
due to the fact thatTrie a
should be non-empty.