Changeset 14629 in project for chicken


Ignore:
Timestamp:
05/14/09 12:44:33 (11 years ago)
Author:
felix winkelmann
Message:

srfi-1 types

File:
1 edited

Legend:

Unmodified
Added
Removed
  • chicken/branches/scrutiny/types.db

    r14628 r14629  
    919919(find-tail (procedure find-tail ((procedure (*) *) list) *))
    920920(first (procedure first (pair) *))
     921(fold (procedure fold ((procedure (* *) *) * list) *))
     922(fold-right (procedure fold-right ((procedure (* *) *) list) *))
     923(fourth (procedure fourth (pair) *))
     924(iota (procedure iota (fixnum #!optional fixnum fixnum) list))
     925(last (procedure last (pair) *))
     926(last-pair (procedure last-pair (pair) *))
     927(length+ (procedure length+ (list) *))
     928(list-copy (procedure list-copy (list) list))
     929(list-index (procedure list-index ((procedure (* #!rest) *) list #!rest list) fixnum))
     930(list-tabulate (procedure list-tabulate (fixnum (procedure (fixnum) *)) list))
     931(list= (procedure list= (#!rest list) boolean))
     932(lset-adjoin (procedure lset-adjoin ((procedure (* *) *) * list) list))
     933(lset-diff+intersection (procedure lset-diff+intersection ((procedure (* *) *) list #!rest list) list))
     934(lset-diff+intersection! (procedure lset-diff+intersection! ((procedure (* *) *) list #!rest list) list))
     935(lset-difference (procedure lset-difference ((procedure (* *) *) list #!rest list) list))
     936(lset-difference! (procedure lset-difference! ((procedure (* *) *) list #!rest list) list))
     937(lset-intersection (procedure lset-intersection ((procedure (* *) *) list #!rest list) list))
     938(lset-intersection! (procedure lset-intersection! ((procedure (* *) *) list #!rest list) list))
     939(lset-union (procedure lset-union ((procedure (* *) *) list #!rest list) list))
     940(lset-union! (procedure lset-union! ((procedure (* *) *) list #!rest list) list))
     941(lset-xor (procedure lset-xor ((procedure (* *) *) list #!rest list) list))
     942(lset-xor! (procedure lset-xor! ((procedure (* *) *) list #!rest list) list))
     943(lset<= (procedure lset<= ((procedure (* *) *) list #!rest list) list))
     944(lset= (procedure lset= ((procedure (* *) *) list #!rest list) list))
     945(make-list (procedure make-list (fixnum #!optional *) list))
     946(map! (procedure map! ((procedure (*) *) list #!rest list) list))
     947(map-in-order (procedure map-in-order ((procedure (*) *) list #!rest list) list))
     948(ninth (procedure ninth (pair) *))
     949(not-pair? (procedure not-pair? (*) boolean))
     950(null-list? (procedure null-list? (list) boolean))
     951(pair-fold (procedure pair-fold (procedure * list #!rest list) *))
     952(pair-fold-right (procedure pair-fold-right (procedure * list #!rest list) *))
     953(pair-for-each (procedure pair-for-each ((procedure (list) . *) list #!rest list) undefined))
     954(partition (procedure partition ((procedure (*) *) list) list list))
     955(partition! (procedure partition! ((procedure (*) *) list) list list))
     956(proper-list? (procedure proper-list? (*) boolean))
     957(reduce (procedure reduce ((procedure (* *) *) * list) *))
     958(reduce-right (procedure reduce-right ((procedure (* *) *) * list) *))
     959(remove (procedure remove ((procedure (*) *) list) list))
     960(remove! (procedure remove! ((procedure (*) *) list) list))
     961(reverse! (procedure reverse! (list) list))
     962(second (procedure second (pair) *))
     963(seventh (procedure seventh (pair) *))
     964(sixth (procedure sixth (pair) *))
     965(span (procedure span ((pocedure (*) *) list) list list))
     966(span! (procedure span! ((procedure (*) *) list) list list))
     967(split-at (procedure split-at (list fixnum) list list))
     968(split-at! (procedure split-at! (list fixnum) list list))
     969(take (procedure take (list fixnum) list))
     970(take! (procedure take! (list fixnum) list))
     971(take-right (procedure take-right (list fixnum) list))
     972(take-while (procedure take-while ((procedure (*) *) list) list))
     973(take-while! (procedure take-while! ((procedure (*) *) list) list))
     974(tenth (procedure tenth (pair) *))
     975(third (procedure third (pair) *))
     976(unfold (procedure unfold ((procedure (*) *) (procedure (*) *) (procedure (*) *) * #!optional (procedure (*) *)) *))
     977(unfold-right (procedure unfold-right ((procedure (*) *) (procedure (*) *) (procedure (*) *) * #!optional (procedure (*) *)) *))
     978(unzip1 (procedure unzip1 (list) list))
     979(unzip2 (procedure unzip2 (list) list list))
     980(unzip3 (procedure unzip3 (list) list list list))
     981(unzip4 (procedure unzip4 (list) list list list list))
     982(unzip5 (procedure unzip5 (list) list list list list list))
     983(xcons (procedure xcons (* *) pair))
     984(zip (procedure zip (list #!rest list) list))
     985
     986;; srfi-13
    921987
    922988#!eof
    923 
    924 (fold (procedure fold () *))
    925 (fold-right (procedure fold-right () *))
    926 (fourth (procedure fourth () *))
    927 (iota (procedure iota () *))
    928 (last (procedure last () *))
    929 (last-pair (procedure last-pair () *))
    930 (length+ (procedure length+ () *))
    931 (list-copy (procedure list-copy () *))
    932 (list-index (procedure list-index () *))
    933 (list-tabulate (procedure list-tabulate () *))
    934 (list= (procedure list= () *))
    935 (lset-adjoin (procedure lset-adjoin () *))
    936 (lset-diff+intersection (procedure lset-diff+intersection () *))
    937 (lset-diff+intersection! (procedure lset-diff+intersection! () *))
    938 (lset-difference (procedure lset-difference () *))
    939 (lset-difference! (procedure lset-difference! () *))
    940 (lset-intersection (procedure lset-intersection () *))
    941 (lset-intersection! (procedure lset-intersection! () *))
    942 (lset-union (procedure lset-union () *))
    943 (lset-union! (procedure lset-union! () *))
    944 (lset-xor (procedure lset-xor () *))
    945 (lset-xor! (procedure lset-xor! () *))
    946 (lset<= (procedure lset<= () *))
    947 (lset= (procedure lset= () *))
    948 (make-list (procedure make-list () *))
    949 (map (procedure map () *))
    950 (map! (procedure map! () *))
    951 (map-in-order (procedure map-in-order () *))
    952 (member (procedure member () *))
    953 (ninth (procedure ninth () *))
    954 (not-pair? (procedure not-pair? () *))
    955 (null-list? (procedure null-list? () *))
    956 (pair-fold (procedure pair-fold () *))
    957 (pair-fold-right (procedure pair-fold-right () *))
    958 (pair-for-each (procedure pair-for-each () *))
    959 (partition (procedure partition () *))
    960 (partition! (procedure partition! () *))
    961 (proper-list? (procedure proper-list? () *))
    962 (reduce (procedure reduce () *))
    963 (reduce-right (procedure reduce-right () *))
    964 (remove (procedure remove () *))
    965 (remove! (procedure remove! () *))
    966 (reverse! (procedure reverse! () *))
    967 (second (procedure second () *))
    968 (seventh (procedure seventh () *))
    969 (sixth (procedure sixth () *))
    970 (span (procedure span () *))
    971 (span! (procedure span! () *))
    972 (split-at (procedure split-at () *))
    973 (split-at! (procedure split-at! () *))
    974 (take (procedure take () *))
    975 (take! (procedure take! () *))
    976 (take-right (procedure take-right () *))
    977 (take-while (procedure take-while () *))
    978 (take-while! (procedure take-while! () *))
    979 (tenth (procedure tenth () *))
    980 (third (procedure third () *))
    981 (unfold (procedure unfold () *))
    982 (unfold-right (procedure unfold-right () *))
    983 (unzip1 (procedure unzip1 () *))
    984 (unzip2 (procedure unzip2 () *))
    985 (unzip3 (procedure unzip3 () *))
    986 (unzip4 (procedure unzip4 () *))
    987 (unzip5 (procedure unzip5 () *))
    988 (xcons (procedure xcons () *))
    989 (zip (procedure zip () *))
    990 
    991 ;; srfi-13
    992989
    993990(check-substring-spec (procedure check-substring-spec () *))
Note: See TracChangeset for help on using the changeset viewer.