ボンジュール・マドモアゼル

本サイトの情報は自己責任にてご利用下さい。

[Haskell] Haskell Monad >>= binder のイメージ

 
(>>=) :: m a -> (a -> m b) -> m b
下図のオレンジの部分が >>= の行う処理であり、青の部分 (a -> mb) が行う処理である。
  1. >>= は m a を受け取り、
  2. a を引数として (a-> m b) を呼び出す。
  3. (a -> m b) から戻された m b と m a の m を合成し、m b を作り、それを返す。

Haskell モナドのイメージ図

Writerモナドのイメージ図
Writerモナド イメージ図

  1. 2012/07/04(水) 02:05:22|
  2. Haskell|
  3. トラックバック(-)|
  4. コメント:0

[Haskell] QuickCheck テスト回数指定

 
quickCheckWith stdArgs {maxSuccess = 1000} prop_xxxxxxx
quickCheckWith
  1. 2012/07/02(月) 09:53:23|
  2. Haskell|
  3. トラックバック(-)|
  4. コメント:0
前のページ