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

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