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

Index - J

jAcceptableDestructTargetsWingman.Judgements
jAncestryMapWingman.Judgements
jEntireHypothesisWingman.Judgements
jGoalWingman.Judgements
jHasBoundArgsWingman.Judgements
jHypothesisWingman.Judgements
jLocalHypothesisWingman.Judgements
jNeedsToBindArgsWingman.Judgements
jPatHypothesisWingman.Judgements
Judgement 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
Judgement'Wingman.Types
judgementForHoleWingman.LanguageServer
j_coercionWingman.Types