[Haskell-cafe] class MonoidBreak?

Dan Piponi dpiponi at gmail.com
Thu Jun 7 16:21:58 EDT 2007


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