add Semiring Disj instance

Question

add Semiring Disj instance

Closed this issue 10 years ago · 3 comments

PR incoming

Answer 1 · 2015-09-21T17:49:46.000Z

I'm actually not sure that this is a great idea, since Disj is meant to focus on one aspect of a potential semiring. I may implement what I need in another way...

Answer 2 · 2015-09-21T17:58:39.000Z

If you do do it we have a purescript-semirings too, so it may be more appropriate there - I think it depends on monoids - https://github.com/purescript/purescript-semirings.

Answer 3 · 2015-09-21T17:59:35.000Z

Oh, nevermind, that would be an orphan then, of course.