| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/ |
| H A D | Fixity.hs | 98 brack _ TopCtx = false function
99 brack _ FunctionSpaceDomainCtx = false function
100 brack _ InsideOperandCtx = false function
103 brack _ _ = True function
133 brack ArgumentCtx{} = True function
134 brack DotPatternCtx = True function
139 withAppBrackets = brack . headPrecedence
141 brack TopCtx = False function
142 brack FunctionSpaceDomainCtx = False function
143 brack WithFunCtx = False function
[all …]
|
| /dports/devel/plan9port/plan9port-1f098efb7370a0b28306d10681e21883fb1c1507/src/cmd/eqn/ |
| H A D | paren.c | 5 extern void brack(int, char *, char *, char *);
50 brack(m, "\\(bv", "\\(bv", "\\(lf"); in paren()
56 brack(m, "\\(lc", "\\(bv", "\\(bv"); in paren()
66 brack(m, "\\(lt", "\\(bv", "\\(lb"); in paren()
69 brack(m, "\\(lc", "\\(bv", "\\(lf"); in paren()
72 brack(m, "|", "|", "|"); in paren()
92 brack(m, "\\(bv", "\\(bv", "\\(rf"); in paren()
98 brack(m, "\\(rc", "\\(bv", "\\(bv"); in paren()
108 brack(m, "\\(rc", "\\(bv", "\\(rf"); in paren()
111 brack(m, "\\(rt", "\\(bv", "\\(rb"); in paren()
[all …]
|
| /dports/textproc/heirloom-doctools/heirloom-doctools-160308/eqn/ |
| H A D | paren.c | 77 brack(m, "\\(bv", "\\(bv", "\\(lf"); in paren()
83 brack(m, "\\(lc", "\\(bv", "\\(bv"); in paren()
93 brack(m, "\\(lt", "\\(bv", "\\(lb"); in paren()
96 brack(m, "\\(lc", "\\(bv", "\\(lf"); in paren()
99 brack(m, "\\(bv", "\\(bv", "\\(bv"); in paren()
121 brack(m, "\\(bv", "\\(bv", "\\(rf"); in paren()
127 brack(m, "\\(rc", "\\(bv", "\\(bv"); in paren()
137 brack(m, "\\(rc", "\\(bv", "\\(rf"); in paren()
140 brack(m, "\\(rt", "\\(bv", "\\(rb"); in paren()
143 brack(m, "\\(bv", "\\(bv", "\\(bv"); in paren()
[all …]
|
| /dports/print/latex2rtf/latex2rtf-2.3.17/ |
| H A D | stack.c | 40 int BasicPush(int lev, int brack);
41 int BasicPop(int *lev, int *brack);
46 int i, lev, brack; in myprintStack() local
52 brack = stack[2 * i + 2]; in myprintStack()
55 diagnostics(WARNING, " #%d lev=%d bracket=%d", i, lev, brack); in myprintStack()
71 int BasicPush(int lev, int brack) in BasicPush() argument
79 diagnostics(6,"pushing rec=%d and bra=%d on stack",lev,brack); in BasicPush()
83 stack[top] = brack; in BasicPush()
91 int BasicPop(int *lev, int *brack) in BasicPop() argument
98 *brack = stack[top]; in BasicPop()
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/happy-1.20.0/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/happy-1.19.12/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/happy-1.19.12/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/happy-1.20.0/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/happy-1.20.0/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/happy-1.20.0/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/happy-1.20.0/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/devel/hs-happy/happy-1.20.0/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/happy-1.20.0/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/happy-1.19.12/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/happy-1.20.0/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/happy-1.20.0/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/www/hs-hjsmin/hjsmin-0.2.0.4/_cabal_deps/happy-1.19.12/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/happy-1.19.12/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/happy-1.20.0/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/happy-1.19.12/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/happy-1.20.0/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/happy-1.19.12/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/happy-1.20.0/src/ |
| H A D | GenUtils.lhs | 12 > str, char, nl, brack, brack',
88 > brack :: String -> String -> String
89 > brack s = str ('(' : s) . char ')' function
90 > brack' :: (String -> String) -> String -> String
91 > brack' s = char '(' . s . char ')'
|
| /dports/graphics/geomview/geomview-1.9.5/src/lib/gprim/list/ |
| H A D | liststream.c | 48 int brack = 0; in ListImport() local
64 brack++; in ListImport()
68 if(--brack < 0) goto done; in ListImport()
109 if(brack > 0) in ListImport()
|
| /dports/print/lilypond-devel/lilypond-2.23.5/lily/ |
| H A D | measure-spanner.cc | 66 Stencil brack; in print() local
107 brack = Bracket::make_axis_constrained_bracket (me, x_points[RIGHT] - x_points[LEFT], X_AXIS, in print()
111 brack.add_stencil (bracket_text); in print()
113 mol.add_stencil (brack); in print()
|