source: trunk/j/src/org/armedbear/lisp/early-defuns.lisp @ 5299

Last change on this file since 5299 was 5299, checked in by piso, 17 years ago

REQUIRE-TYPE

File size: 2.8 KB
Line 
1;;; early-defuns.lisp
2;;;
3;;; Copyright (C) 2003 Peter Graves
4;;; $Id: early-defuns.lisp,v 1.4 2004-01-01 01:34:58 piso Exp $
5;;;
6;;; This program is free software; you can redistribute it and/or
7;;; modify it under the terms of the GNU General Public License
8;;; as published by the Free Software Foundation; either version 2
9;;; of the License, or (at your option) any later version.
10;;;
11;;; This program is distributed in the hope that it will be useful,
12;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
13;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14;;; GNU General Public License for more details.
15;;;
16;;; You should have received a copy of the GNU General Public License
17;;; along with this program; if not, write to the Free Software
18;;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
19
20(in-package "SYSTEM")
21
22(defun require-type (arg type)
23  (unless (typep arg type)
24    (error 'simple-type-error
25           :format-control "The value ~S is not of type ~A."
26           :format-initargs arg type)))
27
28(defun caaaar (list) (car (car (car (car list)))))
29(defun caaadr (list) (car (car (car (cdr list)))))
30(defun caaddr (list) (car (car (cdr (cdr list)))))
31(defun cadddr (list) (car (cdr (cdr (cdr list)))))
32(defun cddddr (list) (cdr (cdr (cdr (cdr list)))))
33(defun cdaaar (list) (cdr (car (car (car list)))))
34(defun cddaar (list) (cdr (cdr (car (car list)))))
35(defun cdddar (list) (cdr (cdr (cdr (car list)))))
36(defun caadar (list) (car (car (cdr (car list)))))
37(defun cadaar (list) (car (cdr (car (car list)))))
38(defun cadadr (list) (car (cdr (car (cdr list)))))
39(defun caddar (list) (car (cdr (cdr (car list)))))
40(defun cdaadr (list) (cdr (car (car (cdr list)))))
41(defun cdadar (list) (cdr (car (cdr (car list)))))
42(defun cdaddr (list) (cdr (car (cdr (cdr list)))))
43(defun cddadr (list) (cdr (cdr (car (cdr list)))))
44
45
46;;; SOME, EVERY, NOTANY, NOTEVERY (from ECL)
47
48(defun some (predicate sequence &rest more-sequences)
49  (setq more-sequences (cons sequence more-sequences))
50  (do ((i 0 (1+ i))
51       (l (apply #'min (mapcar #'length more-sequences))))
52    ((>= i l) nil)
53    (let ((that-value
54           (apply predicate
55                  (mapcar #'(lambda (z) (elt z i)) more-sequences))))
56      (when that-value (return that-value)))))
57
58(defun every (predicate sequence &rest more-sequences)
59  (setq more-sequences (cons sequence more-sequences))
60  (do ((i 0 (1+ i))
61       (l (apply #'min (mapcar #'length more-sequences))))
62    ((>= i l) t)
63    (unless (apply predicate (mapcar #'(lambda (z) (elt z i)) more-sequences))
64      (return nil))))
65
66(defun notany (predicate sequence &rest more-sequences)
67  (not (apply #'some predicate sequence more-sequences)))
68
69(defun notevery (predicate sequence &rest more-sequences)
70  (not (apply #'every predicate sequence more-sequences)))
71
Note: See TracBrowser for help on using the repository browser.