syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

map list op

This commit is contained in:
Sam Caldwell 2019-05-24 12:30:26 -04:00
parent 98a779bdc1
commit 807e6bb8f7
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
racket/typed/list.rkt
View File

@ -10,7 +10,8 @@
[[member?- (∀ (X) (→fn X (List X) Bool))] member?]
[[empty?- (∀ (X) (→fn (List X) Bool))] empty?]
[[reverse- (∀ (X) (→fn (List X) (List X)))] reverse]
[[partition- (∀ (X) (→fn (List X) (→fn X Bool) (List X)))] partition]))
[[partition- (∀ (X) (→fn (List X) (→fn X Bool) (List X)))] partition]
[[map- (∀ (X Y) (→fn (→fn X Y) (List X) (List Y)))] map]))
(require "core-types.rkt")
(require (only-in "prim.rkt" Bool))