Mercurial > hg > Papers > 2015 > atton-thesis
annotate src/functor_laws_in_haskell.txt @ 18:086fc8bb6ea9
Add description for category/functor in program
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 08 Feb 2015 21:19:55 +0900 |
parents | |
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) |