Add monoid instances

Author: masaeedu

src/Effect/Uncurried.purs

@@ -132,6 +132,8 @@
 
 module Effect.Uncurried where
 
+import Data.Function (($))
+import Data.Monoid (class Monoid, class Semigroup, mempty, (<>))
 import Effect (Effect)
 
 foreign import data EffectFn1 :: Type -> Type -> Type
@@ -186,3 +188,63 @@ foreign import runEffectFn9 :: forall a b c d e f g h i r.
   EffectFn9 a b c d e f g h i r -> a -> b -> c -> d -> e -> f -> g -> h -> i -> Effect r
 foreign import runEffectFn10 :: forall a b c d e f g h i j r.
   EffectFn10 a b c d e f g h i j r -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> Effect r
+
+instance semigroupEffectFn1 :: Semigroup r => Semigroup (EffectFn1 a r) where
+  append f1 f2 = mkEffectFn1 $ (runEffectFn1 f1) <> (runEffectFn1 f2)
+
+instance semigroupEffectFn2 :: Semigroup r => Semigroup (EffectFn2 a b r) where
+  append f1 f2 = mkEffectFn2 $ (runEffectFn2 f1) <> (runEffectFn2 f2)
+
+instance semigroupEffectFn3 :: Semigroup r => Semigroup (EffectFn3 a b c r) where
+  append f1 f2 = mkEffectFn3 $ (runEffectFn3 f1) <> (runEffectFn3 f2)
+
+instance semigroupEffectFn4 :: Semigroup r => Semigroup (EffectFn4 a b c d r) where
+  append f1 f2 = mkEffectFn4 $ (runEffectFn4 f1) <> (runEffectFn4 f2)
+
+instance semigroupEffectFn5 :: Semigroup r => Semigroup (EffectFn5 a b c d e r) where
+  append f1 f2 = mkEffectFn5 $ (runEffectFn5 f1) <> (runEffectFn5 f2)
+
+instance semigroupEffectFn6 :: Semigroup r => Semigroup (EffectFn6 a b c d e f r) where
+  append f1 f2 = mkEffectFn6 $ (runEffectFn6 f1) <> (runEffectFn6 f2)
+
+instance semigroupEffectFn7 :: Semigroup r => Semigroup (EffectFn7 a b c d e f g r) where
+  append f1 f2 = mkEffectFn7 $ (runEffectFn7 f1) <> (runEffectFn7 f2)
+
+instance semigroupEffectFn8 :: Semigroup r => Semigroup (EffectFn8 a b c d e f g h r) where
+  append f1 f2 = mkEffectFn8 $ (runEffectFn8 f1) <> (runEffectFn8 f2)
+
+instance semigroupEffectFn9 :: Semigroup r => Semigroup (EffectFn9 a b c d e f g h i r) where
+  append f1 f2 = mkEffectFn9 $ (runEffectFn9 f1) <> (runEffectFn9 f2)
+
+instance semigroupEffectFn10 :: Semigroup r => Semigroup (EffectFn10 a b c d e f g h i j r) where
+  append f1 f2 = mkEffectFn10 $ (runEffectFn10 f1) <> (runEffectFn10 f2)
+
+instance monoidEffectFn1 :: Monoid r => Monoid (EffectFn1 a r) where
+  mempty = mkEffectFn1 mempty
+
+instance monoidEffectFn2 :: Monoid r => Monoid (EffectFn2 a b r) where
+  mempty = mkEffectFn2 mempty
+
+instance monoidEffectFn3 :: Monoid r => Monoid (EffectFn3 a b c r) where
+  mempty = mkEffectFn3 mempty
+
+instance monoidEffectFn4 :: Monoid r => Monoid (EffectFn4 a b c d r) where
+  mempty = mkEffectFn4 mempty
+
+instance monoidEffectFn5 :: Monoid r => Monoid (EffectFn5 a b c d e r) where
+  mempty = mkEffectFn5 mempty
+
+instance monoidEffectFn6 :: Monoid r => Monoid (EffectFn6 a b c d e f r) where
+  mempty = mkEffectFn6 mempty
+
+instance monoidEffectFn7 :: Monoid r => Monoid (EffectFn7 a b c d e f g r) where
+  mempty = mkEffectFn7 mempty
+
+instance monoidEffectFn8 :: Monoid r => Monoid (EffectFn8 a b c d e f g h r) where
+  mempty = mkEffectFn8 mempty
+
+instance monoidEffectFn9 :: Monoid r => Monoid (EffectFn9 a b c d e f g h i r) where
+  mempty = mkEffectFn9 mempty
+
+instance monoidEffectFn10 :: Monoid r => Monoid (EffectFn10 a b c d e f g h i j r) where
+  mempty = mkEffectFn10 mempty