Safe Haskell	None
Language	Haskell2010

Ide.Plugin.Tactic.LanguageServer.TacticProviders

Synopsis

commandProvider :: TacticCommand -> TacticProvider
commandTactic :: TacticCommand -> OccName -> TacticsM ()
tcCommandId :: TacticCommand -> CommandId
data TacticParams = TacticParams {
- tp_file :: Uri
- tp_range :: Range
- tp_var_name :: Text
}

Documentation

commandProvider :: TacticCommand -> TacticProvider Source #

Mapping from tactic commands to their contextual providers. See provide, filterGoalType and filterBindingType for the nitty gritty.

commandTactic :: TacticCommand -> OccName -> TacticsM () Source #

A mapping from tactic commands to actual tactics for refinery.

tcCommandId :: TacticCommand -> CommandId Source #

Construct a CommandId

data TacticParams Source #

Constructors

TacticParams
Fields tp_file :: Uri Uri of the file to fill the hole in tp_range :: Range The range of the hole tp_var_name :: Text

Instances

Instances details

Eq TacticParams Source #
Instance details Defined in Ide.Plugin.Tactic.LanguageServer.TacticProviders Methods (==) :: TacticParams -> TacticParams -> Bool # (/=) :: TacticParams -> TacticParams -> Bool #
Show TacticParams Source #
Instance details Defined in Ide.Plugin.Tactic.LanguageServer.TacticProviders Methods showsPrec :: Int -> TacticParams -> ShowS # show :: TacticParams -> String # showList :: [TacticParams] -> ShowS #
Generic TacticParams Source #
Instance details Defined in Ide.Plugin.Tactic.LanguageServer.TacticProviders Associated Types type Rep TacticParams :: Type -> Type # Methods from :: TacticParams -> Rep TacticParams x # to :: Rep TacticParams x -> TacticParams #
ToJSON TacticParams Source #
Instance details Defined in Ide.Plugin.Tactic.LanguageServer.TacticProviders Methods toJSON :: TacticParams -> Value # toEncoding :: TacticParams -> Encoding # toJSONList :: [TacticParams] -> Value # toEncodingList :: [TacticParams] -> Encoding #
FromJSON TacticParams Source #
Instance details Defined in Ide.Plugin.Tactic.LanguageServer.TacticProviders Methods parseJSON :: Value -> Parser TacticParams # parseJSONList :: Value -> Parser [TacticParams] #
type Rep TacticParams Source #
Instance details Defined in Ide.Plugin.Tactic.LanguageServer.TacticProviders type Rep TacticParams = D1 ('MetaData "TacticParams" "Ide.Plugin.Tactic.LanguageServer.TacticProviders" "hls-tactics-plugin-1.0.0.0-JjkuRbP5sBO2aDU4B9iK42" 'False) (C1 ('MetaCons "TacticParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "tp_file") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Uri) :: (S1 ('MetaSel ('Just "tp_range") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range) :: S1 ('MetaSel ('Just "tp_var_name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))