Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- tacticDesc :: Text -> Text
- tcCommandName :: TacticCommand -> Text
- 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
- getIdeDynflags :: IdeState -> NormalizedFilePath -> MaybeT IO DynFlags
- judgementForHole :: IdeState -> NormalizedFilePath -> Range -> FeatureSet -> MaybeT IO (Range, Judgement, Context, DynFlags)
- 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
- isRhsHole :: RealSrcSpan -> TypecheckedSource -> Bool
Documentation
tacticDesc :: Text -> Text Source #
tcCommandName :: TacticCommand -> Text Source #
The name of the command for the LS.
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) Source #
getFeatureSet :: MonadLsp Config m => ShakeExtras -> m FeatureSet Source #
Get the current feature set from the plugin config.
getIdeDynflags :: IdeState -> NormalizedFilePath -> MaybeT IO DynFlags Source #
judgementForHole :: IdeState -> NormalizedFilePath -> Range -> FeatureSet -> MaybeT IO (Range, Judgement, Context, DynFlags) Source #
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) Source #
getSpanAndTypeAtHole :: PositionMapping -> Range -> HieASTs b -> Maybe (Span, b) Source #
spliceProvenance :: Map OccName Provenance -> Hypothesis a -> Hypothesis a Source #
getRhsPosVals :: RealSrcSpan -> TypecheckedSource -> Map OccName Provenance Source #
Compute top-level position vals of a function
isRhsHole :: RealSrcSpan -> TypecheckedSource -> Bool Source #
Is this hole immediately to the right of an equals sign?