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	266	October 5, 2021
Remove Ambiguous Error Questions daml	3	389	August 19, 2020
Multi-line commands in the ensure constraint New to Daml	1	113	January 22, 2024
Input limit on template Key Questions daml	4	482	July 4, 2022
Provide better error message from ensure block? Questions	1	154	April 13, 2023

Using a standard library module with constraints (map function)

Related topics