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

add argmin and argmax

This commit is contained in:
Sam Caldwell 2020-10-21 11:06:15 -04:00
parent fe6435f056
commit 733c874871
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
racket/typed/list.rkt
View File

@ -11,10 +11,12 @@
[[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]
[[map- (∀ (X Y) (→fn (→fn X Y) (List X) (List Y)))] map]))
[[map- (∀ (X Y) (→fn (→fn X Y) (List X) (List Y)))] map]
[[argmax- : (∀ (X) (→fn (→fn X Int) (List X) X))] argmax]
[[argmin- : (∀ (X) (→fn (→fn X Int) (List X) X))] argmin]))
(require "core-types.rkt")
(require (only-in "prim.rkt" Bool))
(require (only-in "prim.rkt" Bool Int))
(require (postfix-in - racket/list))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;