{-# OPTIONS_GHC -Wno-orphans #-}

module Language.LSP.Protocol.Types.Orphans where

import Data.Default
import Data.Semigroup ()
import Language.LSP.Protocol.Internal.Types

instance Semigroup WorkspaceEdit where
  (WorkspaceEdit Maybe (Map Uri [TextEdit])
a Maybe
  [TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))]
b Maybe (Map ChangeAnnotationIdentifier ChangeAnnotation)
c) <> :: WorkspaceEdit -> WorkspaceEdit -> WorkspaceEdit
<> (WorkspaceEdit Maybe (Map Uri [TextEdit])
a' Maybe
  [TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))]
b' Maybe (Map ChangeAnnotationIdentifier ChangeAnnotation)
c') = Maybe (Map Uri [TextEdit])
-> Maybe
     [TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))]
-> Maybe (Map ChangeAnnotationIdentifier ChangeAnnotation)
-> WorkspaceEdit
WorkspaceEdit (Maybe (Map Uri [TextEdit])
a Maybe (Map Uri [TextEdit])
-> Maybe (Map Uri [TextEdit]) -> Maybe (Map Uri [TextEdit])
forall a. Semigroup a => a -> a -> a
<> Maybe (Map Uri [TextEdit])
a') (Maybe
  [TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))]
b Maybe
  [TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))]
-> Maybe
     [TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))]
-> Maybe
     [TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))]
forall a. Semigroup a => a -> a -> a
<> Maybe
  [TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))]
b') (Maybe (Map ChangeAnnotationIdentifier ChangeAnnotation)
c Maybe (Map ChangeAnnotationIdentifier ChangeAnnotation)
-> Maybe (Map ChangeAnnotationIdentifier ChangeAnnotation)
-> Maybe (Map ChangeAnnotationIdentifier ChangeAnnotation)
forall a. Semigroup a => a -> a -> a
<> Maybe (Map ChangeAnnotationIdentifier ChangeAnnotation)
c')
instance Monoid WorkspaceEdit where
  mempty :: WorkspaceEdit
mempty = Maybe (Map Uri [TextEdit])
-> Maybe
     [TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))]
-> Maybe (Map ChangeAnnotationIdentifier ChangeAnnotation)
-> WorkspaceEdit
WorkspaceEdit Maybe (Map Uri [TextEdit])
forall a. Maybe a
Nothing Maybe
  [TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))]
forall a. Maybe a
Nothing Maybe (Map ChangeAnnotationIdentifier ChangeAnnotation)
forall a. Maybe a
Nothing

instance Default ClientCapabilities where
  def :: ClientCapabilities
def = Maybe WorkspaceClientCapabilities
-> Maybe TextDocumentClientCapabilities
-> Maybe NotebookDocumentClientCapabilities
-> Maybe WindowClientCapabilities
-> Maybe GeneralClientCapabilities
-> Maybe Value
-> ClientCapabilities
ClientCapabilities Maybe WorkspaceClientCapabilities
forall a. Default a => a
def Maybe TextDocumentClientCapabilities
forall a. Default a => a
def Maybe NotebookDocumentClientCapabilities
forall a. Default a => a
def Maybe WindowClientCapabilities
forall a. Default a => a
def Maybe GeneralClientCapabilities
forall a. Default a => a
def Maybe Value
forall a. Maybe a
Nothing
instance Default WorkspaceClientCapabilities
instance Default TextDocumentClientCapabilities
instance Default NotebookDocumentClientCapabilities
instance Default NotebookDocumentSyncClientCapabilities
instance Default WindowClientCapabilities
instance Default GeneralClientCapabilities