Documentation

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

Daml module DA.Validation Validation type and associated functions. Daml Updated 3.5.1 Module DA.Validation Latest release 3.5.9 Data Types data Validation err a A Validation represents eithor a non-empty list of errors, or a successful value. This generalizes Either to allow more

Daml module DA.Logic Logic - Propositional calculus. Daml Module DA.Logic Latest release 3.5.9 Data Types data Formula t A Formula t is a formula in propositional calculus with propositions of type t. Constructors: • Proposition t Proposition p is the formula p • Negation (

Daml module DA.Monoid - Daml Module DA.Monoid Latest release 3.5.9 Data Types data All Boolean monoid under conjunction (&&) Constructors: • All getAll Bool Instances: • instance Monoid All • instance Semigroup All • instance GetField getAll All Bool • insta

Daml module DA.Set Note: This is only supported in Daml-LF 1.11 or later. Daml Updated 3.5.1 Module DA.Set Latest release 3.5.9 Data Types data Set k The type of a set. This is a wrapper over the Map type. Constructors: • Set map Map k () Instances: • instance Foldable Se

Daml module DA.Tuple Tuple - Ubiquitous functions of tuples. Daml Module DA.Tuple Latest release 3.5.9 Functions first first : (a -> a') -> (a, b) -> (a', b) The pair obtained from a pair by application of a programmer supplied function to the argument pair’s first field

Daml module DA.Stack - Daml Updated 3.5.2 Module DA.Stack Latest release 3.5.9 Data Types data SrcLoc Location in the source code. Line and column are 0-based. Constructors: • SrcLoc srcLocPackage Text srcLocModule Text srcLocFile Text srcLocStartLine Int srcLocStartCol

Ledger API Java Bindings Current Java binding types generated from published Javadoc snapshots. Java Added 3.5.7 Artifact com.daml:bindings-java Latest release 3.5.17 Versions 21 Current types 189 Packages com.daml.ledger.javaapi.data Java Added 3.5.7 145 documented types com.daml.le

Back to package com.daml.ledger.javaapi.data.codegen.json JsonLfReader Java Package com.daml.ledger.javaapi.data.codegen.json Upstream docs Open Javadoc Signature public class JsonLfReader extends Object Members Member | Lifecycle | Upstream docs | JsonLfReader(String) | -