Documentation

Daml module DA.Numeric - Daml Module DA.Numeric Latest release 3.5.9 Data Types data RoundingMode Rounding modes. Constructors: • RoundingUp Round away from zero. • RoundingDown Round towards zero. • RoundingCeiling Round towards positive infinity. • RoundingFloor

Daml module DA.Crypto.Text Functions for working with Crypto builtins. Daml Updated 3.5.1 Module DA.Crypto.Text Latest release 3.5.9 Data Types type BytesHex = Text type PublicKeyHex = Text A DER formatted public key to be used for ECDSA signature verification type Signat

Daml module DA.List.Total - Daml Module DA.List.Total Latest release 3.5.9 Functions head head : [a] -> Optional a Return the first element of a list. Return None if list is empty. tail tail : [a] -> Optional [a] Return all but the first element of a list. Ret

Daml module DA.Functor The Functor class is used for types that can be mapped over. Daml Module DA.Functor Latest release 3.5.9 Functions $> $> : Functor f => f a -> b -> f b Replace all locations in the input (on the left) with the given value (on the right). <&>

Daml module DA.Traversable Class of data structures that can be traversed from left to right, performing an action on each element. Daml Module DA.Traversable Latest release 3.5.9 Typeclasses class (Functor t, Foldable t) => Traversable t Functors representing data structures that can

Daml module DA.Fail Fail, for FailureStatus Daml Updated 3.5.1 Module DA.Fail Latest release 3.5.9 Data Types data FailureCategory The category of the failure, which determines the status code and log level of the failure. Maps 1-1 to the Canton error categories documented here: https:

Daml module DA.Record Exports the record machinery necessary to allow one to annotate Daml Module DA.Record Latest release 3.5.9 Data Types type HasField x r a = ( GetField x r a, SetField x r a) HasField is a class synonym for GetField and SetField, which respec

Daml module DA.NonEmpty Type and functions for non-empty lists. This module re-exports many functions with Daml Module DA.NonEmpty Latest release 3.5.9 Functions cons cons : a -> NonEmpty a -> NonEmpty a Prepend an element to a non-empty list. append append : NonE

Daml module DA.NonEmpty.Types This module contains the type for non-empty lists so we can give it a stable package id. Daml Updated 3.5.1 Module DA.NonEmpty.Types Latest release 3.5.9 Data Types data NonEmpty a NonEmpty is the type of non-empty lists. In other words, it is the type o

Daml module DA.Internal.Interface.AnyView.Types - Daml Module DA.Internal.Interface.AnyView.Types Latest release 3.5.9 Data Types data AnyView Existential contract key type that can wrap an arbitrary contract key. Constructors: • AnyView getAnyView Any getAnyViewInterfaceTypeRe

