suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add assf and findf, and also add foldl at binary functions.

Browse Source 
svn: r9982
This commit is contained in:
Stevie Strickland 2008-05-27 18:33:52 +00:00
parent 7ae0f500ae
commit 1db5280102
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/typed-scheme/private/base-env.ss
View File

@ -131,8 +131,10 @@
(-poly (a b c) (-poly (a b c)
(cl-> [((-> a b) (-lst a)) -Void] (cl-> [((-> a b) (-lst a)) -Void]
[((-> a b c) (-lst a) (-lst b)) -Void]))] [((-> a b c) (-lst a) (-lst b)) -Void]))]
[foldl (-poly (a b) [foldl
((a b . -> . b) b (make-lst a) . -> . b))] (-poly (a b c)
(cl-> [((a b . -> . b) b (make-lst a)) b]
[((a b c . -> . c) c (make-lst a) (make-lst b)) c]))]
[filter (-poly (a) ((a . -> . B) (-lst a) . -> . (-lst a)))] [filter (-poly (a) ((a . -> . B) (-lst a) . -> . (-lst a)))]
[take (-poly (a) ((-lst a) -Integer . -> . (-lst a)))] [take (-poly (a) ((-lst a) -Integer . -> . (-lst a)))]
[drop (-poly (a) ((-lst a) -Integer . -> . (-lst a)))] [drop (-poly (a) ((-lst a) -Integer . -> . (-lst a)))]
@ -195,6 +197,7 @@
[memf (-poly (a) ((a . -> . B) (-lst a) . -> . (-opt (-lst a))))] [memf (-poly (a) ((a . -> . B) (-lst a) . -> . (-opt (-lst a))))]
[member [member
(-poly (a) (a (-lst a) . -> . (-opt (-lst a))))] (-poly (a) (a (-lst a) . -> . (-opt (-lst a))))]
[findf (-poly (a) ((a . -> . B) (-lst a) . -> . (-opt a)))]
[string<? (->* (list -String -String) -String B)] [string<? (->* (list -String -String) -String B)]
[string>? (->* (list -String -String) -String B)] [string>? (->* (list -String -String) -String B)]
@ -246,6 +249,8 @@
[() N])] [() N])]
[assoc (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))] [assoc (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))]
[assf (-poly (a b)
((a . -> . B) (-lst (-pair a b)) . -> . (-opt (-pair a b))))]
[list-ref (-poly (a) ((-lst a) -Integer . -> . a))] [list-ref (-poly (a) ((-lst a) -Integer . -> . a))]
[positive? (-> N B)] [positive? (-> N B)]