From 1711ab96baef3272c75a1b4c3aaa4e57dd6125a2 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Tue, 27 Mar 2012 10:19:33 -0400 Subject: [PATCH] added vector->list --- collects/lang/private/advanced-funs.rkt | 22 ++++++++-------------- 1 file changed, 8 insertions(+), 14 deletions(-) diff --git a/collects/lang/private/advanced-funs.rkt b/collects/lang/private/advanced-funs.rkt index a64e3157c0..49c76c5c51 100644 --- a/collects/lang/private/advanced-funs.rkt +++ b/collects/lang/private/advanced-funs.rkt @@ -83,20 +83,14 @@ (set-posn-y! (posn number -> void) "Updates the x component of a posn.")) ("Vectors" - (vector (X ... -> (vector X ...)) - "Constructs a vector.") - (make-vector (number X -> (vectorof X)) - "Constructs a vector.") - (build-vector (nat (nat -> X) -> (vectorof X)) - "Constructs a vector.") - (vector-ref ((vector X) nat -> X) - "Extracts an element from a vector.") - (vector-length ((vector X) -> nat) - "Determines the length of a vector.") - (vector-set! ((vectorof X) nat X -> void) - "Updates a vector.") - (vector? (any -> boolean) - "Determines if a value is a vector.")) + (vector (X ... -> (vector X ...)) "Constructs a vector.") + (make-vector (number X -> (vectorof X)) "Constructs a vector.") + (build-vector (nat (nat -> X) -> (vectorof X)) "Constructs a vector.") + (vector-ref ((vector X) nat -> X) "Extracts an element from a vector.") + (vector-length ((vector X) -> nat) "Determines the length of a vector.") + (vector-set! ((vectorof X) nat X -> void) "Updates a vector.") + (vector->list ((vectorof X) -> (listof X)) "creates a list of values from the vector of values.") + (vector? (any -> boolean) "Determines if a value is a vector.")) ("Boxes" (box (any -> box)