Frank Atanassow said: > 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. > > > If it is so, can I combine g*.f with a fork for example? > > What do you mean by a "fork"?
Jeremy Gibbons in "Conditional in distributive categories", among others, calls fork to the operator typed as f /_\ g : A -> B x C where f : A -> B and g : A -> C. In other literature it is also called split operador: <f,g> So, the question is, if i have f : A -> T B and g : A -> T C where T is a monad, i.e. an endofunctor, can i combine f and g as <f,g> : A -> T (BxC) knowing that T involves side effects? > > Regards, > Frank Regards, gustavo _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
