lsp-types 1.0.0.0 → 1.0.0.1
raw patch · 2 files changed
+3/−3 lines, 2 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Language.LSP.Types.Lens: instance forall (f :: Language.LSP.Types.Method.From) a (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Notification). (a Data.Type.Equality.~ Language.LSP.Types.Message.MessageParams m) => Language.LSP.Types.Lens.HasParams (Language.LSP.Types.Message.NotificationMessage m) a
- Language.LSP.Types.Lens: instance forall (f :: Language.LSP.Types.Method.From) a (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Request). (a Data.Type.Equality.~ Data.Either.Either Language.LSP.Types.Message.ResponseError (Language.LSP.Types.Message.ResponseResult m)) => Language.LSP.Types.Lens.HasResult (Language.LSP.Types.Message.ResponseMessage m) a
- Language.LSP.Types.Lens: instance forall (f :: Language.LSP.Types.Method.From) a (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Request). (a Data.Type.Equality.~ Language.LSP.Types.Message.MessageParams m) => Language.LSP.Types.Lens.HasParams (Language.LSP.Types.Message.RequestMessage m) a
- Language.LSP.Types.Lens: instance forall (t :: Language.LSP.Types.Method.MethodType) a (m :: Language.LSP.Types.Method.Method 'Language.LSP.Types.Method.FromClient t). (a Data.Type.Equality.~ Language.LSP.Types.Registration.RegistrationOptions m) => Language.LSP.Types.Lens.HasRegisterOptions (Language.LSP.Types.Registration.Registration m) a
+ Language.LSP.Types.Lens: instance forall (f :: Language.LSP.Types.Method.From) a (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Notification). (a GHC.Types.~ Language.LSP.Types.Message.MessageParams m) => Language.LSP.Types.Lens.HasParams (Language.LSP.Types.Message.NotificationMessage m) a
+ Language.LSP.Types.Lens: instance forall (f :: Language.LSP.Types.Method.From) a (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Request). (a GHC.Types.~ Data.Either.Either Language.LSP.Types.Message.ResponseError (Language.LSP.Types.Message.ResponseResult m)) => Language.LSP.Types.Lens.HasResult (Language.LSP.Types.Message.ResponseMessage m) a
+ Language.LSP.Types.Lens: instance forall (f :: Language.LSP.Types.Method.From) a (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Request). (a GHC.Types.~ Language.LSP.Types.Message.MessageParams m) => Language.LSP.Types.Lens.HasParams (Language.LSP.Types.Message.RequestMessage m) a
+ Language.LSP.Types.Lens: instance forall (t :: Language.LSP.Types.Method.MethodType) a (m :: Language.LSP.Types.Method.Method 'Language.LSP.Types.Method.FromClient t). (a GHC.Types.~ Language.LSP.Types.Registration.RegistrationOptions m) => Language.LSP.Types.Lens.HasRegisterOptions (Language.LSP.Types.Registration.Registration m) a
- Data.IxMap: IxMap :: Map (Base k) (Some f) -> IxMap
+ Data.IxMap: IxMap :: Map (Base k) (Some f) -> IxMap (k :: a -> Type) (f :: a -> Type)
- Data.IxMap: [getMap] :: IxMap -> Map (Base k) (Some f)
+ Data.IxMap: [getMap] :: IxMap (k :: a -> Type) (f :: a -> Type) -> Map (Base k) (Some f)
- Language.LSP.Types: IdInt :: Int -> LspId
+ Language.LSP.Types: IdInt :: Int -> LspId (m :: Method f Request)
- Language.LSP.Types: IdString :: Text -> LspId
+ Language.LSP.Types: IdString :: Text -> LspId (m :: Method f Request)
- Language.LSP.Types: NotificationMessage :: Text -> SMethod m -> MessageParams m -> NotificationMessage
+ Language.LSP.Types: NotificationMessage :: Text -> SMethod m -> MessageParams m -> NotificationMessage (m :: Method f Notification)
- Language.LSP.Types: Registration :: Text -> SClientMethod m -> !RegistrationOptions m -> Registration
+ Language.LSP.Types: Registration :: Text -> SClientMethod m -> !RegistrationOptions m -> Registration (m :: Method FromClient t)
- Language.LSP.Types: RequestMessage :: Text -> LspId m -> SMethod m -> MessageParams m -> RequestMessage
+ Language.LSP.Types: RequestMessage :: Text -> LspId m -> SMethod m -> MessageParams m -> RequestMessage (m :: Method f Request)
- Language.LSP.Types: ResponseMessage :: Text -> Maybe (LspId m) -> Either ResponseError (ResponseResult m) -> ResponseMessage
+ Language.LSP.Types: ResponseMessage :: Text -> Maybe (LspId m) -> Either ResponseError (ResponseResult m) -> ResponseMessage (m :: Method f Request)
- Language.LSP.Types: [$sel:_id:Registration] :: Registration -> Text
+ Language.LSP.Types: [$sel:_id:Registration] :: Registration (m :: Method FromClient t) -> Text
- Language.LSP.Types: [$sel:_id:RequestMessage] :: RequestMessage -> LspId m
+ Language.LSP.Types: [$sel:_id:RequestMessage] :: RequestMessage (m :: Method f Request) -> LspId m
- Language.LSP.Types: [$sel:_id:ResponseMessage] :: ResponseMessage -> Maybe (LspId m)
+ Language.LSP.Types: [$sel:_id:ResponseMessage] :: ResponseMessage (m :: Method f Request) -> Maybe (LspId m)
- Language.LSP.Types: [$sel:_jsonrpc:NotificationMessage] :: NotificationMessage -> Text
+ Language.LSP.Types: [$sel:_jsonrpc:NotificationMessage] :: NotificationMessage (m :: Method f Notification) -> Text
- Language.LSP.Types: [$sel:_jsonrpc:RequestMessage] :: RequestMessage -> Text
+ Language.LSP.Types: [$sel:_jsonrpc:RequestMessage] :: RequestMessage (m :: Method f Request) -> Text
- Language.LSP.Types: [$sel:_jsonrpc:ResponseMessage] :: ResponseMessage -> Text
+ Language.LSP.Types: [$sel:_jsonrpc:ResponseMessage] :: ResponseMessage (m :: Method f Request) -> Text
- Language.LSP.Types: [$sel:_method:NotificationMessage] :: NotificationMessage -> SMethod m
+ Language.LSP.Types: [$sel:_method:NotificationMessage] :: NotificationMessage (m :: Method f Notification) -> SMethod m
- Language.LSP.Types: [$sel:_method:Registration] :: Registration -> SClientMethod m
+ Language.LSP.Types: [$sel:_method:Registration] :: Registration (m :: Method FromClient t) -> SClientMethod m
- Language.LSP.Types: [$sel:_method:RequestMessage] :: RequestMessage -> SMethod m
+ Language.LSP.Types: [$sel:_method:RequestMessage] :: RequestMessage (m :: Method f Request) -> SMethod m
- Language.LSP.Types: [$sel:_params:NotificationMessage] :: NotificationMessage -> MessageParams m
+ Language.LSP.Types: [$sel:_params:NotificationMessage] :: NotificationMessage (m :: Method f Notification) -> MessageParams m
- Language.LSP.Types: [$sel:_params:RequestMessage] :: RequestMessage -> MessageParams m
+ Language.LSP.Types: [$sel:_params:RequestMessage] :: RequestMessage (m :: Method f Request) -> MessageParams m
- Language.LSP.Types: [$sel:_registerOptions:Registration] :: Registration -> !RegistrationOptions m
+ Language.LSP.Types: [$sel:_registerOptions:Registration] :: Registration (m :: Method FromClient t) -> !RegistrationOptions m
- Language.LSP.Types: [$sel:_result:ResponseMessage] :: ResponseMessage -> Either ResponseError (ResponseResult m)
+ Language.LSP.Types: [$sel:_result:ResponseMessage] :: ResponseMessage (m :: Method f Request) -> Either ResponseError (ResponseResult m)
- Language.LSP.Types: regHelper :: forall m_a4PE0 x_a4PE1. SMethod m_a4PE0 -> (Show (RegistrationOptions m_a4PE0) => ToJSON (RegistrationOptions m_a4PE0) => FromJSON (RegistrationOptions m_a4PE0) => x_a4PE1) -> x_a4PE1
+ Language.LSP.Types: regHelper :: forall m_a4ARj x_a4ARk. SMethod m_a4ARj -> (Show (RegistrationOptions m_a4ARj) => ToJSON (RegistrationOptions m_a4ARj) => FromJSON (RegistrationOptions m_a4ARj) => x_a4ARk) -> x_a4ARk
- Language.LSP.VFS: changeFromClientVFS :: VFS -> Message 'TextDocumentDidChange -> (VFS, [String])
+ Language.LSP.VFS: changeFromClientVFS :: VFS -> Message 'TextDocumentDidChange -> (VFS, [String])
- Language.LSP.VFS: changeFromServerVFS :: VFS -> Message 'WorkspaceApplyEdit -> IO VFS
+ Language.LSP.VFS: changeFromServerVFS :: VFS -> Message 'WorkspaceApplyEdit -> IO VFS
- Language.LSP.VFS: closeVFS :: VFS -> Message 'TextDocumentDidClose -> (VFS, [String])
+ Language.LSP.VFS: closeVFS :: VFS -> Message 'TextDocumentDidClose -> (VFS, [String])
- Language.LSP.VFS: openVFS :: VFS -> Message 'TextDocumentDidOpen -> (VFS, [String])
+ Language.LSP.VFS: openVFS :: VFS -> Message 'TextDocumentDidOpen -> (VFS, [String])
Files
- lsp-types.cabal +2/−2
- src/Language/LSP/VFS.hs +1/−1
lsp-types.cabal view
@@ -1,5 +1,5 @@ name: lsp-types-version: 1.0.0.0+version: 1.0.0.1 synopsis: Haskell library for the Microsoft Language Server Protocol, data types description: An implementation of the types to allow language implementors to@@ -67,7 +67,7 @@ , Language.LSP.Types.WorkspaceSymbol -- other-extensions: ghc-options: -Wall- build-depends: base >= 4.9 && < 4.15+ build-depends: base >= 4.11 && < 4.15 , aeson >=1.2.2.0 , binary , bytestring
src/Language/LSP/VFS.hs view
@@ -5,7 +5,7 @@ {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE ViewPatterns #-} {-# LANGUAGE NamedFieldPuns #-}-{-# LANGUAGE DataKinds #-}+{-# LANGUAGE TypeInType #-} {-| Handles the "Language.LSP.Types.TextDocumentDidChange" \/