From f572d72625ee03335343ea0db391694d4d1ea3ee Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sat, 1 Jan 2022 16:55:25 +0100
Subject: [PATCH] manual: Add the types from Graph Constructors.

---
 manual.scrbl | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/manual.scrbl b/manual.scrbl
index a9d2d45..401e1b9 100644
--- a/manual.scrbl
+++ b/manual.scrbl
@@ -88,6 +88,19 @@ The opaque type corresponding to the predicate @racketlink[g:graph? "graph?"].
 @defproc[(graph-copy [g Graph]) Graph]{}
 @defproc[(graph-union! [g Graph] [other Graph]) Void]{}
 
+@subsection{Graph Constructors}
+@defproc[(unweighted-graph? [g Graph]) Boolean]{}
+@defproc[(unweighted-graph/undirected [edges (Listof (List Any Any))]) Graph]{}
+@defproc[(unweighted-graph/directed [edges (Listof (List Any Any))]) Graph]{}
+@defproc[(unweighted-graph/adj [edges (Listof (Listof Any))]) Graph]{}
+
+@defproc[(weighted-graph? [g Graph]) Boolean]{}
+@defproc[(weighted-graph/undirected [edges (Listof (List Any Any Any))]) Graph]{}
+@defproc[(weighted-graph/directed [edges (Listof (List Any Any Any))]) Graph]{}
+@defproc[(undirected-graph [edges (Listof (List Any Any))] [wgts (Listof Any) #f]) Graph]{}
+@defproc[(directed-graph [edges (Listof (List Any Any))] [wgts (Listof Any) #f]) Graph]{}
+
+@defproc[(matrix-graph? [g Graph]) Boolean]{}
 
 @section{License}