Sage L. Gerard <sage at sagegerard dot com>
For all documentation, see Denxi Documentation.
1 Prerequisite Knowledge
2 Command Line Argument Parsers
2.1 CLI Functional Testing
3 Command Line Utilities
3.1 CLI Value Types
3.2 CLI Flow Control
3.3 CLI Messages
4 Command Line Flags
5 Packages
5.1 Package Settings
5.2 Package Messages
6 Package Definitions
6.1 Package Definition Terms
6.2 Reprovided Binding Index
6.3 Static Operations for Package Definitions
7 Package Queries
7.1 Package Query Syntax
7.2 Package Query Omissions
7.3 Package Query Classifications
7.4 Parsing a Package Query
7.5 Examples
7.5.1 Specifying an Edition
7.5.2 Specifying Accepted Revisions
7.5.3 Marking Inclusive and Exclusive Endpoints
7.5.4 Omitting Information
7.6 Primitive Package Query Operations
7.7 Autocompleting Package Queries
7.8 Creating Canonical Package Queries
8 Launchers
9 Subprograms
9.1 Fundamentals
9.2 Alternative Constructors
9.3 Subprogram Control
9.4 Entry Points for Subprograms
9.5 Testing Subprograms
10 Artifacts
11 Messages
12 Package Inputs
13 Package Outputs
14 Integrity Checking
14.1 High-level Integrity Operations
14.2 Integrity Settings
14.3 Integrity-based Trust
14.4 Prototyping Integrity Checks
14.5 Integrity Checking Primitives
14.5.1 Cryptographic Hash Functions
14.6 Integrity FFI
14.6.1 Integrity Foreign Functions
15 Signature Checking
15.1 Signature Checking Primitives
15.2 Signature Checking FFI
15.2.1 Signature Foreign Functions
15.3 Signature Prototyping
16 Digs
16.1 Memory Shovels
16.2 Filesystem Shovels
16.3 HTTP Client Shovels
16.3.1 Caveats for HTTP Shovels
17 Reader Extension
18 Sources
18.1 Source and Fetch Settings
18.2 Defining Source Types
18.3 Source Types
18.4 Source Expressions
18.5 Untrusted Source Expressions
19 Versions
20 State
20.1 Workspaces
20.2 Databases
20.2.1 Record Types
20.2.2 High-Level Queries
20.3 Garbage Collection
20.4 Content Addressing
21 Settings
21.1 Methods for Changing Settings
21.2 Settings API
22 Formatting
22.1 Conventional Formatting Procedures
22.2 Message Formatting
23 URLs
24 Strings
25 Localization
26 Printer
27 Archives
28 System
29 Monads
29.1 Examples and Background
30 Files
31 Cryptography
32 Ports
33 Security
34 Racket Module Operations
34.1 Stripping and Dressing
34.2 Fetching Racket Modules in Package Definition
35 Codec
35.1 High-Level Interface
35.2 UTF-8 Conversions
35.3 Abbreviated Decoding Procedures
36 Notaries