Documentation Index
Fetch the complete documentation index at: https://docs.canton.network/llms.txt
Use this file to discover all available pages before exploring further.
Daml Reference
Daml Standard Library
Generated module overview for the Daml Standard Library, built from versioned docs JSON snapshots.
Modules
Open a module page for declarations, type signatures, warnings, and lifecycle details.DA.Action
Action
DA.Action.State
DA.Action.State
DA.Action.State.Class
DA.Action.State.Class
DA.Assert
-
DA.Bifunctor
-
DA.Crypto.Text
Functions for working with Crypto builtins.
DA.Date
This module provides a set of functions to manipulate Date values.
DA.Either
The Either type represents values with two possibilities.
DA.Exception
Exception handling in Daml.
DA.Fail
Fail, for FailureStatus
DA.Foldable
Class of data structures that can be folded to a summary value.
DA.Functor
The Functor class is used for types that can be mapped over.
DA.Internal.Interface.AnyView
-
DA.Internal.Interface.AnyView.Types
-
DA.List
List
DA.List.BuiltinOrder
Note: This is only supported in Daml-LF 1.11 or later.
DA.List.Total
-
DA.Logic
Logic - Propositional calculus.
DA.Map
Note: This is only supported in Daml-LF 1.11 or later.
DA.Math
Math - Utility Math functions for Decimal
DA.Monoid
-
DA.NonEmpty
Type and functions for non-empty lists. This module re-exports many functions with
DA.NonEmpty.Types
This module contains the type for non-empty lists so we can give it a stable package id.
DA.Numeric
-
DA.Optional
The Optional type encapsulates an optional value. A value of type
DA.Record
Exports the record machinery necessary to allow one to annotate
DA.Semigroup
-
DA.Set
Note: This is only supported in Daml-LF 1.11 or later.
DA.Stack
-
DA.Text
Functions for working with Text.
DA.TextMap
TextMap - A map is an associative array data type composed of a
DA.Time
This module provides a set of functions to manipulate Time values.
DA.Traversable
Class of data structures that can be traversed from left to right, performing an action on each element.
DA.Tuple
Tuple - Ubiquitous functions of tuples.
DA.Validation
Validation type and associated functions.
Prelude
The pieces that make up the Daml language.