From 419307edd1963b5b560a046faee8bf4a072f444b Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 3 May 2010 18:13:12 -0400 Subject: [PATCH] add some vector functions original commit: 105a560698dfa979ab592ceb3c443e9425f2c956 --- collects/typed-scheme/private/base-env.rkt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index 84049dbd..164e83b0 100644 --- a/collects/typed-scheme/private/base-env.rkt +++ b/collects/typed-scheme/private/base-env.rkt @@ -367,6 +367,11 @@ [vector-immutable (-poly (a) (->* (list) a (-vec a)))] [vector->immutable-vector (-poly (a) (-> (-vec a) (-vec a)))] [vector-fill! (-poly (a) (-> (-vec a) a -Void))] +[vector-argmax (-poly (a) (-> (-> a -Real) (-vec a) a))] +[vector-argmin (-poly (a) (-> (-> a -Real) (-vec a) a))] +[vector-memq (-poly (a) (-> a (-vec a) (-opt -Nat)))] +[vector-memv (-poly (a) (-> a (-vec a) (-opt -Nat)))] +[vector-member (-poly (a) (a (-vec a) . -> . (-opt -Nat)))] ;; [vector->values no good type here]