I want to ensure that my contract contains a minimum of 4 parties as “Hawalla’s” So I imported DA Next Map with: import DA.Next.Map as NM and then added the ensure constraint, but I’m getting a parser error. I read the documentation for this module. I don’t think I’m using the key/value pairs cor…

@anthony ’s answer is going in the right direction, but, as I understand it, you not only want 4 parties, you want to verify that they are 4 different parties. We’ll need two new functions for that. The first one is DA.List.unique, which is True if there are no duplicates in the given list. The secon…

Using a standard library module with constraints (map function)

Questions

anthony Split this topic February 9, 2021, 3:28pm 6

A post was split to a new topic: What is a qualified import?

Topic		Replies	Views
Mapping through Parties Questions	4	280	October 5, 2021
Indicate list of OR signatories Questions daml	33	2298	January 4, 2021
Multiple party agreement Questions	4	384	April 22, 2021
Is there a way to limit the length of a Listy within the type definition? Questions daml	7	387	January 7, 2021
Variable not in scope: submitMulti Questions	26	1904	April 12, 2021

Using a standard library module with constraints (map function)

Related topics