From 9dd11ef7db556c9f416d11751fc8a5499ed6a816 Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Fri, 17 May 2019 10:34:14 -0400 Subject: [PATCH] more list operations --- racket/typed/list.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/racket/typed/list.rkt b/racket/typed/list.rkt index 7071b4c..14b4bec 100644 --- a/racket/typed/list.rkt +++ b/racket/typed/list.rkt @@ -5,10 +5,12 @@ list (typed-out [[cons- : (∀ (X) (→fn X (List X) (List X)))] cons] [[first- : (∀ (X) (→fn (List X) X))] first] + [[second- : (∀ (X) (→fn (List X) X))] second] [[rest- : (∀ (X) (→fn (List X) (List X)))] rest] [[member?- (∀ (X) (→fn X (List X) Bool))] member?] [[empty?- (∀ (X) (→fn (List X) Bool))] empty?] - [[reverse- (∀ (X) (→fn (List X) (List X)))] reverse])) + [[reverse- (∀ (X) (→fn (List X) (List X)))] reverse] + [[partition- (∀ (X) (→fn (List X) (→fn X Bool) (List X)))] partition])) (require "core-types.rkt") (require (only-in "prim.rkt" Bool))