jAcceptableDestructTargets | Wingman.Judgements |
jAncestryMap | Wingman.Judgements |
jEntireHypothesis | Wingman.Judgements |
jGoal | Wingman.Judgements |
jHasBoundArgs | Wingman.Judgements |
jHypothesis | Wingman.Judgements |
jLocalHypothesis | Wingman.Judgements |
jNeedsToBindArgs | Wingman.Judgements |
jPatHypothesis | Wingman.Judgements |
Judgement | |
1 (Type/Class) | Wingman.Types |
2 (Data Constructor) | Wingman.Types |
Judgement' | Wingman.Types |
judgementForHole | Wingman.LanguageServer |
j_coercion | Wingman.Types |