Daml Documentation

Home

Introduction to Multi-Party Applications

Set Up Your Developer Environment

Installation
System Requirements
- Feature/Component System Requirements
Set JAVA_HOME and PATH Variables
Manual Installation

Tutorial: Write Your First Daml App

Getting Started
- Prerequisites
- Run the App
App Architecture
Your First Feature
Test Your App

Create Daml Apps

Introduction
Write Smart Contracts With Daml
Integrate Daml with Off-Ledger Services
Developer Tools

Deploy Daml

Intro
Download the Components
Install a Daml Ledger
High Availability
Persistence

Operate a Daml Ledger

Canton Administration Quick Start
Monitoring Best Practices
Identity Management
Common Tasks
Infrastructure Automation (Node and Domain)
- Administration APIs
Scaling and Performance
Advanced Operations

Daml Finance

Introduction
Overview
Concepts
Packages
- Interface Packages
- Implementation Packages
Tutorials
- Getting Started
- Instrument Modeling
Reference
- Glossary
- Daml Finance

Help

Troubleshooting
Getting Help
- Support Expectations
Portability, Compatibility, and Support Durations
Daml Ecosystem Overview
Releases and Versioning

Reference

Cheat Sheet
Glossary of concepts
Examples
Canton Advanced Architecture
Language Reference
The Standard Library
- Prelude
- DA.Action
  - Functions
- DA.Action.State
  - Data Types
  - Functions
- DA.Action.State.Class
  - Typeclasses
- DA.Assert
  - Functions
- DA.Bifunctor
  - Typeclasses
- DA.BigNumeric
  - Functions
- DA.Date
  - Data Types
  - Functions
- DA.Either
  - Functions
- DA.Exception
  - Typeclasses
  - Data Types
- DA.Foldable
  - Typeclasses
  - Functions
- DA.Functor
  - Functions
- DA.Internal.Interface.AnyView
  - Typeclasses
  - Functions
- DA.Internal.Interface.AnyView.Types
  - Data Types
- DA.List
  - Functions
- DA.List.BuiltinOrder
  - Functions
- DA.List.Total
  - Functions
- DA.Logic
  - Data Types
  - Functions
- DA.Map
  - Functions
- DA.Math
  - Functions
- DA.Monoid
  - Data Types
- DA.NonEmpty
  - Functions
- DA.NonEmpty.Types
  - Data Types
- DA.Numeric
  - Functions
- DA.Optional
  - Functions
- DA.Record
  - Typeclasses
- DA.Semigroup
  - Data Types
- DA.Set
  - Data Types
  - Functions
- DA.Stack
  - Data Types
  - Functions
- DA.Text
  - Functions
- DA.TextMap
  - Functions
- DA.Time
  - Data Types
  - Functions
- DA.Traversable
  - Typeclasses
  - Functions
- DA.Tuple
  - Functions
- DA.Validation
  - Data Types
  - Functions
- GHC.Show.Text
  - Functions
- GHC.Tuple.Check
  - Functions
Daml Script Library
- Module Daml.Script
  - Data Types
  - Functions
Daml Trigger Library
Canton Frequently Asked Questions
Error codes
Daml Ledger Model
Identity and Package Management
- Identity Management
- Package Management
Time on Daml Ledgers
Causality and Local Daml Ledgers
Test Evidence

Early Access

Daml Ledger Interoperability
Ledger Export
Non-repudiation
Visualizing Daml Contracts
Custom Views

Download as PDF

Developers

Products

Company

Version

Please enter at least 3 letters.

In This Section

Module GHC.Tuple.Check
- Functions

Module GHC.Tuple.Check¶

Functions¶

userWrittenTuple: : a -> a

Previous Next

Copyright (c) 2022 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved. Any unauthorized use, duplication or distribution is strictly prohibited. "Digital Asset" and "Daml" are Registered in the U.S. Patent and Trademark Office.