我有以下函数,当通过dhall-to-yaml处理时,其输出用双引号括起来,但是注入记录中的静态字符串没有用引号括起来,我如何控制用双引号括起来的内容以及什么不是吗?
let base64 = \(encode : Text) -> "!Base64 ${encode}"
let john : Profile =
{ person =
{ name = base64 "test"
, age = 67
}
, address =
{ country = "United States"
, state = "Pennsylvania"
, city = "Philadelphia"
}
}
输出
address:
city: Philadelphia
country: United States
state: Pennsylvania
person:
age: 67
name: "!Base64 test"
所需的输出:
address:
city: Philadelphia
country: United States
state: Pennsylvania
person:
age: 67
name: !Base64 test
答案 0 :(得分:2)
当前,dhall-to-yaml
和dhall-to-yaml-ng
命令如果具有特殊字符则引用字符串字段,以确保Dhall Text
值仅在转换为YAML时可以解释为纯数据。此外,如果您想要未转义的文本(例如用于发出标签),则还没有选择来省略引用行为,也没有指定标签的标准方法。
您可能想在https://github.com/dhall-lang/dhall-haskell/issues上发布一个问题,以讨论解决问题的可能方法,因为我想您不是唯一想在YAML输出中发出标签的人。