scolobb
/
typed-graph
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Improve the types in bfs/generalized and dfs/generalized.

This commit is contained in:
Sergiu Ivanov 2021-11-01 10:04:44 +01:00
parent 6d32fcecfc
commit 2460d56d04
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
graph.rkt
View File

@ -275,8 +275,8 @@
[bfs/generalized (->* (Graph Any) [bfs/generalized (->* (Graph Any)
(#:init-queue Any ; TODO: Add a proper type. (#:init-queue Any ; TODO: Add a proper type.
#:break (-> Graph Any Any Any Boolean) #:break (-> Graph Any Any Any Boolean)
#:init (-> Graph Any Void) #:init (U (-> Graph Any Void) Void)
#:visit? (-> Graph Any Any Any Boolean) #:visit? (U (-> Graph Any Any Any Boolean) False)
#:discover (-> Graph Any Any Any Any Any) #:discover (-> Graph Any Any Any Any Any)
#:visit (-> Graph Any Any Any Any) #:visit (-> Graph Any Any Any Any)
#:return (-> Graph Any Any Any)) #:return (-> Graph Any Any Any))
@ -290,9 +290,9 @@
[dfs/generalized (->* (Graph) [dfs/generalized (->* (Graph)
(#:order (-> (Listof Any) (Listof Any)) (#:order (-> (Listof Any) (Listof Any))
#:break (-> Graph Any Any Any Boolean) #:break (-> Graph Any Any Any Boolean)
#:init (-> Graph Void) #:init (U (-> Graph Void) Void)
#:inner-init (-> Any Any) #:inner-init (-> Any Any)
#:visit? (-> Graph Any Any Boolean) #:visit? (U (-> Graph Any Any Boolean) False)
#:prologue (-> Graph Any Any Any Any) #:prologue (-> Graph Any Any Any Any)
#:epilogue (-> Graph Any Any Any Any) #:epilogue (-> Graph Any Any Any Any)
#:process-unvisited? (-> Graph Any Any Boolean) #:process-unvisited? (-> Graph Any Any Boolean)