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

Add a type for replace-evt

Browse Source 
original commit: 7d9f8d5eb31f2bf963b7290d0857be7b409300a7
This commit is contained in:
Asumu Takikawa 2014-07-15 14:14:18 -04:00
parent 62664e000a
commit ac499ccfc6
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -1345,6 +1345,10 @@
[poll-guard-evt
(-poly (a) (-> (-> -Boolean (-evt a)) (-evt a)))]
[always-evt (-mu x (-evt x))]
[replace-evt (-poly (a b)
(cl->*
(-> (-evt a) (-> a (-evt b)) (-evt b))
(-> (-evt a) (-> a b) (-mu x (-evt x)))))]
[never-evt (-evt (Un))]
[system-idle-evt (-> (-evt -Void))]
[alarm-evt (-> -Real (-mu x (-evt x)))]