Daml Documentation

Getting started

Installing the SDK
- Setting JAVA_HOME and PATH variables
- Manually installing the SDK
Building Your App
App Architecture
Your First Feature
Testing Your App
Cheat Sheet

Writing Daml

An introduction to Daml
Language reference docs
The standard library
- Prelude
- DA.Action
- DA.Action.State
- DA.Action.State.Class
- DA.Assert
- DA.Bifunctor
- DA.Date
- DA.Either
- DA.Foldable
- DA.Functor
- DA.List
- DA.List.BuiltinOrder
- DA.List.Total
- DA.Logic
- DA.Map
- DA.Math
- DA.Monoid
- DA.Next.Map
- DA.Next.Set
- DA.NonEmpty
- DA.NonEmpty.Types
- DA.Numeric
- DA.Optional
- DA.Optional.Total
- DA.Record
- DA.Semigroup
- DA.Set
- DA.Stack
- DA.Text
- DA.TextMap
- DA.Time
- DA.Traversable
- DA.Tuple
- DA.Validation
Testing using scenarios
Troubleshooting
Good design patterns

Building applications

Application architecture
JavaScript Client Libraries
HTTP JSON API Service
- Daml-LF JSON Encoding
- Query language
Daml Script
- Daml Script Library
  - Daml.Script
Daml REPL
Upgrading and Extending Daml applications
Authorization
The Ledger API
Daml Triggers - Off-Ledger Automation in Daml
- Daml Trigger Library
Trigger Service
- Authorization
- Auth0 Example Configuration
Auth Middleware
- OAuth 2.0 Auth Middleware

Deploying to Daml ledgers

Overview of Daml ledgers
Deploying to a generic Daml ledger
Daml Ledger Topologies

Operating Daml

Daml Participant pruning

Developer Tools

Daml Assistant (daml)
Daml Studio
Daml Sandbox
Navigator
Daml codegen
Daml Profiler

Background concepts

Glossary of concepts
Daml Ledger Model
Identity and Package Management
Time
Causality and Local Ledgers

Examples

Examples

Early Access Features

Extractor
Daml Integration Kit
- Ledger API Test Tool
Visualizing Daml Contracts
Ledger Interoperability
Non-repudiation

Daml Ecosystem

Daml Ecosystem Overview
- Status Definitions
- Feature and Component Statuses
Releases and Versioning
Portability, Compatibility, and Support Durations
Getting Help

Download as PDF

Developers

Products

Company

Version

Please enter at least 3 letters.

In This Section

Module DA.Optional.Total
- Functions

Module DA.Optional.Total¶

Functions¶

fromSome: : ActionFail m => Optional a -> m a

fromSomeNote: : ActionFail m => Text -> Optional a -> m a

Previous Next

Copyright (c) 2021 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.