Gustavo Villavicencio wrote:
> Hi all, > > I am trying to understand the algebraic laws and operators > behind a functional expression... > > f >>= g \equiv g* . f > > in the Kleisli Star context. Is this right?
Yep.
Oops, or rather, not quite.
m >>= g
means
g* m
The Kleisli composition (-)* . (-) is sometimes written as (@@):
(@@) :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c) (f @@ g) x = let m = f x in m >>= g
Regards, Frank
_______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
