hls-tactics-plugin-1.6.2.0: Wingman plugin for Haskell Language Server (Index - H)

hls-tactics-plugin-1.6.2.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 - H

hasClassInstance	Wingman.Context
hasPositionalAncestry	Wingman.Judgements
hi_name	Wingman.Types
hi_provenance	Wingman.Types
hi_type	Wingman.Types
hj_ctx	Wingman.Types
hj_dflags	Wingman.Types
hj_hole_sort	Wingman.Types
hj_jdg	Wingman.Types
hj_range	Wingman.Types
hoistListT	Refinery.Future
Hole	Wingman.Types
HoleJudgment
1 (Type/Class)	Wingman.Types
2 (Data Constructor)	Wingman.Types
HoleSort	Wingman.Types
holeSortFor	Wingman.LanguageServer
HoleTarget
1 (Type/Class)	Wingman.AbstractLSP.Types
2 (Data Constructor)	Wingman.AbstractLSP.Types
homo	Wingman.Tactics
homoLambdaCase	Wingman.Tactics
Homomorphism	Wingman.Types
HomomorphismLambdaCase	Wingman.Types
hoverProvider	Wingman.LanguageServer.Metaprogram
hush	Wingman.EmptyCase
hyByName	Wingman.Judgements
hyDiff	Wingman.Tactics
hyFilter	Wingman.Judgements
HyInfo
1 (Type/Class)	Wingman.Types
2 (Data Constructor)	Wingman.Types
hyNamesInScope	Wingman.Judgements
Hypoth	Wingman.Metaprogramming.ProofState
Hypothesis
1 (Type/Class)	Wingman.Types
2 (Data Constructor)	Wingman.Types
hypothesisFromBindings	Wingman.Judgements
hySingleton	Wingman.Judgements