From 807e6bb8f7466c997c527ff2d06711efbad45894 Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Fri, 24 May 2019 12:30:26 -0400 Subject: [PATCH] map list op --- racket/typed/list.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/racket/typed/list.rkt b/racket/typed/list.rkt index 14b4bec..67dfd43 100644 --- a/racket/typed/list.rkt +++ b/racket/typed/list.rkt @@ -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))