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

Adding foldr.

Browse Source 
svn: r10048

original commit: f39d4e33ede9b93895b885b19de7f82e6c093eaf
This commit is contained in:
Stevie Strickland 2008-05-30 16:20:33 +00:00
parent 3d2150a697
commit 620af310fc
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -136,6 +136,7 @@
(-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]))]
[foldr (-poly (a b c) ((a b . -> . b) b (-lst a) . -> . b))]
[filter (-poly (a) ((a . -> . B) (-lst a) . -> . (-lst a)))]
[take (-poly (a) ((-lst a) -Integer . -> . (-lst a)))]
[drop (-poly (a) ((-lst a) -Integer . -> . (-lst a)))]