Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
applicative [2014/08/25 00:05] nikolaj |
applicative [2014/08/25 00:06] nikolaj |
||
---|---|---|---|
Line 9: | Line 9: | ||
</code> | </code> | ||
- | pure id <*> v $\ \leftrightsquigarrow\ $ v | + | | pure id <*> v $\ \leftrightsquigarrow\ $ v | |
- | + | | pure f <*> pure x $\ \leftrightsquigarrow\ $ pure (f x) | | |
- | pure f <*> pure x $\ \leftrightsquigarrow\ $ pure (f x) | + | | u <*> pure y $\ \leftrightsquigarrow\ $ pure ($ y) <*> u | |
- | + | | u <*> (v <*> w) $\ \leftrightsquigarrow\ $ pure (.) <*> u <*> v <*> w | | |
- | u <*> pure y $\ \leftrightsquigarrow\ $ pure ($ y) <*> u | + | |
- | + | ||
- | u <*> (v <*> w) $\ \leftrightsquigarrow\ $ pure (.) <*> u <*> v <*> w | + | |
==== Discussion ==== | ==== Discussion ==== |