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

Index - R

RangeIde.Plugin.Tactic.Types
rangeToRealSrcSpanIde.Plugin.Tactic.Range
rangeToSrcSpanIde.Plugin.Tactic.Range
recursionIde.Plugin.Tactic.Tactics
RecursionOnWrongParamIde.Plugin.Tactic.Types
RecursiveCallIde.Plugin.Tactic.Types
RecursivePrvIde.Plugin.Tactic.Types
requireConcreteHoleIde.Plugin.Tactic.Machinery
requireNewHolesIde.Plugin.Tactic.Tactics
Reward 
1 (Type/Class)Ide.Plugin.Tactic.Machinery
2 (Data Constructor)Ide.Plugin.Tactic.Machinery
Rose 
1 (Type/Class)Ide.Plugin.Tactic.Types
2 (Data Constructor)Ide.Plugin.Tactic.Types
roseIde.Plugin.Tactic.Types
rtr_extractIde.Plugin.Tactic.Types
rtr_other_solnsIde.Plugin.Tactic.Types
rtr_traceIde.Plugin.Tactic.Types
RuleIde.Plugin.Tactic.Types
RuleMIde.Plugin.Tactic.Types
runTacticIde.Plugin.Tactic.Machinery, Ide.Plugin.Tactic.Tactics
RunTacticResults 
1 (Type/Class)Ide.Plugin.Tactic.Types
2 (Data Constructor)Ide.Plugin.Tactic.Types