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

Index - M

markStructuralySmallerRecursionIde.Plugin.Tactic.Machinery
matchingIde.Plugin.Tactic.Tactics
methodHypothesisIde.Plugin.Tactic.Machinery
mkArbitraryCallIde.Plugin.Tactic.KnownStrategies.QuickCheck
mkConIde.Plugin.Tactic.CodeGen
mkContextIde.Plugin.Tactic.Context
mkDestructPatIde.Plugin.Tactic.CodeGen
mkFirstJudgementIde.Plugin.Tactic.Judgements
mkFuncIde.Plugin.Tactic.CodeGen
mkGeneratorIde.Plugin.Tactic.KnownStrategies.QuickCheck
mkGoodNameIde.Plugin.Tactic.Naming
mkManyGoodNamesIde.Plugin.Tactic.Naming
mkTyConNameIde.Plugin.Tactic.Naming
mkTyNameIde.Plugin.Tactic.Naming
mkValIde.Plugin.Tactic.CodeGen