Home
last modified time | relevance | path

Searched refs:isLam (Results 1 – 4 of 4) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/
H A DFixity.hs85 opBrackets' isLam f ps = brack f (headPrecedence ps) function
87 false = isLam && lamBrackets ps -- require more parens for `e >>= λ x → e₁` than `e >>= e₁`
131 appBrackets' isLam ps = brack (headPrecedence ps) function
135 brack _ = isLam && lamBrackets ps -- allow e + e₁ λ x → e₂
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.swt/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/
H A DTextLayout.java2036 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
/dports/x11-toolkits/swt/swt-4.20/org/eclipse/swt/graphics/
H A DTextLayout.java2036 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
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Translation/
H A DAbstractToConcrete.hs1622 recoverOpApp bracket isLam opApp view e = case view e of
1645 NoSection (i, e) -> isLam e && preferParenless (appParens i)