scolobb/typed-compose
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Add compose-n.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-12-18 11:43:17 +01:00
parent 8db577d0ff
commit 40eeb1745b
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
typed-compose.rkt
View file

@ -22,3 +22,12 @@
(module+ test
(require typed/rackunit))
(: compose-n (All (a) (-> (-> a a) * (-> a a))))
(define (compose-n . funcs)
(λ (x)
(for/foldr ([x x]) ([f funcs])
(f x))))
(module+ test
(check-equal? ((compose-n add1 add1 add1) 3) 6))