On this page:
Denxi Reference
8.2

Denxi Reference

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