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

utils.scrbl: Require typed/graph in a separate place.

Browse source
This commit is contained in:
Sergiu Ivanov 2022-02-08 00:10:49 +01:00
parent 0179423be9
commit 67ae415064
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
scribblings/utils.scrbl
View file

@ -268,12 +268,18 @@ a state graph.
]} ]}
@section{Additional graph utilities} @section{Additional graph utilities}
All examples in this section depend on @racket[typed/graph]:
@examples[#:eval utils-evaluator
(require typed/graph)
]
@defproc[(dotit [graph Graph]) Void]{ @defproc[(dotit [graph Graph]) Void]{
Typesets the graph via @racket[graphviz] and @racket[display]s it. Typesets the graph via @racket[graphviz] and @racket[display]s it.
@examples[#:eval utils-evaluator @examples[#:eval utils-evaluator
(require typed/graph)
(dotit (weighted-graph/directed '((1 a b) (2 b c)))) (dotit (weighted-graph/directed '((1 a b) (2 b c))))
]} ]}