1 Exception utilities
2 Number utilities
3 String utilities
4 Symbol utilities
5 SRFI19 time utilities
6 List
7 PLT 4x hash utilities
8 PLT 3x hash utilities
9 Contract utilities
10 File and path utilities
11 Parameter utilities
12 Syntax utilities
13 Generators
14 Generators (short names)
15 Pipelines
16 Write-through cache
17 Yieldable procedures
18 Debugging tools
19 Profiling tools
20 Logging tools
On this page:
arity/ c
Version: 3.99.0.23

 

9 Contract utilities

 (require (planet untyped/unlib/contract))

Utilities for use with the PLT contract library.

(arity/c arity)  flat-contact?

  arity : natural?

Returns a flat contract that requires the input to be procedure that accepts the specified number of (non-keyword) arguments. The procedure may, in addition, accept more and/or fewer arguments and any number of keyword arguments.

Examples:

  > (define c (arity/c 2))

  > (contract-first-order-passes? c (lambda (a b) (void)))

  #t

  > (contract-first-order-passes? c (lambda (a b c) (void)))

  #f

  > (contract-first-order-passes? c (lambda (a [b #f]) (void)))

  #t

  > (contract-first-order-passes? c (lambda (a b #:c c) (void)))

  #t

  > (contract-first-order-passes? c (lambda (a #:b b) (void)))

  #f