packages feed

hls-plugin-api 2.10.0.0 → 2.11.0.0

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~hls-graphPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: hls-graph

API changes (from Hackage documentation)

- Ide.Plugin.Config: [$sel:cabalFormattingProvider:Config] :: Config -> !Text
- Ide.Plugin.Config: [$sel:checkParents:Config] :: Config -> CheckParents
- Ide.Plugin.Config: [$sel:checkProject:Config] :: Config -> !Bool
- Ide.Plugin.Config: [$sel:formattingProvider:Config] :: Config -> !Text
- Ide.Plugin.Config: [$sel:maxCompletions:Config] :: Config -> !Int
- Ide.Plugin.Config: [$sel:plcCallHierarchyOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plcCodeActionsOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plcCodeLensOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plcCompletionOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plcConfig:PluginConfig] :: PluginConfig -> !Object
- Ide.Plugin.Config: [$sel:plcDiagnosticsOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plcFoldingRangeOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plcGlobalOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plcHoverOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plcInlayHintsOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plcRenameOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plcSelectionRangeOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plcSemanticTokensOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plcSymbolsOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Plugin.Config: [$sel:plugins:Config] :: Config -> !Map PluginId PluginConfig
- Ide.Plugin.Config: [$sel:sessionLoading:Config] :: Config -> !SessionLoadingPreferenceConfig
- Ide.Types: ($sel:lookupCommandProvider:IdePlugins_) :: IdePlugins ideState -> CommandId -> Maybe PluginId
- Ide.Types: [$sel:cabalFormattingProvider:Config] :: Config -> !Text
- Ide.Types: [$sel:checkParents:Config] :: Config -> CheckParents
- Ide.Types: [$sel:checkProject:Config] :: Config -> !Bool
- Ide.Types: [$sel:commandDesc:PluginCommand] :: PluginCommand ideState -> Text
- Ide.Types: [$sel:commandFunc:PluginCommand] :: PluginCommand ideState -> CommandFunction ideState a
- Ide.Types: [$sel:commandId:PluginCommand] :: PluginCommand ideState -> CommandId
- Ide.Types: [$sel:configCustomConfig:ConfigDescriptor] :: ConfigDescriptor -> CustomConfig
- Ide.Types: [$sel:configHasDiagnostics:ConfigDescriptor] :: ConfigDescriptor -> Bool
- Ide.Types: [$sel:configInitialGenericConfig:ConfigDescriptor] :: ConfigDescriptor -> PluginConfig
- Ide.Types: [$sel:dynFlagsModifyGlobal:DynFlagsModifications] :: DynFlagsModifications -> DynFlags -> DynFlags
- Ide.Types: [$sel:dynFlagsModifyParser:DynFlagsModifications] :: DynFlagsModifications -> DynFlags -> DynFlags
- Ide.Types: [$sel:fallbackCommand:FallbackCodeActionParams] :: FallbackCodeActionParams -> Maybe Command
- Ide.Types: [$sel:fallbackWorkspaceEdit:FallbackCodeActionParams] :: FallbackCodeActionParams -> Maybe WorkspaceEdit
- Ide.Types: [$sel:formattingProvider:Config] :: Config -> !Text
- Ide.Types: [$sel:maxCompletions:Config] :: Config -> !Int
- Ide.Types: [$sel:plcCallHierarchyOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:plcCodeActionsOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:plcCodeLensOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:plcCompletionOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:plcConfig:PluginConfig] :: PluginConfig -> !Object
- Ide.Types: [$sel:plcDiagnosticsOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:plcFoldingRangeOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:plcGlobalOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:plcHoverOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:plcInlayHintsOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:plcRenameOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:plcSelectionRangeOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:plcSemanticTokensOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:plcSymbolsOn:PluginConfig] :: PluginConfig -> !Bool
- Ide.Types: [$sel:pluginCli:PluginDescriptor] :: PluginDescriptor (ideState :: Type) -> Maybe (ParserInfo (IdeCommand ideState))
- Ide.Types: [$sel:pluginCommands:PluginDescriptor] :: PluginDescriptor (ideState :: Type) -> ![PluginCommand ideState]
- Ide.Types: [$sel:pluginConfigDescriptor:PluginDescriptor] :: PluginDescriptor (ideState :: Type) -> ConfigDescriptor
- Ide.Types: [$sel:pluginDescription:PluginDescriptor] :: PluginDescriptor (ideState :: Type) -> !Text
- Ide.Types: [$sel:pluginFileType:PluginDescriptor] :: PluginDescriptor (ideState :: Type) -> [Text]
- Ide.Types: [$sel:pluginHandlers:PluginDescriptor] :: PluginDescriptor (ideState :: Type) -> PluginHandlers ideState
- Ide.Types: [$sel:pluginId:PluginDescriptor] :: PluginDescriptor (ideState :: Type) -> !PluginId
- Ide.Types: [$sel:pluginModifyDynflags:PluginDescriptor] :: PluginDescriptor (ideState :: Type) -> DynFlagsModifications
- Ide.Types: [$sel:pluginNotificationHandlers:PluginDescriptor] :: PluginDescriptor (ideState :: Type) -> PluginNotificationHandlers ideState
- Ide.Types: [$sel:pluginPriority:PluginDescriptor] :: PluginDescriptor (ideState :: Type) -> Natural
- Ide.Types: [$sel:pluginRules:PluginDescriptor] :: PluginDescriptor (ideState :: Type) -> !Rules ()
- Ide.Types: [$sel:plugins:Config] :: Config -> !Map PluginId PluginConfig
- Ide.Types: [$sel:sessionLoading:Config] :: Config -> !SessionLoadingPreferenceConfig
+ Ide.Plugin.Config: [cabalFormattingProvider] :: Config -> !Text
+ Ide.Plugin.Config: [checkParents] :: Config -> CheckParents
+ Ide.Plugin.Config: [checkProject] :: Config -> !Bool
+ Ide.Plugin.Config: [formattingProvider] :: Config -> !Text
+ Ide.Plugin.Config: [maxCompletions] :: Config -> !Int
+ Ide.Plugin.Config: [plcCallHierarchyOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plcCodeActionsOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plcCodeLensOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plcCompletionOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plcConfig] :: PluginConfig -> !Object
+ Ide.Plugin.Config: [plcDiagnosticsOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plcFoldingRangeOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plcGlobalOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plcHoverOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plcInlayHintsOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plcRenameOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plcSelectionRangeOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plcSemanticTokensOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plcSymbolsOn] :: PluginConfig -> !Bool
+ Ide.Plugin.Config: [plugins] :: Config -> !Map PluginId PluginConfig
+ Ide.Plugin.Config: [sessionLoading] :: Config -> !SessionLoadingPreferenceConfig
+ Ide.Types: ($dmcombineResponses) :: (PluginRequestMethod m, Semigroup (MessageResult m)) => SMethod m -> Config -> ClientCapabilities -> MessageParams m -> NonEmpty (MessageResult m) -> MessageResult m
+ Ide.Types: ($dmhandlesRequest) :: (PluginMethod k m, HasTextDocument (MessageParams m) doc, HasUri doc Uri) => SMethod m -> MessageParams m -> PluginDescriptor c -> Config -> HandleRequestResult
+ Ide.Types: [cabalFormattingProvider] :: Config -> !Text
+ Ide.Types: [checkParents] :: Config -> CheckParents
+ Ide.Types: [checkProject] :: Config -> !Bool
+ Ide.Types: [commandDesc] :: PluginCommand ideState -> Text
+ Ide.Types: [commandFunc] :: PluginCommand ideState -> CommandFunction ideState a
+ Ide.Types: [commandId] :: PluginCommand ideState -> CommandId
+ Ide.Types: [configCustomConfig] :: ConfigDescriptor -> CustomConfig
+ Ide.Types: [configHasDiagnostics] :: ConfigDescriptor -> Bool
+ Ide.Types: [configInitialGenericConfig] :: ConfigDescriptor -> PluginConfig
+ Ide.Types: [dynFlagsModifyGlobal] :: DynFlagsModifications -> DynFlags -> DynFlags
+ Ide.Types: [dynFlagsModifyParser] :: DynFlagsModifications -> DynFlags -> DynFlags
+ Ide.Types: [fallbackCommand] :: FallbackCodeActionParams -> Maybe Command
+ Ide.Types: [fallbackWorkspaceEdit] :: FallbackCodeActionParams -> Maybe WorkspaceEdit
+ Ide.Types: [formattingProvider] :: Config -> !Text
+ Ide.Types: [maxCompletions] :: Config -> !Int
+ Ide.Types: [plcCallHierarchyOn] :: PluginConfig -> !Bool
+ Ide.Types: [plcCodeActionsOn] :: PluginConfig -> !Bool
+ Ide.Types: [plcCodeLensOn] :: PluginConfig -> !Bool
+ Ide.Types: [plcCompletionOn] :: PluginConfig -> !Bool
+ Ide.Types: [plcConfig] :: PluginConfig -> !Object
+ Ide.Types: [plcDiagnosticsOn] :: PluginConfig -> !Bool
+ Ide.Types: [plcFoldingRangeOn] :: PluginConfig -> !Bool
+ Ide.Types: [plcGlobalOn] :: PluginConfig -> !Bool
+ Ide.Types: [plcHoverOn] :: PluginConfig -> !Bool
+ Ide.Types: [plcInlayHintsOn] :: PluginConfig -> !Bool
+ Ide.Types: [plcRenameOn] :: PluginConfig -> !Bool
+ Ide.Types: [plcSelectionRangeOn] :: PluginConfig -> !Bool
+ Ide.Types: [plcSemanticTokensOn] :: PluginConfig -> !Bool
+ Ide.Types: [plcSymbolsOn] :: PluginConfig -> !Bool
+ Ide.Types: [pluginCli] :: PluginDescriptor ideState -> Maybe (ParserInfo (IdeCommand ideState))
+ Ide.Types: [pluginCommands] :: PluginDescriptor ideState -> ![PluginCommand ideState]
+ Ide.Types: [pluginConfigDescriptor] :: PluginDescriptor ideState -> ConfigDescriptor
+ Ide.Types: [pluginDescription] :: PluginDescriptor ideState -> !Text
+ Ide.Types: [pluginFileType] :: PluginDescriptor ideState -> [Text]
+ Ide.Types: [pluginHandlers] :: PluginDescriptor ideState -> PluginHandlers ideState
+ Ide.Types: [pluginId] :: PluginDescriptor ideState -> !PluginId
+ Ide.Types: [pluginModifyDynflags] :: PluginDescriptor ideState -> DynFlagsModifications
+ Ide.Types: [pluginNotificationHandlers] :: PluginDescriptor ideState -> PluginNotificationHandlers ideState
+ Ide.Types: [pluginPriority] :: PluginDescriptor ideState -> Natural
+ Ide.Types: [pluginRules] :: PluginDescriptor ideState -> !Rules ()
+ Ide.Types: [plugins] :: Config -> !Map PluginId PluginConfig
+ Ide.Types: [sessionLoading] :: Config -> !SessionLoadingPreferenceConfig
+ Ide.Types: lookupCommandProvider :: IdePlugins ideState -> CommandId -> Maybe PluginId
- Ide.Logger: Recorder :: (forall m. MonadIO m => msg -> m ()) -> Recorder msg
+ Ide.Logger: Recorder :: (forall (m :: Type -> Type). MonadIO m => msg -> m ()) -> Recorder msg
- Ide.Logger: [logger_] :: Recorder msg -> forall m. MonadIO m => msg -> m ()
+ Ide.Logger: [logger_] :: Recorder msg -> forall (m :: Type -> Type). MonadIO m => msg -> m ()
- Ide.Logger: toCologActionWithPrio :: (MonadIO m, HasCallStack) => Recorder (WithPriority msg) -> LogAction m (WithSeverity msg)
+ Ide.Logger: toCologActionWithPrio :: forall (m :: Type -> Type) msg. (MonadIO m, HasCallStack) => Recorder (WithPriority msg) -> LogAction m (WithSeverity msg)
- Ide.Plugin.Error: getNormalizedFilePathE :: Monad m => Uri -> ExceptT PluginError m NormalizedFilePath
+ Ide.Plugin.Error: getNormalizedFilePathE :: forall (m :: Type -> Type). Monad m => Uri -> ExceptT PluginError m NormalizedFilePath
- Ide.Plugin.Error: handleMaybe :: Monad m => e -> Maybe b -> ExceptT e m b
+ Ide.Plugin.Error: handleMaybe :: forall (m :: Type -> Type) e b. Monad m => e -> Maybe b -> ExceptT e m b
- Ide.Plugin.Properties: [ConsKeysPath] :: KeyNameProxy s1 -> KeyNamePath ss -> KeyNamePath (s1 :| ss)
+ Ide.Plugin.Properties: [ConsKeysPath] :: forall (s1 :: Symbol) (ss :: NonEmptyList Symbol). KeyNameProxy s1 -> KeyNamePath ss -> KeyNamePath (s1 ':| ss)
- Ide.Plugin.Properties: [EnumMetaData] :: IsTEnum t ~ 'True => ToHsType t -> Text -> [ToHsType t] -> [Text] -> MetaData t
+ Ide.Plugin.Properties: [EnumMetaData] :: forall (t :: PropertyType). IsTEnum t ~ 'True => ToHsType t -> Text -> [ToHsType t] -> [Text] -> MetaData t
- Ide.Plugin.Properties: [MetaData] :: (IsTEnum t ~ 'False, IsProperties t ~ 'False) => ToHsType t -> Text -> MetaData t
+ Ide.Plugin.Properties: [MetaData] :: forall (t :: PropertyType). (IsTEnum t ~ 'False, IsProperties t ~ 'False) => ToHsType t -> Text -> MetaData t
- Ide.Plugin.Properties: [PropertiesMetaData] :: t ~ TProperties rs => ToHsType t -> Text -> Properties rs -> MetaData t
+ Ide.Plugin.Properties: [PropertiesMetaData] :: forall (t :: PropertyType) (rs :: [PropertyKey]). t ~ 'TProperties rs => ToHsType t -> Text -> Properties rs -> MetaData t
- Ide.Plugin.Properties: [SArray] :: (ToJSON a, FromJSON a) => Proxy a -> SPropertyKey ('PropertyKey s ('TArray a))
+ Ide.Plugin.Properties: [SArray] :: forall a (s :: Symbol). (ToJSON a, FromJSON a) => Proxy a -> SPropertyKey ('PropertyKey s ('TArray a))
- Ide.Plugin.Properties: [SBoolean] :: SPropertyKey ('PropertyKey s 'TBoolean)
+ Ide.Plugin.Properties: [SBoolean] :: forall (s :: Symbol). SPropertyKey ('PropertyKey s 'TBoolean)
- Ide.Plugin.Properties: [SEnum] :: (ToJSON a, FromJSON a, Eq a, Show a) => Proxy a -> SPropertyKey ('PropertyKey s ('TEnum a))
+ Ide.Plugin.Properties: [SEnum] :: forall a (s :: Symbol). (ToJSON a, FromJSON a, Eq a, Show a) => Proxy a -> SPropertyKey ('PropertyKey s ('TEnum a))
- Ide.Plugin.Properties: [SInteger] :: SPropertyKey ('PropertyKey s 'TInteger)
+ Ide.Plugin.Properties: [SInteger] :: forall (s :: Symbol). SPropertyKey ('PropertyKey s 'TInteger)
- Ide.Plugin.Properties: [SNumber] :: SPropertyKey ('PropertyKey s 'TNumber)
+ Ide.Plugin.Properties: [SNumber] :: forall (s :: Symbol). SPropertyKey ('PropertyKey s 'TNumber)
- Ide.Plugin.Properties: [SObject] :: (ToJSON a, FromJSON a) => Proxy a -> SPropertyKey ('PropertyKey s ('TObject a))
+ Ide.Plugin.Properties: [SObject] :: forall a (s :: Symbol). (ToJSON a, FromJSON a) => Proxy a -> SPropertyKey ('PropertyKey s ('TObject a))
- Ide.Plugin.Properties: [SProperties] :: SPropertyKey ('PropertyKey s ('TProperties pp))
+ Ide.Plugin.Properties: [SProperties] :: forall (s :: Symbol) (pp :: [PropertyKey]). SPropertyKey ('PropertyKey s ('TProperties pp))
- Ide.Plugin.Properties: [SString] :: SPropertyKey ('PropertyKey s 'TString)
+ Ide.Plugin.Properties: [SString] :: forall (s :: Symbol). SPropertyKey ('PropertyKey s 'TString)
- Ide.Plugin.Properties: [SingleKey] :: KeyNameProxy s -> KeyNamePath (NE s)
+ Ide.Plugin.Properties: [SingleKey] :: forall (s :: Symbol). KeyNameProxy s -> KeyNamePath ('NE s)
- Ide.Plugin.Properties: defineArrayProperty :: (KnownSymbol s, NotElem s r, ToJSON a, FromJSON a) => KeyNameProxy s -> Text -> [a] -> Properties r -> Properties ('PropertyKey s ('TArray a) : r)
+ Ide.Plugin.Properties: defineArrayProperty :: forall (s :: Symbol) (r :: [PropertyKey]) a. (KnownSymbol s, NotElem s r, ToJSON a, FromJSON a) => KeyNameProxy s -> Text -> [a] -> Properties r -> Properties ('PropertyKey s ('TArray a) ': r)
- Ide.Plugin.Properties: defineBooleanProperty :: (KnownSymbol s, NotElem s r) => KeyNameProxy s -> Text -> Bool -> Properties r -> Properties ('PropertyKey s 'TBoolean : r)
+ Ide.Plugin.Properties: defineBooleanProperty :: forall (s :: Symbol) (r :: [PropertyKey]). (KnownSymbol s, NotElem s r) => KeyNameProxy s -> Text -> Bool -> Properties r -> Properties ('PropertyKey s 'TBoolean ': r)
- Ide.Plugin.Properties: defineEnumProperty :: (KnownSymbol s, NotElem s r, ToJSON a, FromJSON a, Eq a, Show a) => KeyNameProxy s -> Text -> [(a, Text)] -> a -> Properties r -> Properties ('PropertyKey s ('TEnum a) : r)
+ Ide.Plugin.Properties: defineEnumProperty :: forall (s :: Symbol) (r :: [PropertyKey]) a. (KnownSymbol s, NotElem s r, ToJSON a, FromJSON a, Eq a, Show a) => KeyNameProxy s -> Text -> [(a, Text)] -> a -> Properties r -> Properties ('PropertyKey s ('TEnum a) ': r)
- Ide.Plugin.Properties: defineIntegerProperty :: (KnownSymbol s, NotElem s r) => KeyNameProxy s -> Text -> Int -> Properties r -> Properties ('PropertyKey s 'TInteger : r)
+ Ide.Plugin.Properties: defineIntegerProperty :: forall (s :: Symbol) (r :: [PropertyKey]). (KnownSymbol s, NotElem s r) => KeyNameProxy s -> Text -> Int -> Properties r -> Properties ('PropertyKey s 'TInteger ': r)
- Ide.Plugin.Properties: defineNumberProperty :: (KnownSymbol s, NotElem s r) => KeyNameProxy s -> Text -> Double -> Properties r -> Properties ('PropertyKey s 'TNumber : r)
+ Ide.Plugin.Properties: defineNumberProperty :: forall (s :: Symbol) (r :: [PropertyKey]). (KnownSymbol s, NotElem s r) => KeyNameProxy s -> Text -> Double -> Properties r -> Properties ('PropertyKey s 'TNumber ': r)
- Ide.Plugin.Properties: defineObjectProperty :: (KnownSymbol s, NotElem s r, ToJSON a, FromJSON a) => KeyNameProxy s -> Text -> a -> Properties r -> Properties ('PropertyKey s ('TObject a) : r)
+ Ide.Plugin.Properties: defineObjectProperty :: forall (s :: Symbol) (r :: [PropertyKey]) a. (KnownSymbol s, NotElem s r, ToJSON a, FromJSON a) => KeyNameProxy s -> Text -> a -> Properties r -> Properties ('PropertyKey s ('TObject a) ': r)
- Ide.Plugin.Properties: definePropertiesProperty :: (KnownSymbol s, NotElem s r) => KeyNameProxy s -> Text -> Properties childrenProps -> Properties r -> Properties ('PropertyKey s ('TProperties childrenProps) : r)
+ Ide.Plugin.Properties: definePropertiesProperty :: forall (s :: Symbol) (r :: [PropertyKey]) (childrenProps :: [PropertyKey]). (KnownSymbol s, NotElem s r) => KeyNameProxy s -> Text -> Properties childrenProps -> Properties r -> Properties ('PropertyKey s ('TProperties childrenProps) ': r)
- Ide.Plugin.Properties: defineStringProperty :: (KnownSymbol s, NotElem s r) => KeyNameProxy s -> Text -> Text -> Properties r -> Properties ('PropertyKey s 'TString : r)
+ Ide.Plugin.Properties: defineStringProperty :: forall (s :: Symbol) (r :: [PropertyKey]). (KnownSymbol s, NotElem s r) => KeyNameProxy s -> Text -> Text -> Properties r -> Properties ('PropertyKey s 'TString ': r)
- Ide.Plugin.Properties: emptyProperties :: Properties '[]
+ Ide.Plugin.Properties: emptyProperties :: Properties ('[] :: [PropertyKey])
- Ide.Plugin.Properties: toDefaultJSON :: Properties r -> [Pair]
+ Ide.Plugin.Properties: toDefaultJSON :: forall (r :: [PropertyKey]). Properties r -> [Pair]
- Ide.Plugin.Properties: toVSCodeExtensionSchema :: Text -> Properties r -> [Pair]
+ Ide.Plugin.Properties: toVSCodeExtensionSchema :: forall (r :: [PropertyKey]). Text -> Properties r -> [Pair]
- Ide.Plugin.Properties: type HasProperty s k t r = (k ~ 'PropertyKey s t, Elem s r, FindByKeyPath (NE s) r ~ t, FindByKeyName s r ~ t, KnownSymbol s, FindPropertyMeta s r t)
+ Ide.Plugin.Properties: type HasProperty (s :: Symbol) (k :: PropertyKey) (t :: PropertyType) (r :: [PropertyKey]) = (k ~ 'PropertyKey s t, Elem s r, FindByKeyPath 'NE s r ~ t, FindByKeyName s r ~ t, KnownSymbol s, FindPropertyMeta s r t)
- Ide.Plugin.Properties: type HasPropertyByPath props path t = (t ~ FindByKeyPath path props, ParsePropertyPath props path)
+ Ide.Plugin.Properties: type HasPropertyByPath (props :: [PropertyKey]) (path :: NonEmptyList Symbol) (t :: PropertyType) = (t ~ FindByKeyPath path props, ParsePropertyPath props path)
- Ide.Plugin.Properties: type family NotElem (s :: Symbol) (r :: [PropertyKey]) :: Constraint
+ Ide.Plugin.Properties: type family NotElem (s :: Symbol) (r :: [PropertyKey])
- Ide.Plugin.Properties: useProperty :: HasProperty s k t r => KeyNameProxy s -> Properties r -> Object -> ToHsType t
+ Ide.Plugin.Properties: useProperty :: forall (s :: Symbol) (k :: PropertyKey) (t :: PropertyType) (r :: [PropertyKey]). HasProperty s k t r => KeyNameProxy s -> Properties r -> Object -> ToHsType t
- Ide.Plugin.Properties: usePropertyEither :: HasProperty s k t r => KeyNameProxy s -> Properties r -> Object -> Either String (ToHsType t)
+ Ide.Plugin.Properties: usePropertyEither :: forall (s :: Symbol) (k :: PropertyKey) (t :: PropertyType) (r :: [PropertyKey]). HasProperty s k t r => KeyNameProxy s -> Properties r -> Object -> Either String (ToHsType t)
- Ide.PluginUtils: usePropertyLsp :: (HasProperty s k t r, MonadLsp Config m) => KeyNameProxy s -> PluginDescriptor c -> Properties r -> m (ToHsType t)
+ Ide.PluginUtils: usePropertyLsp :: forall (s :: Symbol) (k :: PropertyKey) (t :: PropertyType) (r :: [PropertyKey]) m c. (HasProperty s k t r, MonadLsp Config m) => KeyNameProxy s -> PluginDescriptor c -> Properties r -> m (ToHsType t)
- Ide.Types: IdeMethod :: SMethod m -> IdeMethod (m :: Method ClientToServer Request)
+ Ide.Types: IdeMethod :: SMethod m -> IdeMethod (m :: Method 'ClientToServer 'Request)
- Ide.Types: IdeNotification :: SMethod m -> IdeNotification (m :: Method ClientToServer Notification)
+ Ide.Types: IdeNotification :: SMethod m -> IdeNotification (m :: Method 'ClientToServer 'Notification)
- Ide.Types: PluginDescriptor :: !PluginId -> !Text -> Natural -> !Rules () -> ![PluginCommand ideState] -> PluginHandlers ideState -> ConfigDescriptor -> PluginNotificationHandlers ideState -> DynFlagsModifications -> Maybe (ParserInfo (IdeCommand ideState)) -> [Text] -> PluginDescriptor (ideState :: Type)
+ Ide.Types: PluginDescriptor :: !PluginId -> !Text -> Natural -> !Rules () -> ![PluginCommand ideState] -> PluginHandlers ideState -> ConfigDescriptor -> PluginNotificationHandlers ideState -> DynFlagsModifications -> Maybe (ParserInfo (IdeCommand ideState)) -> [Text] -> PluginDescriptor ideState
- Ide.Types: PluginHandler :: (PluginId -> a -> MessageParams m -> HandlerM Config (NonEmpty (Either PluginError (MessageResult m)))) -> PluginHandler a (m :: Method ClientToServer Request)
+ Ide.Types: PluginHandler :: (PluginId -> a -> MessageParams m -> HandlerM Config (NonEmpty (Either PluginError (MessageResult m)))) -> PluginHandler a (m :: Method 'ClientToServer 'Request)
- Ide.Types: PluginNotificationHandler :: (PluginId -> a -> VFS -> MessageParams m -> LspM Config ()) -> PluginNotificationHandler a (m :: Method ClientToServer Notification)
+ Ide.Types: PluginNotificationHandler :: (PluginId -> a -> VFS -> MessageParams m -> LspM Config ()) -> PluginNotificationHandler a (m :: Method 'ClientToServer 'Notification)
- Ide.Types: class HasTracing (MessageParams m) => PluginMethod (k :: MessageKind) (m :: Method ClientToServer k)
+ Ide.Types: class HasTracing MessageParams m => PluginMethod (k :: MessageKind) (m :: Method 'ClientToServer k)
- Ide.Types: class PluginMethod Request m => PluginRequestMethod (m :: Method ClientToServer Request)
+ Ide.Types: class PluginMethod 'Request m => PluginRequestMethod (m :: Method 'ClientToServer 'Request)
- Ide.Types: combineResponses :: (PluginRequestMethod m, Semigroup (MessageResult m)) => SMethod m -> Config -> ClientCapabilities -> MessageParams m -> NonEmpty (MessageResult m) -> MessageResult m
+ Ide.Types: combineResponses :: PluginRequestMethod m => SMethod m -> Config -> ClientCapabilities -> MessageParams m -> NonEmpty (MessageResult m) -> MessageResult m
- Ide.Types: data IdeMethod (m :: Method ClientToServer Request)
+ Ide.Types: data IdeMethod (m :: Method 'ClientToServer 'Request)
- Ide.Types: data IdeNotification (m :: Method ClientToServer Notification)
+ Ide.Types: data IdeNotification (m :: Method 'ClientToServer 'Notification)
- Ide.Types: data PluginDescriptor (ideState :: Type)
+ Ide.Types: data PluginDescriptor ideState
- Ide.Types: handlesRequest :: (PluginMethod k m, HasTextDocument (MessageParams m) doc, HasUri doc Uri) => SMethod m -> MessageParams m -> PluginDescriptor c -> Config -> HandleRequestResult
+ Ide.Types: handlesRequest :: PluginMethod k m => SMethod m -> MessageParams m -> PluginDescriptor c -> Config -> HandleRequestResult
- Ide.Types: mkCustomConfig :: Properties r -> CustomConfig
+ Ide.Types: mkCustomConfig :: forall (r :: [PropertyKey]). Properties r -> CustomConfig
- Ide.Types: mkPluginHandler :: forall ideState m. PluginRequestMethod m => SClientMethod m -> PluginMethodHandler ideState m -> PluginHandlers ideState
+ Ide.Types: mkPluginHandler :: forall ideState (m :: Method 'ClientToServer 'Request). PluginRequestMethod m => SClientMethod m -> PluginMethodHandler ideState m -> PluginHandlers ideState
- Ide.Types: mkPluginNotificationHandler :: PluginNotificationMethod m => SClientMethod (m :: Method ClientToServer Notification) -> PluginNotificationMethodHandler ideState m -> PluginNotificationHandlers ideState
+ Ide.Types: mkPluginNotificationHandler :: forall (m :: Method 'ClientToServer 'Notification) ideState. PluginNotificationMethod m => SClientMethod m -> PluginNotificationMethodHandler ideState m -> PluginNotificationHandlers ideState
- Ide.Types: mkResolveHandler :: forall ideState a m. (FromJSON a, PluginRequestMethod m, HasData_ (MessageParams m) (Maybe Value)) => SClientMethod m -> ResolveFunction ideState a m -> PluginHandlers ideState
+ Ide.Types: mkResolveHandler :: forall ideState a (m :: Method 'ClientToServer 'Request). (FromJSON a, PluginRequestMethod m, HasData_ (MessageParams m) (Maybe Value)) => SClientMethod m -> ResolveFunction ideState a m -> PluginHandlers ideState
- Ide.Types: newtype PluginHandler a (m :: Method ClientToServer Request)
+ Ide.Types: newtype PluginHandler a (m :: Method 'ClientToServer 'Request)
- Ide.Types: newtype PluginNotificationHandler a (m :: Method ClientToServer Notification)
+ Ide.Types: newtype PluginNotificationHandler a (m :: Method 'ClientToServer 'Notification)
- Ide.Types: pluginSendNotification :: forall (m :: Method ServerToClient Notification) config. SServerMethod m -> MessageParams m -> HandlerM config ()
+ Ide.Types: pluginSendNotification :: forall (m :: Method 'ServerToClient 'Notification) config. SServerMethod m -> MessageParams m -> HandlerM config ()
- Ide.Types: pluginSendRequest :: forall (m :: Method ServerToClient Request) config. SServerMethod m -> MessageParams m -> (Either (TResponseError m) (MessageResult m) -> HandlerM config ()) -> HandlerM config (LspId m)
+ Ide.Types: pluginSendRequest :: forall (m :: Method 'ServerToClient 'Request) config. SServerMethod m -> MessageParams m -> (Either (TResponseError m) (MessageResult m) -> HandlerM config ()) -> HandlerM config (LspId m)
- Ide.Types: type CommandFunction ideState a = ideState -> Maybe ProgressToken -> a -> ExceptT PluginError (HandlerM Config) (Value |? Null)
+ Ide.Types: type CommandFunction ideState a = ideState -> Maybe ProgressToken -> a -> ExceptT PluginError HandlerM Config Value |? Null
- Ide.Types: type FormattingHandler a = a -> Maybe ProgressToken -> FormattingType -> Text -> NormalizedFilePath -> FormattingOptions -> ExceptT PluginError (HandlerM Config) ([TextEdit] |? Null)
+ Ide.Types: type FormattingHandler a = a -> Maybe ProgressToken -> FormattingType -> Text -> NormalizedFilePath -> FormattingOptions -> ExceptT PluginError HandlerM Config [TextEdit] |? Null
- Ide.Types: type FormattingMethod m = (HasOptions (MessageParams m) FormattingOptions, HasTextDocument (MessageParams m) TextDocumentIdentifier, MessageResult m ~ ([TextEdit] |? Null))
+ Ide.Types: type FormattingMethod (m :: Method f t) = (HasOptions MessageParams m FormattingOptions, HasTextDocument MessageParams m TextDocumentIdentifier, MessageResult m ~ [TextEdit] |? Null)
- Ide.Types: type PluginMethodHandler a m = a -> PluginId -> MessageParams m -> ExceptT PluginError (HandlerM Config) (MessageResult m)
+ Ide.Types: type PluginMethodHandler a (m :: Method f t) = a -> PluginId -> MessageParams m -> ExceptT PluginError HandlerM Config MessageResult m
- Ide.Types: type ResolveFunction ideState a (m :: Method ClientToServer Request) = ideState -> PluginId -> MessageParams m -> Uri -> a -> ExceptT PluginError (HandlerM Config) (MessageResult m)
+ Ide.Types: type ResolveFunction ideState a (m :: Method 'ClientToServer 'Request) = ideState -> PluginId -> MessageParams m -> Uri -> a -> ExceptT PluginError HandlerM Config MessageResult m

Files

hls-plugin-api.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name:          hls-plugin-api-version:       2.10.0.0+version:       2.11.0.0 synopsis:      Haskell Language Server API for plugin communication description:   Please see the README on GitHub at <https://github.com/haskell/haskell-language-server#readme>@@ -66,7 +66,7 @@     , filepath     , ghc     , hashable-    , hls-graph             == 2.10.0.0+    , hls-graph             == 2.11.0.0     , lens     , lens-aeson     , lsp                   ^>=2.7