File tree Expand file tree Collapse file tree 3 files changed +4
-4
lines changed
Expand file tree Collapse file tree 3 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -49,10 +49,10 @@ let join mm : [Monad m] -> m (m a) -> m a = mm >>= (\x -> x)
4949
5050// Kleisli composition
5151#[infix(right, 9)]
52- let (<=<) g f : [Monad m] -> (b -> m c) -> (a -> m b) -> m c = flat_map g << f
52+ let (<=<) g f x : [Monad m] -> (b -> m c) -> (a -> m b) -> (a -> m c) = g = << f x
5353
5454#[infix(left, 9)]
55- let (>=>) f g : [Monad m] -> (a -> m b) -> (b -> m c) -> m c = f >> flat_map g
55+ let (>=>) f g x : [Monad m] -> (a -> m b) -> (b -> m c) -> (a -> m c) = f x >>= g
5656
5757{
5858 Monad,
Original file line number Diff line number Diff line change @@ -12,7 +12,7 @@ let { Applicative } = import! std.applicative
1212let { Alternative } = import! std.alternative
1313let { Show } = import! std.show
1414let { Bool } = import! std.bool
15- let { Option } = import! std.types
15+ let { Option, Result } = import! std.types
1616let string @ { ? } = import! std.string
1717let { Foldable } = import! std.foldable
1818let { (<>) } = import! std.semigroup
Original file line number Diff line number Diff line change @@ -6,7 +6,7 @@ let { Show } = import! std.show
66let { Functor } = import! std.functor
77let { Applicative } = import! std.applicative
88let { Monad } = import! std.monad
9- let { Result } = import! std.types
9+ let { Result, Option } = import! std.types
1010let { Foldable } = import! std.foldable
1111let { Traversable } = import! std.traversable
1212let { Bool } = import! std.bool
You can’t perform that action at this time.
0 commit comments