Searched refs:isLam (Results 1 – 4 of 4) sorted by relevance
85 opBrackets' isLam f ps = brack f (headPrecedence ps) function87 false = isLam && lamBrackets ps -- require more parens for `e >>= λ x → e₁` than `e >>= e₁`131 appBrackets' isLam ps = brack (headPrecedence ps) function135 brack _ = isLam && lamBrackets ps -- allow e + e₁ λ x → e₂
2036 if (start > 0 && isAlef(text.charAt(start)) && isLam(text.charAt(start - 1))) { in setStyle()2039 if (end < length - 1 && isLam(text.charAt(end)) && isAlef(text.charAt(end + 1))) { in setStyle()2274 static final boolean isLam(int ch) { in isLam() method in TextLayout
1622 recoverOpApp bracket isLam opApp view e = case view e of1645 NoSection (i, e) -> isLam e && preferParenless (appParens i)