Как получить доступ к нескольким возвращаемым аргументам из выбора

Question

У меня есть выбор, определенный как:

MyChoice: ( ContractId X, ContractId X )
        ....
        return ( a, b )

Как я использую a или же b в сценарии в качестве аргумента для чего-то еще? Точечная запись не работает.

Answer 1

Ты можешь использовать ._1 а также ._2 в качестве аксессуаров; или вы можете использовать fst а также snd как функции для извлечения элементов.

Вы также можете связать компоненты пары, используя сопоставление с образцом при выполнении выбора, например, так:

somecode = do
   (x,y) <- exercise myCid MyChoice with ...
   doStuffWith x
   doStuffWIth y