-
-
Notifications
You must be signed in to change notification settings - Fork 414
Closed
Labels
component: wingmantype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..
Description
whats_it_deep_of
:: (a -> a)
-> [(Int, Either Bool (Maybe [a]))]
-> [(Int, Either Bool (Maybe [a]))]
whats_it_deep_of f =
-- The assumption here is necessary to tie-break in favor of the longest
-- nesting of fmaps.
[wingman| deep_of fmap, assumption |]Running the metaprogram produces
whats_it_deep_of
:: (a -> a)
-> [(Int, Either Bool (Maybe [a]))]
-> [(Int, Either Bool (Maybe [a]))]
whats_it_deep_of f = fmap (fmap (fmap (fmap (fmap f)))) -- The assumption here is necessary to tie-break in favor of the longest
-- nesting of fmaps.
[wingman| deep_of fmap, assumption |]Notice that the metaprogram didn't get removed!
Metadata
Metadata
Assignees
Labels
component: wingmantype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..