We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent da7d3f9 commit df87ac3Copy full SHA for df87ac3
std/monad.glu
@@ -49,10 +49,10 @@ let join mm : [Monad m] -> m (m a) -> m a = mm >>= (\x -> x)
49
50
// Kleisli composition
51
#[infix(right, 9)]
52
-let (<=<) g f x : [Monad m] -> (b -> m c) -> (a -> m b) -> (a -> m c) = g =<< f x
+let (<=<) g f x : [Monad m] -> (b -> m c) -> (a -> m b) -> a -> m c = g =<< f x
53
54
#[infix(left, 9)]
55
-let (>=>) f g x : [Monad m] -> (a -> m b) -> (b -> m c) -> (a -> m c) = f x >>= g
+let (>=>) f g x : [Monad m] -> (a -> m b) -> (b -> m c) -> a -> m c = f x >>= g
56
57
{
58
Monad,
@@ -61,5 +61,5 @@ let (>=>) f g x : [Monad m] -> (a -> m b) -> (b -> m c) -> (a -> m c) = f x >>=
61
(=<<),
62
join,
63
(<=<),
64
- (>=>)
+ (>=>),
65
}
0 commit comments