Daml.Finance.Claims.Util

Functions

isZero

: Party -> I -> Update Bool

Checks if all input claims are zero.

isZero’

: [TaggedClaim] -> Bool

Checks if all input claims are zero.

toTime

: (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.