| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Wingman.LanguageServer.TacticProviders
Contents
Synopsis
- commandProvider :: TacticCommand -> TacticProvider
- commandTactic :: TacticCommand -> Text -> TacticsM ()
- data TacticProviderData = TacticProviderData {}
Documentation
commandProvider :: TacticCommand -> TacticProvider Source #
Mapping from tactic commands to their contextual providers. See provide,
filterGoalType and filterBindingType for the nitty gritty.
commandTactic :: TacticCommand -> Text -> TacticsM () Source #
A mapping from tactic commands to actual tactics for refinery.
data TacticProviderData Source #
Constructors
| TacticProviderData | |
Fields
| |
Orphan instances
| IsContinuationSort TacticCommand Source # | |
Methods toCommandId :: TacticCommand -> CommandId Source # | |