Home
last modified time | relevance | path

Searched refs:Pretty (Results 176 – 200 of 8369) sorted by relevance

12345678910>>...335

/dports/lang/polyml/polyml-5.8.2/mlsource/MLCompiler/CodeTree/
H A Dml_bind.ML25 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 DDiff.hs12 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 Drunreport.cpp189 << 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 DDiff.hs25 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 DRepl.hs43 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 Dsnapshot_restore_test.go23 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 Dsnapshot_restore_test.go23 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 Dsnapshot_restore_test.go27 Pretty bool
37 Pretty: true,
53 Pretty(tt.Pretty).
/dports/lang/mosml/mosml-ver-2.10.1/examples/paulson/
H A Dsample9.sml212 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 Dsample10.sml186 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 Dsample9.sml212 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 Dsample10.sml186 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 DPretty.hs3 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 DPretty.hs3 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 DPretty.hs3 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 DCustomTypeAnnotation.cpp34 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 Dtabulate.py8 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 DCompiledClause.hs31 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 DJSONTransport.cpp64 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 DJSONTransport.cpp47 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 DJSONTransport.cpp65 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 DJSONTransport.cpp65 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 DJSONTransport.cpp47 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 Dtabulate.py9 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 DInternal.hs414 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 …]

12345678910>>...335