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	275	October 5, 2021
Indicate list of OR signatories Questions daml	33	2232	January 4, 2021
Multi-line commands in the ensure constraint New to Daml	1	115	January 22, 2024
Multiple party agreement Questions	4	384	April 22, 2021
Issue with MultiParty Contract Questions	11	413	June 14, 2022

Using a standard library module with constraints (map function)

Related topics