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	232	October 5, 2021
Remove Ambiguous Error Questions daml	3	364	August 19, 2020
Input limit on template Key Questions daml	4	419	July 4, 2022
Update type problem Questions daml	3	388	May 23, 2020
Extending Ensure for non Templates Questions	14	534	April 20, 2021

Using a standard library module with constraints (map function)

Related Topics