hls-tactics-plugin-0.5.1.0: Tactics plugin for Haskell Language Server

Index - W

withIntroducedValsIde.Plugin.Tactic.Types
withNewGoalIde.Plugin.Tactic.Judgements
withRecursionStackIde.Plugin.Tactic.Types
withUsedValsIde.Plugin.Tactic.Types
WrongBranchIde.Plugin.Tactic.Types