モナド則のひとつ 右恒等性
を確かめていました。
Just 5 >>= return -- 結果: Just 5
こんな return関数
はどのように実装するんだろうと思って
https://hackage.haskell.org/package/base-4.14.0.0/docs/Control-Monad.html の
下記画像下部のreturn :: a -> Maybe a # Source
の Sourceと書かれた部分にあたるリンクに飛んでみると下記でした。
https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Base.html#return
おそらくこのリンクが飛んだのは下記引用箇所の return = pure
の部分だと思うのですが、これが return の実装なのでしょうか?
class Applicative m => Monad m where -- | Sequentially compose two actions, passing any value produced -- by the first as an argument to the second. -- -- \'@as '>>=' bs@\' can be understood as the @do@ expression -- -- @ -- do a <- as -- bs a -- @ (>>=) :: forall a b. m a -> (a -> m b) -> m b -- | Sequentially compose two actions, discarding any value produced -- by the first, like sequencing operators (such as the semicolon) -- in imperative languages. -- -- \'@as '>>' bs@\' can be understood as the @do@ expression -- -- @ -- do as -- bs -- @ (>>) :: forall a b. m a -> m b -> m b m >> k = m >>= \_ -> k -- See Note [Recursive bindings for Applicative/Monad] {-# INLINE (>>) #-} -- | Inject a value into the monadic type. return :: a -> m a return = pure
同じ理屈で、 >>=
もソースのリンク先が
https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Base.html#%3E%3E%3D
なのですが、他の解説サイトでみてるのとぜんぜん形がちがうように思います。
上記解説サイトから 実装部分を引用します。
instance Monad Maybe where Nothing >>= func = Nothing Just val >>= func = func val
なので、てっきり
instance Monad Maybe where
Nothing >>= func = Nothing
Just val >>= func = func val
return .....
みたいな形で書かれているページに遷移されると思っていたのですが....