From 3058907bba7571c10bf86213938a737330bc7bdd Mon Sep 17 00:00:00 2001
From: Sergey Alirzaev <zl29ah@gmail.com>
Date: Sun, 12 Aug 2018 02:19:51 +0300
Subject: [PATCH] StreamFeatures Semigroup instance for ghc-8.4 compat

as suggested in https://prime.haskell.org/wiki/Libraries/Proposals/SemigroupMonoid#Writingcompatiblecode
fixes #114
---
 source/Network/Xmpp/Types.hs | 24 ++++++++++++++----------
 1 file changed, 14 insertions(+), 10 deletions(-)

diff --git a/source/Network/Xmpp/Types.hs b/source/Network/Xmpp/Types.hs
index 4ead383..a13790e 100644
--- a/source/Network/Xmpp/Types.hs
+++ b/source/Network/Xmpp/Types.hs
@@ -95,6 +95,7 @@ import qualified Data.ByteString as BS
 import           Data.Char (isSpace)
 import           Data.Conduit
 import           Data.Default
+import           Data.Semigroup as Sem
 import qualified Data.Set as Set
 import           Data.String (IsString, fromString)
 import           Data.Text (Text)
@@ -735,16 +736,8 @@ data StreamFeatures = StreamFeatures
       -- TODO: All feature elements instead?
     } deriving (Eq, Show)
 
-instance Monoid StreamFeatures where
-    mempty = StreamFeatures
-               { streamFeaturesTls         = Nothing
-               , streamFeaturesMechanisms  = []
-               , streamFeaturesRosterVer   = Nothing
-               , streamFeaturesPreApproval = False
-               , streamFeaturesSession     = Nothing
-               , streamFeaturesOther       = []
-               }
-    mappend sf1 sf2 =
+instance Sem.Semigroup StreamFeatures where
+    sf1 <> sf2 =
         StreamFeatures
                { streamFeaturesTls = mplusOn streamFeaturesTls
                , streamFeaturesMechanisms  = mplusOn streamFeaturesMechanisms
@@ -759,6 +752,17 @@ instance Monoid StreamFeatures where
       where
         mplusOn f = f sf1 `mplus` f sf2
 
+instance Monoid StreamFeatures where
+    mempty = StreamFeatures
+               { streamFeaturesTls         = Nothing
+               , streamFeaturesMechanisms  = []
+               , streamFeaturesRosterVer   = Nothing
+               , streamFeaturesPreApproval = False
+               , streamFeaturesSession     = Nothing
+               , streamFeaturesOther       = []
+               }
+    mappend = (<>)
+
 -- | Signals the state of the stream connection.
 data ConnectionState
     = Closed  -- ^ Stream has not been established yet