{-# 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