528
个编辑
更改
跳到导航
跳到搜索
第11行：
第11行： +
无编辑摘要
;<code>(>>=)</code>: bind
;<code>(>>=)</code>: bind
;<code>(>>)</code>: then 运算符。忽略上一个 Monad 的结果
;<code>(>=>)</code>: monad 复合，<code>(bs >=> cs) a</code> 可理解为 {{code|haskell|do { b <- bs a; cs b }<nowiki/>}}
;<code>(>=>)</code>: monad 复合，<code>(bs >=> cs) a</code> 可理解为 {{code|haskell|do { b <- bs a; cs b }<nowiki/>}}
;<code>(<=<)</code>: <code>flip (>=>)</code>，就像 <code>(.)</code> 运算符<ref>[[wikibooks:Haskell/Understanding_monads#Monadic_composition]]</ref>
;<code>(<=<)</code>: <code>flip (>=>)</code>，就像 <code>(.)</code> 运算符<ref>[[wikibooks:Haskell/Understanding_monads#Monadic_composition]]</ref>