Action

DA.Action.State

DA.Action.State.Class

-

-

Note: Docs TODO (https://github.com/digital-asset/daml/issues/22673)

Functions for working with Crypto builtins.

This module provides a set of functions to manipulate Date values.

The Either type represents values with two possibilities.

Exception handling in Daml.

Fail, for FailureStatus

Class of data structures that can be folded to a summary value.

The Functor class is used for types that can be mapped over.

-

-

List

Note: This is only supported in Daml-LF 1.11 or later.

-

Logic - Propositional calculus.

Note: This is only supported in Daml-LF 1.11 or later.

Math - Utility Math functions for Decimal

-

Type and functions for non-empty lists. This module re-exports many functions with

This module contains the type for non-empty lists so we can give it a stable package id.

-

The Optional type encapsulates an optional value. A value of type

Exports the record machinery necessary to allow one to annotate

-

Note: This is only supported in Daml-LF 1.11 or later.

-

Functions for working with Text.

TextMap - A map is an associative array data type composed of a

This module provides a set of functions to manipulate Time values.

Class of data structures that can be traversed from left to right, performing an action on each element.

Tuple - Ubiquitous functions of tuples.

Validation type and associated functions.

The pieces that make up the Daml language.