hls-tactics-plugin-1.3.0.0: Wingman plugin for Haskell Language Server (Index - C)

hls-tactics-plugin-1.3.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 - C

camelTerms	Wingman.Naming
canUnify	Wingman.Machinery
Case	Wingman.GHC
cata	Wingman.Tactics
cfg_auto_gas	Wingman.Types
cfg_max_use_ctor_actions	Wingman.Types
cfg_proofstate_styling	Wingman.Types
cfg_timeout_seconds	Wingman.Types
ClassMethodPrv	Wingman.Types
cloneTyVar	Wingman.GHC
codeFence	Wingman.Metaprogramming.Parser.Documentation
codeLensProvider	Wingman.EmptyCase
coerceName	Wingman.CodeGen.Utils, Wingman.CodeGen
collapse	Wingman.Tactics
command	Wingman.Metaprogramming.Parser.Documentation
commandProvider	Wingman.LanguageServer.TacticProviders
commands	Wingman.Metaprogramming.Parser
commandTactic	Wingman.LanguageServer.TacticProviders
Config
1 (Type/Class)	Wingman.Types
2 (Data Constructor)	Wingman.Types
conLikeExTys	Wingman.CodeGen
conLikeInstOrigArgTys'	Wingman.CodeGen
containsHole	Wingman.GHC
containsHsVar	Wingman.GHC
Context
1 (Type/Class)	Wingman.Types
2 (Data Constructor)	Wingman.Types
Continuation	Wingman.Naming
Count	Wingman.Metaprogramming.Parser.Documentation
count	Wingman.Metaprogramming.ProofState
countFinished	Wingman.Metaprogramming.ProofState
createImportedHyInfo	Wingman.Machinery
ctxConfig	Wingman.Types
ctxDefiningFuncs	Wingman.Types
ctxFamInstEnvs	Wingman.Types
ctxInstEnvs	Wingman.Types
ctxModuleFuncs	Wingman.Types
ctxTheta	Wingman.Types
ctx_hscEnv	Wingman.Types
ctx_module	Wingman.Types
ctx_occEnv	Wingman.Types
CType
1 (Type/Class)	Wingman.Types
2 (Data Constructor)	Wingman.Types
cut	Wingman.Machinery