Documentation

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) | -

Back to package com.daml.ledger.javaapi.data.codegen.json JsonLfWriter.Options Java Package com.daml.ledger.javaapi.data.codegen.json Upstream docs Open Javadoc Signature public static final class JsonLfWriter.Options extends Object Members Member | Lifecycle | Upstream docs |

Back to package com.daml.ledger.javaapi.data.codegen Created This class contains information related to a result after a contract is created. Application code should not instantiate or subclass; Java Package com.daml.ledger.javaapi.data.codegen Upstream docs Open Javadoc Signature pub

Back to package com.daml.ledger.javaapi.data.codegen CreateAnd Parent of all generated CreateAnd classes within templates and interfaces. Java Package com.daml.ledger.javaapi.data.codegen Upstream docs Open Javadoc Signature public abstract class CreateAnd extends Object implements Ex

Back to package com.daml.ledger.javaapi.data.codegen.json JsonLfEncoder Java Package com.daml.ledger.javaapi.data.codegen.json Upstream docs Open Javadoc Signature @FunctionalInterface public interface JsonLfEncoder Members Member | Lifecycle | Upstream docs | encode(JsonLfW

Back to package com.daml.ledger.javaapi.data.codegen ContractWithKey A superclass for all codegen-generated Contracts whose templates have a key defined. Java Package com.daml.ledger.javaapi.data.codegen Upstream docs Open Javadoc Signature public abstract class ContractWithKey<Id,Dat

Back to package com.daml.ledger.javaapi.data.codegen.json JsonLfDecoder Java Package com.daml.ledger.javaapi.data.codegen.json Upstream docs Open Javadoc Signature @FunctionalInterface public interface JsonLfDecoder<T> Members Member | Lifecycle | Upstream docs | decode(Json

Back to package com.daml.ledger.javaapi.data.codegen ContractTypeCompanion.Package Java Package com.daml.ledger.javaapi.data.codegen Upstream docs Open Javadoc Signature public static class ContractTypeCompanion.Package extends Object Members Member | Lifecycle | Upstream docs

Back to package com.daml.ledger.javaapi.data.codegen CreateAnd.ToInterface Parent of all generated CreateAnd classes within interfaces. These need to pass both the template and interface ID. Java Package com.daml.ledger.javaapi.data.codegen Upstream docs Open Javadoc Signature public

Back to package com.daml.ledger.javaapi.data.codegen ContractCompanion.WithoutKey Java Package com.daml.ledger.javaapi.data.codegen Upstream docs Open Javadoc Signature public static final class ContractCompanion.WithoutKey<Ct,Id,Data> extends ContractCompanion<Ct,Id,Data> Member

Back to package com.daml.ledger.javaapi.data.codegen.json JsonLfDecoders.JavaArg Java Package com.daml.ledger.javaapi.data.codegen.json Upstream docs Open Javadoc Signature public static class JsonLfDecoders.JavaArg<T> extends Object Members Member | Lifecycle | Upstream docs |

Back to package com.daml.ledger.javaapi.data.codegen.json JsonLfEncoders.Field Java Package com.daml.ledger.javaapi.data.codegen.json Upstream docs Open Javadoc Signature public static class JsonLfEncoders.Field extends Object Members Member | Lifecycle | Upstream docs | enc

Back to package com.daml.ledger.javaapi.data.codegen.json JsonLfDecoder.Error Java Package com.daml.ledger.javaapi.data.codegen.json Upstream docs Open Javadoc Signature public static class JsonLfDecoder.Error extends IOException Members Member | Lifecycle | Upstream docs |

Back to package com.daml.ledger.javaapi.data.codegen ContractTypeCompanion The commonality between ContractCompanion and InterfaceCompanion. Java Package com.daml.ledger.javaapi.data.codegen Upstream docs Open Javadoc Signature public abstract class ContractTypeCompanion<Ct,Id,Contrac

Back to package com.daml.ledger.javaapi.data.codegen.json JsonLfReader.UnknownValue Java Package com.daml.ledger.javaapi.data.codegen.json Upstream docs Open Javadoc Signature public static class JsonLfReader.UnknownValue extends Object Members Member | Lifecycle | Upstream doc

Back to package com.daml.ledger.javaapi.data.codegen ByKey.ToInterface Parent of all generated ByKey classes within interfaces. These need to pass both the template and interface ID. Java Package com.daml.ledger.javaapi.data.codegen Upstream docs Open Javadoc Signature public abstract

Back to package com.daml.ledger.javaapi.data.codegen ContractCompanion.WithKey Java Package com.daml.ledger.javaapi.data.codegen Upstream docs Open Javadoc Signature public static final class ContractCompanion.WithKey<Ct,Id,Data,Key> extends ContractCompanion<Ct,Id,Data> Members

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

Back to package com.daml.ledger.javaapi.data.codegen Choice This represents a Daml choice that can be exercised on ContractIds of type ContractId<Tpl>. Java Package com.daml.ledger.javaapi.data.codegen Upstream docs Open Javadoc Signature public final class Choice<Tpl,ArgType,ResType>

Back to package com.daml.ledger.javaapi.data.codegen ContractCompanion.WithoutKey.NewContract Java Package com.daml.ledger.javaapi.data.codegen Upstream docs Open Javadoc Signature @FunctionalInterface public static interface ContractCompanion.WithoutKey.NewContract<Ct,Id,Data> M

Back to package com.daml.ledger.javaapi.data.codegen ContractCompanion.FromJson Java Package com.daml.ledger.javaapi.data.codegen Upstream docs Open Javadoc Signature @FunctionalInterface public static interface ContractCompanion.FromJson<T> Members Member | Lifecycle | Upstrea

Back to package com.daml.ledger.javaapi.data.codegen.json JsonLfReader.Location Java Package com.daml.ledger.javaapi.data.codegen.json Upstream docs Open Javadoc Signature public static class JsonLfReader.Location extends Object Members Member | Lifecycle | Upstream docs | L

Back to package com.daml.ledger.javaapi.data.codegen ContractCompanion Metadata and utilities associated with a template as a whole, rather than one single contract made from that template. Application code should not instantiate or subclass; instead, refer to the COMPANION field on generated T