wip

Author: develop7

hls-plugin-api/src/Ide/Plugin/ConfigUtils.hs

@@ -16,10 +16,11 @@ import           Data.List.Extra               (nubOrd)
 import           Data.String                   (IsString (fromString))
 import qualified Data.Text                     as T
 import           Ide.Plugin.Config
-import           Ide.Plugin.Properties         (toDefaultJSON,
-                                                toVSCodeExtensionSchema)
+import           Ide.Plugin.Properties         (Properties(..), toDefaultJSON,
+                                                toVSCodeExtensionSchema, SPropertyKey (SProperties), MetaData (..), SomePropertyKeyWithMetaData (..))
 import           Ide.Types
 import           Language.LSP.Protocol.Message
+import GHC.TypeLits (symbolVal)
 
 -- Attention:
 -- 'diagnosticsOn' will never be added into the default config or the schema,
@@ -137,3 +138,25 @@ pluginsToVSCodeExtensionSchema IdePlugins {..} = A.object $ mconcat $ singlePlug
             ]
         withIdPrefix x = "haskell.plugin." <> pId <> "." <> x
         toKey' = fromString . T.unpack . withIdPrefix
+
+-- | Generates markdown tables for custom config
+pluginsCustomConfigToMarkdownTables :: IdePlugins a -> T.Text
+pluginsCustomConfigToMarkdownTables IdePlugins {..} = T.unlines $ map singlePlugin ipMap
+  where
+    singlePlugin PluginDescriptor {pluginConfigDescriptor = ConfigDescriptor {configCustomConfig = c}, pluginId = PluginId pId} =
+        T.unlines (pluginHeader : tableHeader : rows c)
+        where
+            pluginHeader = "## " <> pId
+            tableHeader = "| Property | Description | Default |"
+            rows (CustomConfig p) = toMarkdownTable p
+            toMarkdownTable :: Properties r -> [T.Text]
+            toMarkdownTable EmptyProperties = mempty
+            toMarkdownTable (ConsProperties keyNameProxy k m xs) = renderRow (T.pack $ symbolVal keyNameProxy) (SomePropertyKeyWithMetaData k m) : toMarkdownTable xs
+            renderRow :: T.Text -> SomePropertyKeyWithMetaData -> T.Text
+            renderRow key (SomePropertyKeyWithMetaData k m) =
+              let (desc, defaultVal) = case m of
+                    PropertiesMetaData _ desc _ -> (desc, False)
+                    EnumMetaData _ desc  _ _ -> ("", True)
+                    MetaData _ desc -> (desc, False)
+              in T.unwords ["|", key, "|", desc, "|", if defaultVal then "yes" else "no", "|"]
+

hls-plugin-api/src/Ide/Plugin/Properties.hs

@@ -21,9 +21,10 @@ module Ide.Plugin.Properties
     MetaData (..),
     PropertyKey (..),
     SPropertyKey (..),
+    SomePropertyKeyWithMetaData (..),
     KeyNameProxy (..),
     KeyNamePath (..),
-    Properties,
+    Properties(..),
     HasProperty,
     HasPropertyByPath,
     emptyProperties,

src/Ide/Arguments.hs

@@ -34,6 +34,7 @@ data Arguments
   | BiosMode BiosAction
   | Ghcide GhcideArguments
   | VSCodeExtensionSchemaMode
+  | PluginsCustomConfigMarkdownReferenceMode
   | DefaultConfigurationMode
   | PrintLibDir