hls-tactics-plugin-1.6.2.0: Wingman plugin for Haskell Language Server

Index - R

rangeToRealSrcSpanWingman.Range
rangeToSrcSpanWingman.Range
RawEditWingman.AbstractLSP.Types
recursionWingman.Tactics
RecursiveCallWingman.Types
recursiveHypothesisWingman.Judgements
RecursivePrvWingman.Types
RefWingman.Metaprogramming.Parser.Documentation
RefineWingman.Types
refineWingman.Tactics
renderAnnWingman.Metaprogramming.ProofState
renderSimplyDecoratedWingman.Metaprogramming.ProofState
renderUnannWingman.Metaprogramming.ProofState
requireConcreteHoleWingman.Machinery
requireNewHolesWingman.Tactics
restrictPositionForApplicationWingman.Tactics
Reward 
1 (Type/Class)Wingman.Machinery
2 (Data Constructor)Wingman.Machinery
Rose 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
roseWingman.Types
rtr_ctxWingman.Types
rtr_extractWingman.Types
rtr_jdgWingman.Types
rtr_other_solnsWingman.Types
rtr_subgoalsWingman.Types
rtr_timed_outWingman.Types
rtr_traceWingman.Types
RuleWingman.Types
RuleMWingman.Types
runCurrentIdeWingman.LanguageServer
runIdeWingman.LanguageServer
runIdeActionWingman.LanguageServer
RunMetaprogramWingman.Types
runStaleIdeWingman.LanguageServer
runStreamingTacticTRefinery.Future
runTacticWingman.Machinery, Wingman.Tactics
RunTacticResults 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types