hls-tactics-plugin-1.6.2.0: Wingman plugin for Haskell Language Server
Safe HaskellNone
LanguageHaskell2010

Wingman.LanguageServer.TacticProviders

Synopsis

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.

Orphan instances