Artifact
c51c2bcf0d6f416bdac4ac9e71878257c0c9d400:
- File
srfi/s43/_vectors.sls
— part of check-in
[80c8c83034]
at
2016-07-07 18:11:39
on branch trunk
— initial import
(user:
ovenpasta@pizzahack.eu
size: 2514)
- File
srfi/s43/vectors.sls
— part of check-in
[80c8c83034]
at
2016-07-07 18:11:39
on branch trunk
— initial import
(user:
ovenpasta@pizzahack.eu
size: 2514)
0000: 3b 3b 20 43 6f 70 79 72 69 67 68 74 20 28 63 29 ;; Copyright (c)
0010: 20 32 30 30 39 20 44 65 72 69 63 6b 20 45 64 64 2009 Derick Edd
0020: 69 6e 67 74 6f 6e 2e 20 20 41 6c 6c 20 72 69 67 ington. All rig
0030: 68 74 73 20 72 65 73 65 72 76 65 64 2e 0a 3b 3b hts reserved..;;
0040: 20 4c 69 63 65 6e 73 65 64 20 75 6e 64 65 72 20 Licensed under
0050: 61 6e 20 4d 49 54 2d 73 74 79 6c 65 20 6c 69 63 an MIT-style lic
0060: 65 6e 73 65 2e 20 20 4d 79 20 6c 69 63 65 6e 73 ense. My licens
0070: 65 20 69 73 20 69 6e 20 74 68 65 20 66 69 6c 65 e is in the file
0080: 0a 3b 3b 20 6e 61 6d 65 64 20 4c 49 43 45 4e 53 .;; named LICENS
0090: 45 20 66 72 6f 6d 20 74 68 65 20 6f 72 69 67 69 E from the origi
00a0: 6e 61 6c 20 63 6f 6c 6c 65 63 74 69 6f 6e 20 74 nal collection t
00b0: 68 69 73 20 66 69 6c 65 20 69 73 20 64 69 73 74 his file is dist
00c0: 72 69 62 75 74 65 64 0a 3b 3b 20 77 69 74 68 2e ributed.;; with.
00d0: 20 20 49 66 20 74 68 69 73 20 66 69 6c 65 20 69 If this file i
00e0: 73 20 72 65 64 69 73 74 72 69 62 75 74 65 64 20 s redistributed
00f0: 77 69 74 68 20 73 6f 6d 65 20 6f 74 68 65 72 20 with some other
0100: 63 6f 6c 6c 65 63 74 69 6f 6e 2c 20 6d 79 0a 3b collection, my.;
0110: 3b 20 6c 69 63 65 6e 73 65 20 6d 75 73 74 20 61 ; license must a
0120: 6c 73 6f 20 62 65 20 69 6e 63 6c 75 64 65 64 2e lso be included.
0130: 0a 0a 23 21 72 36 72 73 0a 28 6c 69 62 72 61 72 ..#!r6rs.(librar
0140: 79 20 28 73 72 66 69 20 73 34 33 20 76 65 63 74 y (srfi s43 vect
0150: 6f 72 73 29 0a 20 20 28 65 78 70 6f 72 74 0a 20 ors). (export.
0160: 20 20 20 3b 3b 3b 20 2a 20 43 6f 6e 73 74 72 75 ;;; * Constru
0170: 63 74 6f 72 73 0a 20 20 20 20 6d 61 6b 65 2d 76 ctors. make-v
0180: 65 63 74 6f 72 20 76 65 63 74 6f 72 0a 20 20 20 ector vector.
0190: 20 76 65 63 74 6f 72 2d 75 6e 66 6f 6c 64 20 20 vector-unfold
01a0: 20 20 20 20 20 20 20 76 65 63 74 6f 72 2d 75 6e vector-un
01b0: 66 6f 6c 64 2d 72 69 67 68 74 0a 20 20 20 20 76 fold-right. v
01c0: 65 63 74 6f 72 2d 63 6f 70 79 20 20 20 20 20 20 ector-copy
01d0: 20 20 20 20 20 76 65 63 74 6f 72 2d 72 65 76 65 vector-reve
01e0: 72 73 65 2d 63 6f 70 79 0a 20 20 20 20 76 65 63 rse-copy. vec
01f0: 74 6f 72 2d 61 70 70 65 6e 64 20 20 20 20 20 20 tor-append
0200: 20 20 20 76 65 63 74 6f 72 2d 63 6f 6e 63 61 74 vector-concat
0210: 65 6e 61 74 65 0a 20 20 20 20 3b 3b 3b 20 2a 20 enate. ;;; *
0220: 50 72 65 64 69 63 61 74 65 73 0a 20 20 20 20 76 Predicates. v
0230: 65 63 74 6f 72 3f 0a 20 20 20 20 76 65 63 74 6f ector?. vecto
0240: 72 2d 65 6d 70 74 79 3f 0a 20 20 20 20 76 65 63 r-empty?. vec
0250: 74 6f 72 3d 0a 20 20 20 20 3b 3b 3b 20 2a 20 53 tor=. ;;; * S
0260: 65 6c 65 63 74 6f 72 73 0a 20 20 20 20 76 65 63 electors. vec
0270: 74 6f 72 2d 72 65 66 0a 20 20 20 20 76 65 63 74 tor-ref. vect
0280: 6f 72 2d 6c 65 6e 67 74 68 0a 20 20 20 20 3b 3b or-length. ;;
0290: 3b 20 2a 20 49 74 65 72 61 74 69 6f 6e 0a 20 20 ; * Iteration.
02a0: 20 20 76 65 63 74 6f 72 2d 66 6f 6c 64 20 20 20 vector-fold
02b0: 20 20 20 20 20 20 20 20 76 65 63 74 6f 72 2d 66 vector-f
02c0: 6f 6c 64 2d 72 69 67 68 74 0a 20 20 20 20 76 65 old-right. ve
02d0: 63 74 6f 72 2d 6d 61 70 20 20 20 20 20 20 20 20 ctor-map
02e0: 20 20 20 20 76 65 63 74 6f 72 2d 6d 61 70 21 0a vector-map!.
02f0: 20 20 20 20 76 65 63 74 6f 72 2d 66 6f 72 2d 65 vector-for-e
0300: 61 63 68 0a 20 20 20 20 76 65 63 74 6f 72 2d 63 ach. vector-c
0310: 6f 75 6e 74 0a 20 20 20 20 3b 3b 3b 20 2a 20 53 ount. ;;; * S
0320: 65 61 72 63 68 69 6e 67 0a 20 20 20 20 76 65 63 earching. vec
0330: 74 6f 72 2d 69 6e 64 65 78 20 20 20 20 20 20 20 tor-index
0340: 20 20 20 76 65 63 74 6f 72 2d 73 6b 69 70 0a 20 vector-skip.
0350: 20 20 20 76 65 63 74 6f 72 2d 69 6e 64 65 78 2d vector-index-
0360: 72 69 67 68 74 20 20 20 20 76 65 63 74 6f 72 2d right vector-
0370: 73 6b 69 70 2d 72 69 67 68 74 0a 20 20 20 20 76 skip-right. v
0380: 65 63 74 6f 72 2d 62 69 6e 61 72 79 2d 73 65 61 ector-binary-sea
0390: 72 63 68 20 20 76 65 63 74 6f 72 2d 61 6e 79 20 rch vector-any
03a0: 20 20 20 76 65 63 74 6f 72 2d 65 76 65 72 79 0a vector-every.
03b0: 20 20 20 20 3b 3b 3b 20 2a 20 4d 75 74 61 74 6f ;;; * Mutato
03c0: 72 73 0a 20 20 20 20 76 65 63 74 6f 72 2d 73 65 rs. vector-se
03d0: 74 21 0a 20 20 20 20 76 65 63 74 6f 72 2d 73 77 t!. vector-sw
03e0: 61 70 21 0a 20 20 20 20 28 72 65 6e 61 6d 65 20 ap!. (rename
03f0: 28 6d 79 3a 76 65 63 74 6f 72 2d 66 69 6c 6c 21 (my:vector-fill!
0400: 20 76 65 63 74 6f 72 2d 66 69 6c 6c 21 29 29 0a vector-fill!)).
0410: 20 20 20 20 76 65 63 74 6f 72 2d 72 65 76 65 72 vector-rever
0420: 73 65 21 0a 20 20 20 20 76 65 63 74 6f 72 2d 63 se!. vector-c
0430: 6f 70 79 21 20 20 20 20 20 20 20 20 20 20 76 65 opy! ve
0440: 63 74 6f 72 2d 72 65 76 65 72 73 65 2d 63 6f 70 ctor-reverse-cop
0450: 79 21 0a 20 20 20 20 3b 3b 3b 20 2a 20 43 6f 6e y!. ;;; * Con
0460: 76 65 72 73 69 6f 6e 0a 20 20 20 20 28 72 65 6e version. (ren
0470: 61 6d 65 20 28 6d 79 3a 76 65 63 74 6f 72 2d 3e ame (my:vector->
0480: 6c 69 73 74 20 76 65 63 74 6f 72 2d 3e 6c 69 73 list vector->lis
0490: 74 29 29 20 20 20 20 20 20 20 20 20 20 72 65 76 t)) rev
04a0: 65 72 73 65 2d 76 65 63 74 6f 72 2d 3e 6c 69 73 erse-vector->lis
04b0: 74 0a 20 20 20 20 28 72 65 6e 61 6d 65 20 28 6d t. (rename (m
04c0: 79 3a 6c 69 73 74 2d 3e 76 65 63 74 6f 72 20 6c y:list->vector l
04d0: 69 73 74 2d 3e 76 65 63 74 6f 72 29 29 20 20 20 ist->vector))
04e0: 20 20 20 20 20 20 20 72 65 76 65 72 73 65 2d 6c reverse-l
04f0: 69 73 74 2d 3e 76 65 63 74 6f 72 20 29 0a 20 20 ist->vector ).
0500: 28 69 6d 70 6f 72 74 0a 20 20 20 20 28 65 78 63 (import. (exc
0510: 65 70 74 20 28 72 6e 72 73 29 20 76 65 63 74 6f ept (rnrs) vecto
0520: 72 2d 6d 61 70 20 76 65 63 74 6f 72 2d 66 6f 72 r-map vector-for
0530: 2d 65 61 63 68 29 0a 20 20 20 20 28 72 6e 72 73 -each). (rnrs
0540: 20 72 35 72 73 29 0a 20 20 20 20 28 73 72 66 69 r5rs). (srfi
0550: 20 73 32 33 20 65 72 72 6f 72 20 74 72 69 63 6b s23 error trick
0560: 73 29 0a 20 20 20 20 28 73 72 66 69 20 73 38 20 s). (srfi s8
0570: 72 65 63 65 69 76 65 29 0a 20 20 20 20 28 66 6f receive). (fo
0580: 72 20 28 73 72 66 69 20 70 72 69 76 61 74 65 20 r (srfi private
0590: 76 61 6e 69 73 68 29 20 65 78 70 61 6e 64 29 0a vanish) expand).
05a0: 20 20 20 20 28 73 72 66 69 20 70 72 69 76 61 74 (srfi privat
05b0: 65 20 69 6e 63 6c 75 64 65 29 29 0a 0a 20 20 3b e include)).. ;
05c0: 3b 20 49 20 64 6f 20 74 68 65 73 65 20 6c 65 74 ; I do these let
05d0: 2d 73 79 6e 74 61 78 20 74 72 69 63 6b 73 20 73 -syntax tricks s
05e0: 6f 20 74 68 65 20 6f 72 69 67 69 6e 61 6c 20 76 o the original v
05f0: 65 63 74 6f 72 2d 6c 69 62 2e 73 63 6d 20 66 69 ector-lib.scm fi
0600: 6c 65 20 64 6f 65 73 0a 20 20 3b 3b 20 6e 6f 74 le does. ;; not
0610: 20 68 61 76 65 20 74 6f 20 62 65 20 6d 6f 64 69 have to be modi
0620: 66 69 65 64 20 61 74 20 61 6c 6c 2e 0a 20 20 28 fied at all.. (
0630: 6c 65 74 2d 73 79 6e 74 61 78 0a 20 20 20 20 20 let-syntax.
0640: 20 28 28 64 65 66 69 6e 65 0a 20 20 20 20 20 20 ((define.
0650: 20 20 28 6c 65 74 20 28 28 76 64 20 28 76 61 6e (let ((vd (van
0660: 69 73 68 2d 64 65 66 69 6e 65 20 64 65 66 69 6e ish-define defin
0670: 65 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 e.
0680: 20 20 20 20 20 28 6d 61 6b 65 2d 76 65 63 74 6f (make-vecto
0690: 72 20 76 65 63 74 6f 72 20 76 65 63 74 6f 72 3f r vector vector?
06a0: 20 76 65 63 74 6f 72 2d 72 65 66 20 76 65 63 74 vector-ref vect
06b0: 6f 72 2d 73 65 74 21 20 76 65 63 74 6f 72 2d 6c or-set! vector-l
06c0: 65 6e 67 74 68 29 29 29 29 0a 20 20 20 20 20 20 ength)))).
06d0: 20 20 20 20 28 6c 61 6d 62 64 61 20 28 73 74 78 (lambda (stx
06e0: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 28 64 ). (d
06f0: 65 66 69 6e 65 20 28 72 65 6e 61 6d 65 3f 20 69 efine (rename? i
0700: 64 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 d).
0710: 20 28 6d 65 6d 70 20 28 6c 61 6d 62 64 61 20 28 (memp (lambda (
0720: 78 29 20 28 66 72 65 65 2d 69 64 65 6e 74 69 66 x) (free-identif
0730: 69 65 72 3d 3f 20 69 64 20 78 29 29 0a 20 20 20 ier=? id x)).
0740: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0750: 20 28 6c 69 73 74 20 23 27 76 65 63 74 6f 72 2d (list #'vector-
0760: 66 69 6c 6c 21 20 23 27 76 65 63 74 6f 72 2d 3e fill! #'vector->
0770: 6c 69 73 74 20 23 27 6c 69 73 74 2d 3e 76 65 63 list #'list->vec
0780: 74 6f 72 29 29 29 0a 20 20 20 20 20 20 20 20 20 tor))).
0790: 20 20 20 28 64 65 66 69 6e 65 20 28 72 65 6e 61 (define (rena
07a0: 6d 65 20 69 64 29 0a 20 20 20 20 20 20 20 20 20 me id).
07b0: 20 20 20 20 20 28 64 61 74 75 6d 2d 3e 73 79 6e (datum->syn
07c0: 74 61 78 20 69 64 0a 20 20 20 20 20 20 20 20 20 tax id.
07d0: 20 20 20 20 20 20 28 73 74 72 69 6e 67 2d 3e 73 (string->s
07e0: 79 6d 62 6f 6c 0a 20 20 20 20 20 20 20 20 20 20 ymbol.
07f0: 20 20 20 20 20 20 28 73 74 72 69 6e 67 2d 61 70 (string-ap
0800: 70 65 6e 64 20 22 6d 79 3a 22 20 28 73 79 6d 62 pend "my:" (symb
0810: 6f 6c 2d 3e 73 74 72 69 6e 67 20 28 73 79 6e 74 ol->string (synt
0820: 61 78 2d 3e 64 61 74 75 6d 20 69 64 29 29 29 29 ax->datum id))))
0830: 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 28 )). (
0840: 73 79 6e 74 61 78 2d 63 61 73 65 20 73 74 78 20 syntax-case stx
0850: 28 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 ().
0860: 20 28 28 5f 20 6e 61 6d 65 20 2e 20 72 29 0a 20 ((_ name . r).
0870: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 61 (a
0880: 6e 64 20 28 69 64 65 6e 74 69 66 69 65 72 3f 20 nd (identifier?
0890: 23 27 6e 61 6d 65 29 0a 20 20 20 20 20 20 20 20 #'name).
08a0: 20 20 20 20 20 20 20 20 20 20 20 20 28 72 65 6e (ren
08b0: 61 6d 65 3f 20 23 27 6e 61 6d 65 29 29 0a 20 20 ame? #'name)).
08c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 23 60 28 #`(
08d0: 64 65 66 69 6e 65 20 23 2c 28 72 65 6e 61 6d 65 define #,(rename
08e0: 20 23 27 6e 61 6d 65 29 20 2e 20 72 29 29 0a 20 #'name) . r)).
08f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 5f 20 (_
0900: 28 76 64 20 73 74 78 29 29 29 29 29 29 0a 20 20 (vd stx)))))).
0910: 20 20 20 20 20 28 64 65 66 69 6e 65 2d 73 79 6e (define-syn
0920: 74 61 78 0a 20 20 20 20 20 20 20 20 28 76 61 6e tax. (van
0930: 69 73 68 2d 64 65 66 69 6e 65 20 64 65 66 69 6e ish-define defin
0940: 65 2d 73 79 6e 74 61 78 0a 20 20 20 20 20 20 20 e-syntax.
0950: 20 20 28 72 65 63 65 69 76 65 29 29 29 29 0a 20 (receive)))).
0960: 20 20 20 28 53 52 46 49 2d 32 33 2d 65 72 72 6f (SRFI-23-erro
0970: 72 2d 3e 52 36 52 53 20 22 28 6c 69 62 72 61 72 r->R6RS "(librar
0980: 79 20 28 73 72 66 69 20 73 34 33 20 76 65 63 74 y (srfi s43 vect
0990: 6f 72 73 29 29 22 0a 20 20 20 20 20 28 69 6e 63 ors))". (inc
09a0: 6c 75 64 65 2f 72 65 73 6f 6c 76 65 20 28 22 73 lude/resolve ("s
09b0: 72 66 69 22 20 22 73 34 33 22 29 20 22 76 65 63 rfi" "s43") "vec
09c0: 74 6f 72 2d 6c 69 62 2e 73 63 6d 22 29 29 29 0a tor-lib.scm"))).
09d0: 29 0a ).