Daml.Finance.Claims.Util.Lifecycle

Functions

timeEvent

: Time -> EventData

Constructor for a time event.

electionEvent

: Time -> Bool -> Text -> EventData

Constructor for an election event.

lifecycleClaims

: [ContractId I] -> Time -> [TaggedClaim] -> [EventData] -> Update ([TaggedClaim], [Pending])

Lifecycle a set of claims at specified events.

netOnTag

: [Pending] -> [Pending]

Net pending payments on the same instrument, which also have the same tag.

lifecycle

: Party -> [ContractId I] -> I -> [EventData] -> Update ([TaggedClaim], [Pending])

Lifecycle a claim instrument at specified events.

splitPending

: [Pending] -> ([InstrumentQuantity], [InstrumentQuantity])

Map pending settlements into corresponding instrument quantities and split them into consumed and produced. Pending items with an amount of 0.0 are discarded.