如何在DAML中对文本输入方,反之亦然?

莎拉·尼吉(Shalabh Negi)

我想检查DAML代码中的条件,但一个值是一个聚会,另一个文本,因此得到错误:

•由于类型之间的功能依赖关系而导致类型'Party'与'Text'不匹配:约束'DA.Internal.Record.HasField“所有者” AccountInfo Text'是由于使用'DA.Internal.Record.getField'实例而引起的“ DA.Internal.Record.HasField“所有者” AccountInfo方”位于

if( login.party == "friend" || logout.party == "friend)
   userCId <- create Users with userType= "Friendly User",..
                            return (Right  userCId)
共生

如Shayne所述,您可以使用show(或partyToText)将其转换为Text但是,我认为这不是解决此问题的正确方法。各方应被视为抽象标识符,而DAML沙箱允许您使用任意字符串,而对于其他分类帐则不是这样。

我建议您不要对特定方文字进行硬编码检查,而是将模板扩展到一个附加字段friend : Party,然后与之进行比较。然后,当您创建模板时,可以将其设置friend"friend"在沙箱上,也可以将其设置为其他内容。

所以最终您要更换

template C with
  …
  choice C : ()
    controller …
    do if login.party == "friend"
       …

与以下

template C with
  …
  friend : Party
  choice C : ()
    controller …
    do if login.party == friend
       …

本文收集自互联网,转载请注明来源。

如有侵权,请联系[email protected] 删除。

编辑于
0

我来说两句

0条评论
登录后参与评论

相关文章

来自分类Dev

如何在Hive中访问HBase表,反之亦然?

来自分类Dev

如何在Python中实现反之亦然的映射?

来自分类Dev

如何根据选择框填充输入字段,反之亦然

来自分类Dev

如何在Windows中查看在Linux中创建的文件,反之亦然?

来自分类Dev

如何在while循环中执行if语句,反之亦然

来自分类Dev

AngularJS:如何在Javascript文件中访问父级的命名控制器,反之亦然?

来自分类Dev

如何在R中查找2个数据帧的公共行(反之亦然)

来自分类Dev

如何在Android中从屏幕顶部到屏幕的300dp设置动画,反之亦然?

来自分类Dev

如何在textchangelistner上将两个edittext的值相乘并在android中显示结果或在anise编辑文本中反之亦然

来自分类Dev

在 bash 中,如何用 null 替换空行,反之亦然?

来自分类Dev

如何检查点落在矩形中,反之亦然?

来自分类Dev

将输入文本的十六进制值保存到字符串var中,反之亦然ANSI C

来自分类Dev

指定哪个范围输入受哪个文本输入影响,反之亦然

来自分类Dev

在Scala中可以尝试,反之亦然

来自分类Dev

在Scala中可以尝试,反之亦然

来自分类Dev

反之亦然,在Admin Django中

来自分类Dev

如何在MySQL中检查两个列中是否有两个值,反之亦然

来自分类Dev

如何在MASM格式的汇编文件中强制使用GNU汇编程序指令,反之亦然

来自分类Dev

java - 如何在另一个类中创建一个类的对象,反之亦然?

来自分类Dev

如何在 DataGrid 中检测是否单击了行并将其列从 true 更改为 false,反之亦然?

来自分类Dev

Matlab指南-浏览完成后,如何更新“文件路径”文本框,反之亦然?

来自分类Dev

Matlab指南-完成浏览后如何更新“文件路径”文本框,反之亦然?

来自分类Dev

在GridView中文本为空或为空时如何显示图像,反之亦然?

来自分类Dev

如何在Android中将Drawable转换为int,反之亦然

来自分类Dev

如何在Android中将String []转换为String,反之亦然

来自分类Dev

如何在Vim中将拆分的窗口转换为选项卡,反之亦然

来自分类Dev

如何在Windows 10 UWP中将HTML转换为RTF,反之亦然?

来自分类Dev

如何在Ada中将整数转换为浮点数,反之亦然?

来自分类Dev

如何在C ++中将Big / Little-Endian字节转换为Integer,反之亦然

Related 相关文章

  1. 1

    如何在Hive中访问HBase表,反之亦然?

  2. 2

    如何在Python中实现反之亦然的映射?

  3. 3

    如何根据选择框填充输入字段,反之亦然

  4. 4

    如何在Windows中查看在Linux中创建的文件,反之亦然?

  5. 5

    如何在while循环中执行if语句,反之亦然

  6. 6

    AngularJS:如何在Javascript文件中访问父级的命名控制器,反之亦然?

  7. 7

    如何在R中查找2个数据帧的公共行(反之亦然)

  8. 8

    如何在Android中从屏幕顶部到屏幕的300dp设置动画,反之亦然?

  9. 9

    如何在textchangelistner上将两个edittext的值相乘并在android中显示结果或在anise编辑文本中反之亦然

  10. 10

    在 bash 中,如何用 null 替换空行,反之亦然?

  11. 11

    如何检查点落在矩形中,反之亦然?

  12. 12

    将输入文本的十六进制值保存到字符串var中,反之亦然ANSI C

  13. 13

    指定哪个范围输入受哪个文本输入影响,反之亦然

  14. 14

    在Scala中可以尝试,反之亦然

  15. 15

    在Scala中可以尝试,反之亦然

  16. 16

    反之亦然,在Admin Django中

  17. 17

    如何在MySQL中检查两个列中是否有两个值,反之亦然

  18. 18

    如何在MASM格式的汇编文件中强制使用GNU汇编程序指令,反之亦然

  19. 19

    java - 如何在另一个类中创建一个类的对象,反之亦然?

  20. 20

    如何在 DataGrid 中检测是否单击了行并将其列从 true 更改为 false,反之亦然?

  21. 21

    Matlab指南-浏览完成后,如何更新“文件路径”文本框,反之亦然?

  22. 22

    Matlab指南-完成浏览后如何更新“文件路径”文本框,反之亦然?

  23. 23

    在GridView中文本为空或为空时如何显示图像,反之亦然?

  24. 24

    如何在Android中将Drawable转换为int,反之亦然

  25. 25

    如何在Android中将String []转换为String,反之亦然

  26. 26

    如何在Vim中将拆分的窗口转换为选项卡,反之亦然

  27. 27

    如何在Windows 10 UWP中将HTML转换为RTF,反之亦然?

  28. 28

    如何在Ada中将整数转换为浮点数,反之亦然?

  29. 29

    如何在C ++中将Big / Little-Endian字节转换为Integer,反之亦然

热门标签

归档