Mercurial > hg > Papers > 2015 > atton-thesis
annotate src/functor_laws_in_haskell.txt @ 29:ed97e5de348d
Add todo list
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 12 Feb 2015 11:28:50 +0900 |
parents | 086fc8bb6ea9 |
children |
rev | line source |
---|---|
18
086fc8bb6ea9
Add description for category/functor in program
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 fmap id = id |
086fc8bb6ea9
Add description for category/functor in program
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2 fmap (p . q) = (fmap p) . (fmap q) |