{-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE ScopedTypeVariables #-} {-# OPTIONS_GHC -Wwarn #-} {- | A plugin inspired by: * the REPLoid feature of * 's Examples and Properties * See the "Ide.Plugin.Eval.Tutorial" module for a full introduction to the plugin functionality. -} module Ide.Plugin.Eval ( descriptor, ) where import Development.IDE (IdeState) import qualified Ide.Plugin.Eval.CodeLens as CL import Ide.Types ( PluginDescriptor (..), PluginId, defaultPluginDescriptor, ) -- |Plugin descriptor descriptor :: PluginId -> PluginDescriptor IdeState descriptor plId = (defaultPluginDescriptor plId) { pluginCodeLensProvider = Just CL.codeLens , pluginCommands = [CL.evalCommand] }