Stream: new members
Topic: Combinator/Functor/? Land
Marcus Rossel (Mar 09 2021 at 20:09):
I'm trying to prove a lemma that involves
zip_with. Along the way I used
list.nth_zip_with, which introduced symbols like
>>= into my goal state.
Now I'm completely unable to understand what the goal means.
Clicking the symbols tells me what they are, but looking them up in the docs did not help me understand them at all.
Is there a way to circumnavigate these kinds of expressions, or is there a resource that explains them?
Mario Carneiro (Mar 09 2021 at 20:16):
<*> is another function with its own definition in terms of map and bind
Mario Carneiro (Mar 09 2021 at 20:17):
you can rewrite them away using
Scott Morrison (Mar 09 2021 at 22:23):
Bryan Gin-ge Chen (Mar 09 2021 at 22:25):
It doesn't always help, but you can often use something like
#print notation <$> to figure out what some symbols mean.
Last updated: May 13 2021 at 19:20 UTC