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

functions,tabulate*/boolean: Make the output contract more exact.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-06-10 23:03:25 +02:00
parent 6e5a7fa845
commit 512de1a963
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
functions.rkt
View file

@ -18,7 +18,7 @@
[tabulate (-> procedure-fixed-arity? (listof generic-set?) (listof list?))] [tabulate (-> procedure-fixed-arity? (listof generic-set?) (listof list?))]
[tabulate* (-> (listof procedure-fixed-arity?) (listof generic-set?) (listof list?))] [tabulate* (-> (listof procedure-fixed-arity?) (listof generic-set?) (listof list?))]
[tabulate/boolean (-> procedure-fixed-arity? (listof (listof boolean?)))] [tabulate/boolean (-> procedure-fixed-arity? (listof (listof boolean?)))]
[tabulate*/boolean (-> (non-empty-listof procedure-fixed-arity?) (listof list?))] [tabulate*/boolean (-> (non-empty-listof procedure-fixed-arity?) (listof (listof boolean?)))]
[table->function (-> (listof (*list/c any/c any/c)) procedure?)] [table->function (-> (listof (*list/c any/c any/c)) procedure?)]
[table->function/list (-> (listof (*list/c any/c any/c)) procedure?)] [table->function/list (-> (listof (*list/c any/c any/c)) procedure?)]
[enumerate-boolean-tables (-> number? (stream/c (listof (*list/c boolean? boolean?))))] [enumerate-boolean-tables (-> number? (stream/c (listof (*list/c boolean? boolean?))))]