[Haskell-cafe] class MonoidBreak?

Alex Jacobson alex at alexjacobson.com
Fri Jun 8 10:24:09 EDT 2007

Ok how about this class:

   class (Monoid m) => MonoidBreak m where

And the condition is

   mappend (mbreak y z) y == z


Dan Piponi wrote:
> On 6/7/07, Alex Jacobson <alex at alexjacobson.com> wrote:
>> Is there a standard class that looks something like this:
>> class (Monoid m) => MonoidBreak m where
>>      mbreak::a->m a->(m a,m a)
> I think you have some kind of kind issue going on here. If m is a
> Monoid I'm not sure what m a means. Looks like you're trying to factor
> elements of monoids in some way. Maybe you mean
> class (Monoid m) => MonoidBreak m where
>    mbreak::a->m->(m,m)
> Though I'm not sure what the relationship between m and a is intended 
> to be.

More information about the Haskell-Cafe mailing list