hls-tactics-plugin-1.3.0.0: Wingman plugin for Haskell Language Server
Contents
Index
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
recursion
Wingman.Tactics
RecursiveCall
Wingman.Types
recursiveHypothesis
Wingman.Judgements
RecursivePrv
Wingman.Types
Ref
Wingman.Metaprogramming.Parser.Documentation
Refine
Wingman.Types
,
Wingman.Plugin
,
Ide.Plugin.Tactic
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_trace
Wingman.Types
Rule
Wingman.Types
RuleM
Wingman.Types
runCurrentIde
Wingman.LanguageServer
runIde
Wingman.LanguageServer
RunMetaprogram
Wingman.Types
,
Wingman.Plugin
,
Ide.Plugin.Tactic
runStaleIde
Wingman.LanguageServer
runTactic
Wingman.Machinery
,
Wingman.Tactics
RunTacticResults
1 (Type/Class)
Wingman.Types
2 (Data Constructor)
Wingman.Types