2020-12-17 20:45:26 +01:00
|
|
|
#lang scribble/manual
|
|
|
|
|
|
|
|
|
|
@(require scribble/example racket/sandbox
|
|
|
|
|
(for-label racket/base "typed-compose.rkt"
|
|
|
|
|
(only-in typed/racket/base
|
|
|
|
|
-> compose)))
|
|
|
|
|
|
2020-12-17 20:46:27 +01:00
|
|
|
@title{Utilities for composing functions in Typed Racket}
|
2020-12-17 20:45:26 +01:00
|
|
|
|
|
|
|
|
Typed Racket's @racket[compose] only takes two arguments, because in general it
|
|
|
|
|
is difficult to specify that the return types and the argument types should be
|
|
|
|
|
the same for two successive functions in the argument list. This package
|
|
|
|
|
defines some further utilities to allow @racket[compose]-ing more than two
|
|
|
|
|
functions more comfortable in Typed Racket.
|
