suzanne.soy/delay-pure
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

replace Promise with (Promise Any) due to kinding #2

Merged
capfredf merged 1 commits from fix-types into main 2022-01-19 16:05:34 +00:00
Conversation 5 Commits 1 Files Changed 1 +2 -2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
private/pure-function.rkt
View File

@ -30,8 +30,8 @@
(unsafe-require/typed
"pure-unsafe.rkt"
[promise/pure/maybe-stateful? (→ Any Boolean : Promise)]
[promise/pure/stateless? (→ Any Boolean : Promise)]
[promise/pure/maybe-stateful? (→ Any Boolean : (Promise Any))]
[promise/pure/stateless? (→ Any Boolean : (Promise Any))]
[make-promise/pure/stateful (∀ (a) (→ (→ a) (Promise a)))]
[make-promise/pure/stateless (∀ (a) (→ (→ a) (Promise a)))]
[declared-stateful-pure-function? (→ Any Boolean)]