Searched refs:lhsFocus (Results 1 – 4 of 4) sorted by relevance
454 , lhsFocus :: NamedArg (LHSCore' e) function
343 , lhsFocus :: NamedArg LHSCore -- ^ Main argument. function
1350 , A.lhsFocus = defaultNamedArg $ A.LHSHead c' []
2715 …C.LHSProj{} -> hasExpandedEllipsis $ namedArg $ C.lhsFocus core -- can this ever be Expanded…