/dports/lang/polyml/polyml-5.8.2/mlsource/MLCompiler/CodeTree/ |
H A D | ml_bind.ML | 25 structure PRETTY = Pretty 39 and PRETTY = Pretty 49 and PRETTY = Pretty 70 structure PRETTY = Pretty 82 structure PRETTY = Pretty
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/dhall-1.38.1/tests/Dhall/Test/ |
H A D | Diff.hs | 12 import qualified Data.Text.Prettyprint.Doc.Render.Text as Pretty.Text 16 import qualified Dhall.Pretty 52 let actualDiffText = Pretty.Text.renderStrict 53 (Dhall.Pretty.layout actualDiffDocument)
|
/dports/biology/lamarc/lamarc-2.1.8/src/report/ |
H A D | runreport.cpp | 189 << Pretty(m_chainno + 1L, 3) in PrintBar() 190 << " of " << Pretty(chaintot, 3) << ": "; in PrintBar() 192 cout << Pretty(steps + 1L, width); in PrintBar() 220 cout << Pretty(counterDisplay, width); in PrintBar() 345 tableline += Pretty(temperatures[temp],7) + " "; in MakeReport() 353 tableline += Pretty(100.0 * swaprates[temp], 7) + " "; in MakeReport() 411 tempstring += Pretty(chout.GetLlikedata(), 10); in FormatReport() 434 tempstring += Pretty(badtrees); in FormatReport() 445 tempstring += Pretty(tinytrees); in FormatReport() 456 tempstring += Pretty(zerodltrees); in FormatReport() [all …]
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/dhall-1.38.1/src/Dhall/ |
H A D | Diff.hs | 25 import Data.Text.Prettyprint.Doc (Doc, Pretty) 28 import Dhall.Pretty.Internal (Ann) 84 hardline = token Pretty.hardline 257 :: (Eq a, Pretty a) 347 :: (Eq a, Pretty a) 368 :: (Eq a, Pretty a) 402 :: (Eq a, Pretty a) 407 :: (Eq a, Pretty a) 412 :: (Eq a, Pretty a) 424 skeleton :: Pretty a => Expr s a -> Diff [all …]
|
H A D | Repl.hs | 43 import Dhall.Pretty (CharacterSet (..)) 55 import qualified Data.Text.Prettyprint.Doc as Pretty 70 import qualified Dhall.Pretty 71 import qualified Dhall.Pretty.Internal 377 let doc = Dhall.Pretty.Internal.prettyLabel name 633 :: (Pretty.Pretty a, MonadState Env m, MonadIO m) 643 :: (Pretty.Pretty a, MonadState Env m, MonadIO m) 651 let stream = Dhall.Pretty.layout (Dhall.Pretty.prettyCharacterSet characterSet expr) 656 then fmap Dhall.Pretty.annToAnsiStyle stream 657 else Pretty.unAnnotateS stream [all …]
|
/dports/databases/cayley/cayley-0.7.5-2-gcf576ba/vendor/github.com/olivere/elastic/ |
H A D | snapshot_restore_test.go | 23 Pretty bool 33 Pretty: true, 49 Pretty(tt.Pretty).
|
/dports/textproc/gitlab-elasticsearch-indexer/gitlab-elasticsearch-indexer-ef1440548effec15831eda2d246dacc43233cefb/vendor/github.com/olivere/elastic/ |
H A D | snapshot_restore_test.go | 23 Pretty bool 33 Pretty: true, 49 Pretty(tt.Pretty).
|
/dports/net-mgmt/bosun/bosun-0.9.0-preview/vendor/github.com/olivere/elastic/v7/ |
H A D | snapshot_restore_test.go | 27 Pretty bool 37 Pretty: true, 53 Pretty(tt.Pretty).
|
/dports/lang/mosml/mosml-ver-2.10.1/examples/paulson/ |
H A D | sample9.sml | 212 fun typ (Var a) = Pretty.str a 214 Pretty.str " ->", 215 Pretty.brk 1, 217 and atom (Var a) = Pretty.str a 218 | atom ty = Pretty.blo(1, [Pretty.str"(", 220 Pretty.str")"]); 349 fun term (Lambda.Free a) = Pretty.str a 354 in Pretty.blo(0, [Pretty.str binder, term u]) 356 | term t = Pretty.blo(0, applic t) 360 | atom t = Pretty.blo(1, [Pretty.str"(", [all …]
|
H A D | sample10.sml | 186 fun enclose sexp = Pretty.blo(1, [Pretty.str"(", sexp, Pretty.str")"]); 189 | commas (sexp::sexps) = Pretty.str"," :: Pretty.brk 1 :: 197 | term (Fol.Fun (a,ts)) = Pretty.blo(0, [Pretty.str a, args ts]) 202 fun formp k (Fol.Pred (a,ts)) = Pretty.blo(0, [Pretty.str a, args ts]) 204 Pretty.blo(0, [Pretty.str "~", formp (Fol.precOf "~") p]) 208 Pretty.str(" "^C), 209 Pretty.brk 1, 217 Pretty.brk 1, 229 Pretty.blo (4, [Pretty.str(" " ^ Int.toString n ^ ". "), 231 Pretty.brk 2, [all …]
|
/dports/lang/mosml/mosml-ver-2.10.1/src/compiler/test/ |
H A D | sample9.sml | 212 fun typ (Var a) = Pretty.str a 214 Pretty.str " ->", 215 Pretty.brk 1, 217 and atom (Var a) = Pretty.str a 218 | atom ty = Pretty.blo(1, [Pretty.str"(", 220 Pretty.str")"]); 349 fun term (Lambda.Free a) = Pretty.str a 354 in Pretty.blo(0, [Pretty.str binder, term u]) 356 | term t = Pretty.blo(0, applic t) 360 | atom t = Pretty.blo(1, [Pretty.str"(", [all …]
|
H A D | sample10.sml | 186 fun enclose sexp = Pretty.blo(1, [Pretty.str"(", sexp, Pretty.str")"]); 189 | commas (sexp::sexps) = Pretty.str"," :: Pretty.brk 1 :: 197 | term (Fol.Fun (a,ts)) = Pretty.blo(0, [Pretty.str a, args ts]) 202 fun formp k (Fol.Pred (a,ts)) = Pretty.blo(0, [Pretty.str a, args ts]) 204 Pretty.blo(0, [Pretty.str "~", formp (Fol.precOf "~") p]) 208 Pretty.str(" "^C), 209 Pretty.brk 1, 217 Pretty.brk 1, 229 Pretty.blo (4, [Pretty.str(" " ^ Int.toString n ^ ". "), 231 Pretty.brk 2, [all …]
|
/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/Cabal/Distribution/FieldGrammar/ |
H A D | Pretty.hs | 3 module Distribution.FieldGrammar.Pretty ( 13 import Distribution.Fields.Pretty (PrettyField (..)) 14 import Distribution.Pretty (Pretty (..), showFreeText, showFreeTextV3) 37 instance FieldGrammar Pretty PrettyFieldGrammar where
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/Cabal-3.6.0.0/src/Distribution/FieldGrammar/ |
H A D | Pretty.hs | 3 module Distribution.FieldGrammar.Pretty ( 13 import Distribution.Fields.Pretty (PrettyField (..)) 14 import Distribution.Pretty (Pretty (..), showFreeText, showFreeTextV3) 37 instance FieldGrammar Pretty PrettyFieldGrammar where
|
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/Cabal-3.4.0.0/Distribution/FieldGrammar/ |
H A D | Pretty.hs | 3 module Distribution.FieldGrammar.Pretty ( 13 import Distribution.Fields.Pretty (PrettyField (..)) 14 import Distribution.Pretty (Pretty (..), showFreeText, showFreeTextV3) 37 instance FieldGrammar Pretty PrettyFieldGrammar where
|
/dports/lang/spidermonkey60/firefox-60.9.0/build/clang-plugin/ |
H A D | CustomTypeAnnotation.cpp | 34 Check.diag(Loc, Array, DiagnosticIDs::Note) << Pretty << T << Reason.Type; in dumpAnnotationReason() 41 << Pretty << T << Reason.Type; in dumpAnnotationReason() 46 << Pretty << T << Reason.Field << Reason.Type; in dumpAnnotationReason() 53 << Pretty << T << Reason.Type; in dumpAnnotationReason() 61 << Pretty << T << Reason.ImplicitReason; in dumpAnnotationReason()
|
/dports/net-p2p/bazarr/bazarr-1.0.2/libs/rich/ |
H A D | tabulate.py | 8 from .pretty import Pretty 47 Pretty(key, highlighter=highlighter), Pretty(value, highlighter=highlighter)
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
H A D | CompiledClause.hs | 31 import Agda.Utils.Pretty 163 instance Pretty a => Pretty (WithArity a) where 166 instance Pretty a => Pretty (Case a) where 177 prettyMap_ :: (Pretty k, Pretty v) => Map k v -> [Doc] 180 instance Pretty CompiledClauses where
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang-tools-extra/clangd/ |
H A D | JSONTransport.cpp | 64 llvm::raw_ostream *InMirror, bool Pretty, JSONStreamStyle Style) in JSONTransport() argument 66 Pretty(Pretty), Style(Style) {} in JSONTransport() 111 vlog(Pretty ? "<<< {0:2}\n" : "<<< {0}\n", *Doc); in loop() 131 OS << llvm::formatv(Pretty ? "{0:2}" : "{0}", Message); in sendMessage() 149 bool Pretty; member in clang::clangd::__anonbc72521b0111::JSONTransport 321 bool Pretty, in newJSONTransport() argument 323 return std::make_unique<JSONTransport>(In, Out, InMirror, Pretty, Style); in newJSONTransport()
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang-tools-extra/clangd/ |
H A D | JSONTransport.cpp | 47 llvm::raw_ostream *InMirror, bool Pretty, JSONStreamStyle Style) in JSONTransport() argument 49 Pretty(Pretty), Style(Style) {} in JSONTransport() 95 vlog(Pretty ? "<<< {0:2}\n" : "<<< {0}\n", *Doc); in loop() 115 OS << llvm::formatv(Pretty ? "{0:2}" : "{0}", Message); in sendMessage() 133 bool Pretty; member in clang::clangd::__anon671bf46b0111::JSONTransport 305 bool Pretty, in newJSONTransport() argument 307 return std::make_unique<JSONTransport>(In, Out, InMirror, Pretty, Style); in newJSONTransport()
|
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/tools/extra/clangd/ |
H A D | JSONTransport.cpp | 65 llvm::raw_ostream *InMirror, bool Pretty, JSONStreamStyle Style) in JSONTransport() argument 67 Pretty(Pretty), Style(Style) {} in JSONTransport() 113 vlog(Pretty ? "<<< {0:2}\n" : "<<< {0}\n", *Doc); in loop() 133 OS << llvm::formatv(Pretty ? "{0:2}" : "{0}", Message); in sendMessage() 151 bool Pretty; member in clang::clangd::__anone44c05180111::JSONTransport 323 bool Pretty, in newJSONTransport() argument 325 return std::make_unique<JSONTransport>(In, Out, InMirror, Pretty, Style); in newJSONTransport()
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang-tools-extra/clangd/ |
H A D | JSONTransport.cpp | 65 llvm::raw_ostream *InMirror, bool Pretty, JSONStreamStyle Style) in JSONTransport() argument 67 Pretty(Pretty), Style(Style) {} in JSONTransport() 113 vlog(Pretty ? "<<< {0:2}\n" : "<<< {0}\n", *Doc); in loop() 133 OS << llvm::formatv(Pretty ? "{0:2}" : "{0}", Message); in sendMessage() 151 bool Pretty; member in clang::clangd::__anon3eae2db00111::JSONTransport 323 bool Pretty, in newJSONTransport() argument 325 return std::make_unique<JSONTransport>(In, Out, InMirror, Pretty, Style); in newJSONTransport()
|
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/tools/extra/clangd/ |
H A D | JSONTransport.cpp | 47 llvm::raw_ostream *InMirror, bool Pretty, JSONStreamStyle Style) in JSONTransport() argument 49 Pretty(Pretty), Style(Style) {} in JSONTransport() 95 vlog(Pretty ? "<<< {0:2}\n" : "<<< {0}\n", *Doc); in loop() 115 OS << llvm::formatv(Pretty ? "{0:2}" : "{0}", Message); in sendMessage() 133 bool Pretty; member in clang::clangd::__anon767c85d60111::JSONTransport 305 bool Pretty, in newJSONTransport() argument 307 return std::make_unique<JSONTransport>(In, Out, InMirror, Pretty, Style); in newJSONTransport()
|
/dports/textproc/py-rich/rich-10.16.1/rich/ |
H A D | tabulate.py | 9 from .pretty import Pretty 49 Pretty(key, highlighter=highlighter), Pretty(value, highlighter=highlighter)
|
/dports/devel/stack/stack-2.7.3/_cabal_deps/ansi-wl-pprint-0.6.9/Text/PrettyPrint/ANSI/Leijen/ |
H A D | Internal.hs | 414 class Pretty a where constructor 419 instance Pretty a => Pretty [a] where 422 instance Pretty Doc where 425 instance Pretty () where 428 instance Pretty Bool where 431 instance Pretty Char where 435 instance Pretty Int where 441 instance Pretty Float where 450 instance (Pretty a,Pretty b) => Pretty (a,b) where 453 instance (Pretty a,Pretty b,Pretty c) => Pretty (a,b,c) where [all …]
|