► |  | The Racket Reference

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

▼ | 8 | Contracts

8.1 | Data-structure Contracts
8.2 | Function Contracts
8.3 | Parametric Contracts
8.4 | Lazy Data-structure Contracts
8.5 | Structure Type Property Contracts
8.6 | Attaching Contracts to Values
8.7 | Building New Contract Combinators
8.8 | Contract Utilities
8.9 | racket/ contract/ base
8.10 | Collapsible Contracts
8.11 | Legacy Contracts
8.12 | Random generation

top ← prev up next →

#### 8.9`` racket/contract/base

(require racket/contract/base) | package: 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 →