Ide.Plugin.Tactic.LanguageServer

Documentation

tacticDesc :: Text -> Text

tcCommandName :: TacticCommand -> Text

The name of the command for the LS.

runIde :: IdeState -> Action a -> IO a

runStaleIde :: forall a r. (r ~ RuleResult a, Eq a, Hashable a, Binary a, Show a, Typeable a, NFData a, Show r, Typeable r, NFData r) => IdeState -> NormalizedFilePath -> a -> MaybeT IO (r, PositionMapping)

getFeatureSet :: MonadLsp Config m => ShakeExtras -> m FeatureSet

Get the current feature set from the plugin config.

getIdeDynflags :: IdeState -> NormalizedFilePath -> MaybeT IO DynFlags

judgementForHole :: IdeState -> NormalizedFilePath -> Range -> FeatureSet -> MaybeT IO (Range, Judgement, Context, DynFlags)

Find the last typechecked module, and find the most specific span, as well as the judgement at the given range.

mkJudgementAndContext :: FeatureSet -> Type -> Bindings -> RealSrcSpan -> TcModuleResult -> (Judgement, Context)

getSpanAndTypeAtHole :: PositionMapping -> Range -> HieASTs b -> Maybe (Span, b)

liftMaybe :: Monad m => Maybe a -> MaybeT m a

spliceProvenance :: Map OccName Provenance -> Hypothesis a -> Hypothesis a

getRhsPosVals :: RealSrcSpan -> TypecheckedSource -> Map OccName Provenance

Compute top-level position vals of a function

isRhsHole :: RealSrcSpan -> TypecheckedSource -> Bool

Is this hole immediately to the right of an equals sign?