Getting started
Writing DAML
Building applications
Deploying to DAML ledgers
Operating DAML
Developer Tools
daml
Background concepts
Examples
Early Access Features
DAML Ecosystem
Exports the record machinery necessary to allow one to annotate code that is polymorphic in the underlying record type.
class HasField x r a where
getField : r -> a setField : a -> r -> r
