Home
Set Up Your Developer Environment
Tutorial: Write Your First Daml App
Create Daml Apps
do
Message
carbon-1.0.0
carbon-2.0.0
carbon-upgrade
daml-config.yaml
daml.yaml
build-options
Daml Finance
Deploy Daml
Operate a Daml Ledger
Help
Reference
this
self
choice
controller
Early Access
prune_to_offset
: Party -> I -> Update Bool
Checks if all input claims are zero.
: [TaggedClaim] -> Bool
: (t -> Time) -> Claim t x a o -> Claim Time x a o
Maps the time parameter in a Claim to Time. As Time is generally understood to express UTC time, we recommend mapping to UTC time.
Claim
Time