create typed timestate driver wrapper
This commit is contained in:
parent
e5b797b450
commit
f040a6db7e
|
@ -0,0 +1,22 @@
|
|||
#lang typed/syndicate/roles
|
||||
|
||||
(provide activate!
|
||||
later-than
|
||||
LaterThanT
|
||||
LaterThan
|
||||
TimeStateDriver)
|
||||
|
||||
(require-struct later-than
|
||||
#:as LaterThanT
|
||||
#:from syndicate/drivers/timestate)
|
||||
|
||||
(define-type-alias LaterThan (LaterThanT Int))
|
||||
|
||||
(define-type-alias TimeStateDriver
|
||||
(U LaterThan
|
||||
(Observe (LaterThanT ★/t))))
|
||||
|
||||
;; TODO ignoring other driver underneath it
|
||||
|
||||
(require/typed (submod syndicate/drivers/timestate syndicate-main)
|
||||
[activate! : (proc → ⊥ #:spawns ((Actor TimeStateDriver)))])
|
Loading…
Reference in New Issue