Daml module DA.Assert - Daml Module DA.Assert Latest release 3.5.9 Functions assertEq assertEq : ( CanAssert m, Show a, Eq a) => a -> a -> m () Check two values for equality. If they’re not equal, fail with a message. === === : ( CanAssert m, Show a

Daml module DA.Either The Either type represents values with two possibilities. Daml Module DA.Either Latest release 3.5.9 Functions lefts lefts : [ Either a b] -> [a] Extracts all the Left elements from a list. rights rights : [ Either a b] -> [b] Extract

Daml module DA.Action.State DA.Action.State Daml Module DA.Action.State Latest release 3.5.9 Data Types data State s a A value of type State s a represents a computation that has access to a state variable of type s and produces a value of type a. >>> runState (modify (+1)) 0

Daml module DA.Foldable Class of data structures that can be folded to a summary value. Daml Module DA.Foldable Latest release 3.5.9 Typeclasses class Foldable t Class of data structures that can be folded to a summary value. Methods: • fold : Monoid m => t m -> m Combine

Daml module DA.List.BuiltinOrder Note: This is only supported in Daml-LF 1.11 or later. Daml Module DA.List.BuiltinOrder Latest release 3.5.9 Functions dedup dedup : Ord a => [a] -> [a] dedup l removes duplicate elements from a list. In particular, it keeps only the first

Daml module DA.Bifunctor - Daml Module DA.Bifunctor Latest release 3.5.9 Typeclasses class Bifunctor p A bifunctor is a type constructor that takes two type arguments and is a functor in both arguments. That is, unlike with Functor, a type constructor such as Either does not need t

Daml module DA.TextMap TextMap - A map is an associative array data type composed of a Daml Module DA.TextMap Latest release 3.5.9 Functions fromList fromList : [( Text , a)] -> TextMap a Create a map from a list of key/value pairs. fromListWithL fromListWithL : (a

Daml module DA.ContractKeys Note: Docs TODO ( https://github.com/digital-asset/daml/issues/22673 ) Daml Added 3.5.1 Module DA.ContractKeys Latest release 3.5.9 Functions lookupNByKey lookupNByKey : HasLookupNByKey t k => Int -> k -> Update [( ContractId t, t)] Look

Daml module DA.List List Daml Module DA.List Latest release 3.5.9 Functions sort sort : Ord a => [a] -> [a] The sort function implements a stable sorting algorithm. It is a special case of sortBy, which allows the programmer to supply their own comparison function. Elem

Daml module DA.Map Note: This is only supported in Daml-LF 1.11 or later. Daml Module DA.Map Latest release 3.5.9 Functions fromList fromList : Ord k => [(k, v)] -> Map k v Create a map from a list of key/value pairs. fromListWithL fromListWithL : Ord k =>

Daml module DA.Time This module provides a set of functions to manipulate Time values. Daml Updated 3.5.1 Module DA.Time Latest release 3.5.9 Data Types data RelTime The RelTime type describes a time offset, i.e. relative time. Instances: • instance Serializable RelTime • inst

Daml module DA.Exception Exception handling in Daml. Daml Updated 3.5.2 Deprecated 3.4.9 Module DA.Exception Latest release 3.5.9 Exceptions are deprecated, prefer failWithStatus, and avoid using catch. All deprecations (2) • Exceptions are deprecated, prefer failWithStatus, and avoid

Daml module DA.Internal.Interface.AnyView - Daml Module DA.Internal.Interface.AnyView Latest release 3.5.9 Typeclasses class HasFromAnyView i v Functions fromAnyView fromAnyView : ( HasTemplateTypeRep i, HasFromAnyView i v) => AnyView -> Optional v Orphan Type

Daml module DA.Text Functions for working with Text. Daml Module DA.Text Latest release 3.5.9 Functions explode explode : Text -> [ Text ] implode implode : [ Text ] -> Text isEmpty isEmpty : Text -> Bool Test for emptiness. isNotEmpty isNotEmpty

Daml module DA.Math Math - Utility Math functions for Decimal Daml Module DA.Math Latest release 3.5.9 Functions ** ** : Decimal -> Decimal -> Decimal Take a power of a number Example: 2.0 ** 3.0 == 8.0. sqrt sqrt : Decimal -> Decimal Calculate the square root o

Daml Reference Daml Standard Library Current Daml Standard Library modules generated from versioned docs JSON snapshots. Daml Added 3.5.1 Updated 3.5.2 Deprecated 3.4.9 Latest release 3.5.9 Versions 12 Current modules 37 Modules DA.Action Daml Action DA.Action.State Daml DA.Action.S

Daml module DA.Date This module provides a set of functions to manipulate Date values. Daml Updated 3.5.1 Module DA.Date Latest release 3.5.9 Data Types data DayOfWeek Constructors: • Monday • Tuesday • Wednesday • Thursday • Friday • Saturday • Sunday Instances:

Daml module DA.Optional The Optional type encapsulates an optional value. A value of type Daml Updated 3.5.1 Module DA.Optional Latest release 3.5.9 Functions fromSome fromSome : Optional a -> a The fromSome function extracts the element out of a Some and throws an error i

Daml module DA.Semigroup - Daml Module DA.Semigroup Latest release 3.5.9 Data Types data Max a Semigroup under max > Max 23 <> Max 42 Max 42 Constructors: • Max a Instances: • instance Ord a => Semigroup ( Max a) • instance Eq a => Eq ( Max a) •

Daml module DA.Action Action Daml Module DA.Action Latest release 3.5.9 Functions when when : Applicative f => Bool -> f () -> f () Conditional execution of Action expressions. For example, when final (archive contractId) will archive the contract contractI