scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

utils.scrbl: Move the pretty printing functions to their section.

Browse source
This commit is contained in:
Sergiu Ivanov 2022-02-04 00:08:22 +01:00
parent e4f7c956d4
commit 8d5d41233e
1 changed files with 12 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
scribblings/utils.scrbl
View file

@ -246,6 +246,18 @@ those symbols.
(list-sets->list-strings (list (set 'x 'y) (set 'z) (set) (set 't))) (list-sets->list-strings (list (set 'x 'y) (set 'z) (set) (set 't)))
]} ]}
@section{Additional graph utilities}
@defproc[(dotit [graph Graph]) Void]{
Typeset the graph via graphviz and display it.
@examples[#:eval utils-evaluator
(require typed/graph)
(dotit (weighted-graph/directed '((1 a b) (2 b c))))
]}
@section{Pretty printing}
@defproc[(pretty-print-set (s (Setof Any))) String]{ @defproc[(pretty-print-set (s (Setof Any))) String]{
Pretty prints a set by listing its elements in alphabetic order. Pretty prints a set by listing its elements in alphabetic order.
@ -265,18 +277,6 @@ a state graph.
(pretty-print-set-sets (set (set 'a 'b) (set 'c))) (pretty-print-set-sets (set (set 'a 'b) (set 'c)))
]} ]}
@section{Additional graph utilities}
@defproc[(dotit [graph Graph]) Void]{
Typeset the graph via graphviz and display it.
@examples[#:eval utils-evaluator
(require typed/graph)
(dotit (weighted-graph/directed '((1 a b) (2 b c))))
]}
@section{Pretty printing}
@section{Additional list and hash map utilities} @section{Additional list and hash map utilities}
@section{Functions and procedures} @section{Functions and procedures}