hls-tactics-plugin-1.4.0.0: Wingman plugin for Haskell Language Server (Index - R)

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

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
_
All

Index - R

rangeToRealSrcSpan	Wingman.Range
rangeToSrcSpan	Wingman.Range
RawEdit	Wingman.AbstractLSP.Types
recursion	Wingman.Tactics
RecursiveCall	Wingman.Types
recursiveHypothesis	Wingman.Judgements
RecursivePrv	Wingman.Types
Ref	Wingman.Metaprogramming.Parser.Documentation
Refine	Wingman.Types
refine	Wingman.Tactics
renderAnn	Wingman.Metaprogramming.ProofState
renderSimplyDecorated	Wingman.Metaprogramming.ProofState
renderUnann	Wingman.Metaprogramming.ProofState
requireConcreteHole	Wingman.Machinery
requireNewHoles	Wingman.Tactics
restrictPositionForApplication	Wingman.Tactics
Reward
1 (Type/Class)	Wingman.Machinery
2 (Data Constructor)	Wingman.Machinery
Rose
1 (Type/Class)	Wingman.Types
2 (Data Constructor)	Wingman.Types
rose	Wingman.Types
rtr_ctx	Wingman.Types
rtr_extract	Wingman.Types
rtr_jdg	Wingman.Types
rtr_other_solns	Wingman.Types
rtr_subgoals	Wingman.Types
rtr_timed_out	Wingman.Types
rtr_trace	Wingman.Types
Rule	Wingman.Types
RuleM	Wingman.Types
runCurrentIde	Wingman.LanguageServer
runIde	Wingman.LanguageServer
RunMetaprogram	Wingman.Types
runStaleIde	Wingman.LanguageServer
runStreamingTacticT	Refinery.Future
runTactic	Wingman.Machinery, Wingman.Tactics
RunTacticResults
1 (Type/Class)	Wingman.Types
2 (Data Constructor)	Wingman.Types