Case | Wingman.GHC |
cfg_feature_set | Wingman.Types |
cfg_max_use_ctor_actions | Wingman.Types |
cfg_timeout_seconds | Wingman.Types |
ClassMethodPrv | Wingman.Types |
cloneTyVar | Wingman.GHC |
coerceName | Wingman.CodeGen.Utils, Wingman.CodeGen |
commandProvider | Wingman.LanguageServer.TacticProviders |
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 |
ctxDefiningFuncs | Wingman.Types |
ctxFeatureSet | Wingman.Types |
ctxInstEnvs | Wingman.Types |
ctxKnownThings | Wingman.Types |
ctxModuleFuncs | Wingman.Types |
ctxTheta | Wingman.Types |
CType | |
1 (Type/Class) | Wingman.Types |
2 (Data Constructor) | Wingman.Types |