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

functions: Make all tabulate functions take procedures of fixed arity.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-06-09 20:06:36 +02:00
parent 180810a2aa
commit 6e5a7fa845
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
functions.rkt
View file

@ -15,10 +15,10 @@
[struct tbf ((weights number?) (threshold (vectorof number?)))])
;; Functions
(contract-out
[tabulate (-> procedure? (listof generic-set?) (listof list?))]
[tabulate* (-> (listof procedure?) (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/boolean (-> procedure-fixed-arity? (listof (listof boolean?)))]
[tabulate*/boolean (-> (non-empty-listof procedure?) (listof list?))]
[tabulate*/boolean (-> (non-empty-listof procedure-fixed-arity?) (listof list?))]
[table->function (-> (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?))))]