Daml Ledger References

• Daml Ledger Model Concepts
  • Structure
    • Actions and Transactions
    • Ledgers
  • Integrity
    • Valid Ledgers
    • Consistency
      • Contract Consistency
      • Key Consistency
      • Ledger Consistency
      • Internal Consistency
    • Conformance
    • Authorization
      • Signatories, Agreements, and Maintainers
      • Authorization Rules
      • Examples
    • Valid Ledgers, Obligations, Offers and Rights
  • Causality and Local Daml Ledgers
    • Causality Examples
      • Stakeholders of a Contract See Creation and Archival in the Same Order
      • Signatories of a Contract and Stakeholder Actors See Usages After the Creation and Before the Archival
      • Commits Are Atomic
      • Non-Consuming Usages in Different Commits May Appear in Different Orders
      • Out-of-Band Causality Is Not Respected
      • Divulged Actions Do Not Induce Order
      • The Ordering Guarantees Depend on the Party
    • Causality Graphs
      • Consistency
      • From Causality Graphs to Ledgers
    • Local Ledgers
      • Ledger API Ordering Guarantees
      • Explaining the Causality Examples
  • Privacy
    • Contract Observers and Stakeholders
    • Choice Observers
    • Projections
    • Privacy Through Authorization
    • Divulgence: When Non-Stakeholders See Contracts
  • Daml: Define Contract Models Compactly
  • Exceptions
    • Structure
    • Consistency
    • Transaction Normalization
    • Authorization
    • Privacy
    • Relation to Daml Exceptions
  • Identity and Package Management
    • Identity Management
      • Provisioning Identifiers
      • Identifiers and Authorization
      • Identifiers and the Real World
    • Package Management
      • Package Formats and Identifiers
      • Package Management API
      • Package Vetting
      • Package Upgrades
  • Time on Daml Ledgers
    • Ledger Time
    • Record Time
    • Guarantees
    • Ledger Time Model
    • Assign Ledger Time
  • Smart Contract Upgrade In Depth
    • Static Checks
      • Packages
      • Modules
      • Templates
      • Template Parameters
      • Template Keys
      • Template Choices
      • Template Choices - Parameters
      • Template Choices - Return Type
      • Data Types
      • Data Types - Records
      • Data Types - Variants
      • Data Types - Enums
      • Data Types - Type References
      • Data Types - Builtin Types
      • Data Types - Parameterized Data Types
      • Data Types - Applied Parameterized Data Types
      • Interface and Exception Definitions
      • Interface Instances
    • Data Transformation: Runtime Semantics
      • Static Target Template Selection
      • Dynamic Target Template Selection
      • Transformation Rules
        • Records and Parameters
        • Variants and Enums
        • Other Types
      • Metadata
      • Ensure Clause
      • Interface Views
      • Key Transformation in FetchByKey and LookupByKey
• Canton Advanced Architecture
• Canton Frequently Asked Questions
  • Log Messages
    • Database task queue full
    • Serialization Exception
  • Console Commands
    • I received an error saying that the DomainAlias I used was too long. Where I can see the limits of String types in Canton?
  • Bootstrap Scripts
    • Why do you have an additional new line between each line in your example scripts?
    • How can I use nested import statements to split my script into multiple files?
    • How do I write data to a file and how do I read it back?
  • Why is Canton complaining about my database version?
    • Postgres
    • Oracle
    • Using non-standard database versions
  • How do I enable unsupported features?
  • How do I enable beta features?
  • How to troubleshoot included configuration files?