LoginSignup
15
14

More than 5 years have passed since last update.

@7shi

モナド則の絵を描いてみた

Last updated at Posted at 2014-12-12

この記事は次の記事に統合しました。詳しくはそちらをご覧ください。

1. return x >>= f == f x

1.png

2. m >>= return == m

2.png

3. (m >>= f) >>= g == m >>= (\x -> f x >>= g)

3.png

15
14
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
Sign upLogin
15
14