on master help sign in
fix quotes in doc comment
commit43cd347ff785ff05e00410eafe2722f574281e33 authorAlex Gryzlov <alexander.gryzlov@adform.com> dateMon 26 Jun 2017, 12:57 (9 years ago) parentd3f4f6c
1 file changed+2−2
libs/prelude/Prelude/Monad.idr+2−2
libs/prelude/Prelude/Monad.idr+2−2
@@ -34,8 +34,8 @@ flatten : Monad m => m (m a) -> m a
3434flatten = join
3535%deprecate flatten "Please use `join`, which is the standard name."
3636
37−||| Similar to 'foldl', but uses a function wrapping its result in a 'Monad'.
38−||| Consequently, the final value is wrapped in the same 'Monad'.
37+||| Similar to `foldl`, but uses a function wrapping its result in a `Monad`.
38+||| Consequently, the final value is wrapped in the same `Monad`.
3939foldlM : (Foldable t, Monad m) => (funcM: a -> b -> m a) -> (init: a) -> (input: t b) -> m a
4040foldlM fm a0 = foldl (\ma,b => ma >>= flip fm b) (pure a0)
4141