2014-02-01 08:45:59 -05:00
|
|
|
(define-library (srfi 1)
|
|
|
|
(import (scheme base))
|
|
|
|
|
|
|
|
;; # Constructors
|
|
|
|
;; cons list
|
|
|
|
;; xcons cons* make-list list-tabulate
|
|
|
|
;; list-copy circular-list iota
|
2014-02-01 09:20:13 -05:00
|
|
|
(define (xcons a b)
|
|
|
|
(cons b a))
|
|
|
|
|
|
|
|
(export cons list xcons)
|
2014-02-01 08:45:59 -05:00
|
|
|
|
|
|
|
;; # Predicates
|
|
|
|
;; pair? null?
|
|
|
|
;; proper-list? cirtular-list? dotted-list?
|
|
|
|
;; not-pair? null-list?
|
|
|
|
;; list=
|
2014-02-01 09:20:13 -05:00
|
|
|
(define (not-pair? x)
|
|
|
|
(not (pair? x)))
|
|
|
|
|
|
|
|
(export pair? null? not-pair?)
|
2014-02-01 08:45:59 -05:00
|
|
|
|
|
|
|
;; # Selectors
|
|
|
|
;; car cdr ... cddadr cddddr list-ref
|
|
|
|
;; first second third fourth fifth sixth seventh eighth ninth tenth
|
|
|
|
;; car+cdr
|
|
|
|
;; take drop
|
|
|
|
;; take-right drop-right
|
|
|
|
;; take! drop-right!
|
|
|
|
;; split-at split-at!
|
|
|
|
;; last last-pair
|
2014-02-01 09:20:13 -05:00
|
|
|
(define (car+cdr pair)
|
|
|
|
(values (car pair) (cdr pair)))
|
|
|
|
|
|
|
|
(define (take x i)
|
|
|
|
(if (zero? i)
|
|
|
|
'()
|
|
|
|
(cons (car x)
|
|
|
|
(take (cdr x) (- i 1)))))
|
|
|
|
|
|
|
|
(define (drop x i)
|
|
|
|
(if (zero? i)
|
|
|
|
x
|
|
|
|
(drop (cdr x) (- i 1))))
|
|
|
|
|
|
|
|
(define (split-at x i)
|
|
|
|
(values (take x i) (drop x i)))
|
|
|
|
|
|
|
|
(export car cdr car+cdr
|
|
|
|
take drop)
|
2014-02-01 08:45:59 -05:00
|
|
|
|
|
|
|
;; # Miscellaneous
|
|
|
|
;; length length+
|
|
|
|
;; append concatenate reverse
|
|
|
|
;; append! concatenate! reverse!
|
|
|
|
;; append-reverse append-reverse!
|
|
|
|
;; zip unzip1 unzip2 unzip3 unzip4 unzip5
|
|
|
|
;; count
|
2014-02-01 09:20:13 -05:00
|
|
|
(define (concatenate lists)
|
|
|
|
(apply append lists))
|
|
|
|
|
|
|
|
(define (zip . lists)
|
|
|
|
(apply map list lists))
|
|
|
|
|
|
|
|
(export length append concatenate reverse zip)
|
2014-02-01 08:45:59 -05:00
|
|
|
|
|
|
|
;; # Fold, unfold & map
|
|
|
|
;; map for-each
|
|
|
|
;; fold unfold pair-fold reduce
|
|
|
|
;; fold-right unfold-right pair-fold right reduce-right
|
|
|
|
;; append-map append-map!
|
|
|
|
;; map! pair-for-each filter-map map-in-order
|
2014-02-01 09:20:13 -05:00
|
|
|
(export map for-each)
|
2014-02-01 08:45:59 -05:00
|
|
|
|
|
|
|
;; # Filtering & partitioning
|
|
|
|
;; filter partition remove
|
|
|
|
;; filter! partition! remove!
|
2014-02-01 09:20:13 -05:00
|
|
|
(define (filter pred list)
|
|
|
|
(if (null? list)
|
|
|
|
'()
|
|
|
|
(if (pred (car list))
|
|
|
|
(cons (car list)
|
|
|
|
(filter pred (cdr list)))
|
|
|
|
(filter pred (cdr list)))))
|
|
|
|
|
|
|
|
(define (partition pred list)
|
|
|
|
(values (filter pred list)
|
|
|
|
(filter (lambda (x) (not (pred x))) list)))
|
|
|
|
|
|
|
|
(define (remove pred list)
|
|
|
|
(filter (lambda (x) (not (pred x))) list))
|
|
|
|
|
|
|
|
(export filter partition remove)
|
2014-02-01 08:45:59 -05:00
|
|
|
|
|
|
|
;; # Searching
|
|
|
|
;; member memq memv
|
|
|
|
;; find find-tail
|
|
|
|
;; any every
|
|
|
|
;; list-index
|
|
|
|
;; take-while drop-while take-while!
|
|
|
|
;; span break span! break!
|
2014-02-01 09:20:13 -05:00
|
|
|
(define (find-tail pred list)
|
|
|
|
(if (null? list)
|
|
|
|
#f
|
|
|
|
(if (pred (car list))
|
|
|
|
list
|
|
|
|
(find-tail pred (cdr list)))))
|
|
|
|
|
|
|
|
(define (find pred list)
|
|
|
|
(let ((tail (find-tail pred list)))
|
|
|
|
(if tail
|
|
|
|
(car tail)
|
|
|
|
#f)))
|
|
|
|
|
|
|
|
(export member memq memv find-tail find)
|
2014-02-01 08:45:59 -05:00
|
|
|
|
|
|
|
;; # Deleting
|
|
|
|
;; delete delete-duplicates
|
|
|
|
;; delete! delete-duplicates!
|
|
|
|
|
|
|
|
;; # Association lists
|
|
|
|
;; assoc assq assv
|
|
|
|
;; alist-cons alist-copy
|
|
|
|
;; alist-delete alist-delete!
|
2014-02-01 09:20:13 -05:00
|
|
|
(export assoc assq assv)
|
2014-02-01 08:45:59 -05:00
|
|
|
|
|
|
|
;; # Set operations on lists
|
|
|
|
;; lset<= lset= lset-adjoin
|
|
|
|
;; lset-union lset-union!
|
|
|
|
;; lset-intersection lset-intersection!
|
|
|
|
;; lset-difference lset-difference!
|
|
|
|
;; lset-xor lset-xor!
|
|
|
|
;; lset-diff+intersenction lset-diff+intersection!
|
|
|
|
|
|
|
|
;; # Primitive side-effects
|
|
|
|
;; set-car! set-cdr!
|
2014-02-01 09:20:13 -05:00
|
|
|
(export set-car! set-cdr!))
|