diff --git a/typed-racket-more/typed/mrlib/bitmap-label.rkt b/typed-racket-more/typed/mrlib/bitmap-label.rkt new file mode 100644 index 00000000..09312e53 --- /dev/null +++ b/typed-racket-more/typed/mrlib/bitmap-label.rkt @@ -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%)))]) diff --git a/typed-racket-more/typed/mrlib/gif.rkt b/typed-racket-more/typed/mrlib/gif.rkt new file mode 100644 index 00000000..5d7da2e6 --- /dev/null +++ b/typed-racket-more/typed/mrlib/gif.rkt @@ -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)])