From 8d5d41233eebd8da012ba6448304df365e93673a Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Fri, 4 Feb 2022 00:08:22 +0100 Subject: [PATCH] utils.scrbl: Move the pretty printing functions to their section. --- scribblings/utils.scrbl | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl index 692b755..75b39bc 100644 --- a/scribblings/utils.scrbl +++ b/scribblings/utils.scrbl @@ -246,6 +246,18 @@ 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]{ 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))) ]} -@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{Functions and procedures}