Add two mrlib type wrappers
This commit is contained in:
parent
eb8441960f
commit
f5f6a77dfd
15
typed-racket-more/typed/mrlib/bitmap-label.rkt
Normal file
15
typed-racket-more/typed/mrlib/bitmap-label.rkt
Normal file
|
@ -0,0 +1,15 @@
|
|||
#lang typed/racket
|
||||
|
||||
;; A typed wrapper for mrlib/bitmap-label
|
||||
|
||||
(require typed/racket/draw)
|
||||
|
||||
(require/typed/provide
|
||||
mrlib/bitmap-label
|
||||
[make-bitmap-label
|
||||
(->* [String (U (Instance Bitmap%) Path-String)]
|
||||
[(Instance Font%)]
|
||||
(Instance Bitmap%))]
|
||||
[bitmap-label-maker
|
||||
(-> String (U (Instance Bitmap%) Path-String)
|
||||
(-> Any (Instance Bitmap%)))])
|
19
typed-racket-more/typed/mrlib/gif.rkt
Normal file
19
typed-racket-more/typed/mrlib/gif.rkt
Normal file
|
@ -0,0 +1,19 @@
|
|||
#lang typed/racket
|
||||
|
||||
;; A typed wrapper for mrlib/gif
|
||||
|
||||
(require typed/racket/draw)
|
||||
|
||||
(require/typed/provide
|
||||
mrlib/gif
|
||||
[write-gif (-> (U (Instance Bitmap%)
|
||||
(-> (Instance Bitmap%)))
|
||||
Path-String
|
||||
Void)]
|
||||
[write-animated-gif (-> (Listof (U (Instance Bitmap%)
|
||||
(-> (Instance Bitmap%))))
|
||||
Natural Path-String
|
||||
[#:loop? Any]
|
||||
[#:one-at-a-time? Any]
|
||||
[#:last-frame-delay (Option Natural)]
|
||||
Void)])
|
Loading…
Reference in New Issue
Block a user