Skip to content

Commit b4e9b40

Browse files
Add CommutativeSemigroup Void instance
1 parent 1ab59e5 commit b4e9b40

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

src/Data/Group.purs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,8 @@ class Monoid g <= Group g where
3232
-- | - Commutativity: `forall x, y. x <> y = y <> x`
3333
class Semigroup g <= CommutativeSemigroup g
3434

35+
instance commutativeSemigroupVoid :: CommutativeSemigroup Void
36+
3537
instance groupUnit :: Group Unit where
3638
ginverse _ = unit
3739

0 commit comments

Comments
 (0)