Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
applicative [2014/08/24 17:44] nikolaj |
applicative [2014/08/24 17:44] nikolaj |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| === Laws === | === Laws === | ||
| - | | 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 <*> pure y $\ \leftrightsquigarrow\ $ pure ($ y) <*> u |
| - | | u <*> (v <*> w) $\ \leftrightsquigarrow\ $ pure (.) <*> u <*> v <*> w | | + | u <*> (v <*> w) $\ \leftrightsquigarrow\ $ pure (.) <*> u <*> v <*> w |
| ==== Discussion ==== | ==== Discussion ==== | ||
