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

utils.scrbl: Move Pretty printing before Additional graph utilities.

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

20
scribblings/utils.scrbl
View file

@ -246,16 +246,6 @@ those symbols.
(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]{
@ -277,6 +267,16 @@ a state graph.
(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{Additional list and hash map utilities}
@section{Functions and procedures}