Add helper instances and functions

Author: joyfulmantis

lsp-types/lsp-types.cabal

@@ -71,6 +71,7 @@ library
     , base              >=4.11    && <5
     , binary
     , containers
+    , data-default
     , deepseq
     , Diff              >=0.2
     , dlist
@@ -114,6 +115,7 @@ library
     Language.LSP.Protocol.Message.Registration
     Language.LSP.Protocol.Message.Types
     Language.LSP.Protocol.Types.Common
+    Language.LSP.Protocol.Types.CustomInstances
     Language.LSP.Protocol.Types.Edit
     Language.LSP.Protocol.Types.Lens
     Language.LSP.Protocol.Types.Location

lsp-types/src/Language/LSP/Protocol/Message/Lens.hs

@@ -1,4 +1,5 @@
 {-#LANGUAGE TemplateHaskell #-}
+{-# OPTIONS_GHC -Wno-orphans #-}
 
 module Language.LSP.Protocol.Message.Lens where
 

lsp-types/src/Language/LSP/Protocol/Types.hs

@@ -22,6 +22,8 @@ module Language.LSP.Protocol.Types (
   , module SemanticTokens
   -- * Main LSP types and functions
   , module Generated
+  -- ** Custom instances for the generated types
+  , module CustomInstances
   ) where
 
 import Language.LSP.Protocol.Internal.Types as Generated
@@ -35,3 +37,4 @@ import Language.LSP.Protocol.Types.Singletons as Singletons
 import Language.LSP.Protocol.Types.Uri as Uri
 import Language.LSP.Protocol.Types.Uri.OsPath as Uri
 import Language.LSP.Protocol.Types.Edit as Edits
+import Language.LSP.Protocol.Types.CustomInstances as CustomInstances

lsp-types/src/Language/LSP/Protocol/Types/Common.hs

@@ -18,6 +18,7 @@ module Language.LSP.Protocol.Types.Common (
   , Null (..)
   , absorbNull
   , nullToMaybe
+  , maybeToNull
   , (.=?)
 ) where
 
@@ -123,6 +124,16 @@ nullToMaybe :: a |? Null -> Maybe a
 nullToMaybe (InL a) = Just a
 nullToMaybe (InR _) = Nothing
 
+maybeToNull :: Maybe a -> a |? Null
+maybeToNull (Just x) = InL x
+maybeToNull Nothing  = InR Null
+
+instance Semigroup s => Semigroup (s |? Null) where
+  InL x <> InL y = InL (x <> y)
+  InL x <> InR _ = InL x
+  InR _ <> InL x = InL x
+  InR _ <> InR y = InR y
+
   -- We use String so we can use fromString on it to get a key that works
   -- in both aeson-1 and aeson-2
 -- | Include a value in an JSON object optionally, omitting it if it is 'Nothing'.

lsp-types/src/Language/LSP/Protocol/Types/CustomInstances.hs

@@ -0,0 +1,27 @@
+{-# OPTIONS_GHC -Wno-orphans #-}
+module Language.LSP.Protocol.Types.CustomInstances where
+
+import           Language.LSP.Protocol.Internal.Types
+import           Data.Default
+import           Data.Hashable
+import           Data.Semigroup                ()
+
+instance Semigroup WorkspaceEdit where
+  (WorkspaceEdit a b c) <> (WorkspaceEdit a' b' c') = WorkspaceEdit (a <> a') (b <> b') (c <> c')
+instance Monoid WorkspaceEdit where
+  mempty = WorkspaceEdit Nothing Nothing Nothing
+
+instance Hashable Location
+instance Hashable Range
+instance Hashable Position
+
+instance Default ClientCapabilities where
+    def = ClientCapabilities (Just def) (Just def) (Just def) (Just def) (Just def) Nothing
+
+instance Default WorkspaceClientCapabilities
+instance Default TextDocumentClientCapabilities
+instance Default NotebookDocumentClientCapabilities where
+    def = NotebookDocumentClientCapabilities def
+instance Default NotebookDocumentSyncClientCapabilities
+instance Default WindowClientCapabilities
+instance Default GeneralClientCapabilities

lsp-types/src/Language/LSP/Protocol/Types/Lens.hs

@@ -1,4 +1,5 @@
 {-#LANGUAGE TemplateHaskell #-}
+{-# OPTIONS_GHC -Wno-orphans #-}
 
 module Language.LSP.Protocol.Types.Lens where