► |  | The Racket Reference

1 | Language Model
2 | Syntactic Forms
3 | Datatypes
4 | Structures
5 | Classes and Objects
6 | Units
7 | Contracts
8 | Pattern Matching
9 | Control Flow
10 | Concurrency and Parallelism
11 | Macros
12 | Input and Output
13 | Reflection and Security
14 | Operating System
15 | Memory Management
16 | Unsafe Operations
17 | Running Racket
| Bibliography
| Index

▼ | 7 | Contracts

7.1 | Data-structure Contracts
7.2 | Function Contracts
7.3 | Parametric Contracts
7.4 | Lazy Data-structure Contracts
7.5 | Structure Type Property Contracts
7.6 | Attaching Contracts to Values
7.7 | Building New Contract Combinators
7.8 | Contract Utilities
7.9 | racket/ contract/ base
7.10 | Legacy Contracts
7.11 | Random generation

top← prev up next →

#### 7.9`` racket/contract/base

(require racket/contract/base)

The racket/contract/base module provides a subset of the exports of racket/contract module. In particular, it contains everything in the

- Data-structure Contracts

- Function Contracts

- Attaching Contracts to Values and

- Contract Utilities sections.

Unfortunately, using racket/contract/base does not yield a significantly smaller memory footprint than racket/contract, but it can still be useful to add contracts to libraries that racket/contract uses to implement some of the more sophisticated parts of the contract system.

top← prev up next →